The type checker will allow a value of primitive type to be used where the corresponding boxed type is expected e.g. an int can be passed to a helper method which expects an Integer. However, it incorrectly throws a type error when the expected type is a super type of the boxed type such as Numeric or Object. The error occurs in method Type.isAssignableFrom(Type).