object InfixType { trait *[N1, N2] type Result = Int * Int } 

[error] | type Result = Int * Int [error] | ^ [error] | ';' expected but identifier found