Currently, these compile:

struct Foo<T: Copy>(T);
type X = Foo<String>;
type Y = <() as Iterator>::Item;

Using them does produce an error at the use site, but not in the definition.