trait T<> {}
-trait Foo { type Bar: Baz;}
+trait Foo { type Bar: Baz; type Inner: Foo = Box< Foo >; }
trait ConstCheck<T>:Foo where T: Baz {
const J: i32;
trait WhereList<T, J> where T: Foo, J: Bar {}
+trait X /* comment */ {}
+trait Y // comment
+{
+}