equal
deleted
inserted
replaced
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) { |