all-declared-attributes-must-be-initialized.ci

/**
*
* Incomplete implementations of an interface can't
* be instantiated. All declared fields MUST be initialized.
*
*/


I = class{ 
	x:int; 
}

Wrong = I + class{  

}

Good = I + class{
	__init__ = \x-> this.x = x;
}

try{
	Wrong();
}catch e:TypeError{
	caught = true;
}


Good(11).x == 11  && caught;