That's definitely not being charitable. Subtyping has some pretty subtle interaction with other typing features, which is why it's still being studied more than 20 years after Cardelli's "Subtyping Recursive Types".

The pernicious conflation of subtyping and subclassing in common OO programming languages just compounds the confusion.