Sub-typing on Primitive types in Java

Question

I have this statement in my university classes\' notes on sub-typing relations:

T is a subtype of S if code written for variables of type S can also be s