changeset 938 | 13aae74ca013 |
parent 735 | 372aa565a221 |
child 1044 | 7016e624ec3a |
--- a/langtools/src/share/classes/com/sun/tools/javac/code/Types.java Thu Jul 24 10:35:38 2008 +0100 +++ b/langtools/src/share/classes/com/sun/tools/javac/code/Types.java Thu Jul 24 11:12:41 2008 +0100 @@ -835,7 +835,7 @@ }; public boolean isCaptureOf(Type s, WildcardType t) { - if (s.tag != TYPEVAR || !(s instanceof CapturedType)) + if (s.tag != TYPEVAR || !((TypeVar)s).isCaptured()) return false; return isSameWildcard(t, ((CapturedType)s).wildcard); }