src/share/classes/com/sun/tools/javac/code/Types.java

changeset 79
36df13bde238
parent 54
eaf608c64fec
child 93
30a415f8667f
equal deleted inserted replaced
78:77dba8b57346 79:36df13bde238
833 return true; 833 return true;
834 } 834 }
835 }; 835 };
836 836
837 public boolean isCaptureOf(Type s, WildcardType t) { 837 public boolean isCaptureOf(Type s, WildcardType t) {
838 if (s.tag != TYPEVAR || !(s instanceof CapturedType)) 838 if (s.tag != TYPEVAR || !((TypeVar)s).isCaptured())
839 return false; 839 return false;
840 return isSameWildcard(t, ((CapturedType)s).wildcard); 840 return isSameWildcard(t, ((CapturedType)s).wildcard);
841 } 841 }
842 842
843 public boolean isSameWildcard(WildcardType t, Type s) { 843 public boolean isSameWildcard(WildcardType t, Type s) {

mercurial