In particular, if A is a subtype of B, then a value of type A can be used in a context where one of type B is expected, even if the reverse is not true.
Например, если A является подтипом B, то значение, принадлежащее типу A, может быть использовано в контексте, ожидающем значение типа B, даже если обратное неверно.