Skip to content

Instantly share code, notes, and snippets.

@khatchad
Created August 13, 2015 14:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save khatchad/ef07f7af98fbf18e1373 to your computer and use it in GitHub Desktop.
Save khatchad/ef07f7af98fbf18e1373 to your computer and use it in GitHub Desktop.
package p;
import raffi.java.util.Collection;
class A {
void m() {
Collection c = null;
for (Object obj : c) //should fail because C is not a java.util.Collection.
;
}
}
//in a separate file; in/raffi/java/util/Collection.java
package raffi.java.util;
class Collection {
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment