Lines Matching defs:mt2
737 Type mt2 = types.memberType(site, m2);
738 if (!types.overrideEquivalent(mt1, mt2))
772 Type mst = mostSpecificReturnType(mt1, mt2);
779 List<Type> allThrown = chk.intersect(mt1.getThrownTypes(), mt2.getThrownTypes());
861 Type mostSpecificReturnType(Type mt1, Type mt2) {
863 Type rt2 = mt2.getReturnType();
865 if (mt1.tag == FORALL && mt2.tag == FORALL) {
867 rt1 = types.subst(rt1, mt1.getTypeArguments(), mt2.getTypeArguments());
873 return mt2;
874 } else if (types.returnTypeSubstitutable(mt1, mt2)) {
876 } else if (types.returnTypeSubstitutable(mt2, mt1)) {
877 return mt2;