Lines Matching refs:mt1
736 Type mt1 = types.memberType(site, m1);
738 if (!types.overrideEquivalent(mt1, mt2))
772 Type mst = mostSpecificReturnType(mt1, mt2);
778 Symbol mostSpecific = mst == mt1 ? m1 : m2;
779 List<Type> allThrown = chk.intersect(mt1.getThrownTypes(), mt2.getThrownTypes());
861 Type mostSpecificReturnType(Type mt1, Type mt2) {
862 Type rt1 = mt1.getReturnType();
865 if (mt1.tag == FORALL && mt2.tag == FORALL) {
867 rt1 = types.subst(rt1, mt1.getTypeArguments(), mt2.getTypeArguments());
871 return mt1;
874 } else if (types.returnTypeSubstitutable(mt1, mt2)) {
875 return mt1;
876 } else if (types.returnTypeSubstitutable(mt2, mt1)) {