public class A { //@ ghost int i = true; // Error to provoke a message }