| // @skip-test |
| |
| // Test case for issue 286: https://github.com/typetools/checker-framework/issues/286 |
| |
| import java.net.URL; |
| |
| public class AnnotatedJdkEqualsTest { |
| void foo(URL u) { |
| // As of this writing, the annotated JDK does not contain a URL.java file |
| // for the java.net.URL class. |
| // Nonetheless, the following code should type-check. |
| // This could be handled via inheritance of annotations from superclasses either during JDK |
| // creation or during type-checking. It would be impractical to manually annotate every method |
| // in the entire JDK: it would be too labor-intensive and there would be certain to be some |
| // oversights. |
| u.equals(null); |
| } |
| } |