--ID Class B inherits A{ a():Int{ { a<-1; --valid ab<-1; --invalid name a<-abc ; --invalid name b(a, a); } }; }; Class A { a:Int; b(i:Int, n:String):String{ { i<-hj; --invalid n<-rt; } }; }; Class Main{ main():Int { 1 }; };