mixin M {
	abstract var n : number;
}
class T implements M {
	// must have n defined
}