fork download
  1. /* package whatever; // don't place package name! */
  2.  
  3. import java.util.*;
  4. import java.lang.*;
  5. import java.io.*;
  6.  
  7. /* Name of the class has to be "Main" only if the class is public. */
  8. class Ideone
  9. {
  10. public static void main (String[] args) throws java.lang.Exception
  11. {
  12. IFoo[] foos = new IFoo[0];
  13. for (Foo foo : foos) {};
  14. }
  15. }
  16.  
  17. class IFoo {}
  18. class Foo extends IFoo {}
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
Main.java:13: error: incompatible types
		for (Foo foo : foos) {};
		               ^
  required: Foo
  found:    IFoo
1 error
stdout
Standard output is empty