Missing combination for isSubtype.

[smillst]

DefaultTypeHierarchy#isSubtype(ATM, ATM), (which is really isSubtypeOrConvertible) is not implemented for the following combinations (subtype_supertype):

• Intersection_Primitive (long l = t, where the type of t is T extends Long) PR Add Intersection_Primitive and Typevar_Primitive combinations to isSubtype #710
• Typevar_Primitive (long l = t, where the type of t is T extends Long & Cloneable) PR Add Intersection_Primitive and Typevar_Primitive combinations to isSubtype #710
• Union_Intersection (When checking type argument is within bounds of type parameter.) PR #Add Union_Intersection and Union_Union to isSubtype #727
• Union_Union (When checking method arguments type argument substitutions) PR #Add Union_Intersection and Union_Union to isSubtype #727
• Array_Intersection (Testcase ClassCastException: AnnotatedIntersectionType to AnnotatedArrayType #738) Requires new asSuper Rewrite AnnotatedTypes#asSuper(type, supertype) #717 (PR (AsSuper must be merged first) Add Array_Intersection to isSubtype #781)

- [ ] Intersection_Typevar (testcase in framework/tests/all-systems/Issue717.java. asSuper bug see #717)
- [ ] Typevar_Array (See #577) Combo not valid. Error happens when a type variable is not substituted correctly