Should GATs only support lifetime parameters?

Question

One possibility is to only stabilize GATs with lifetime parameters:

#![allow(unused)] fn main() { trait Iterable { type Item<'a>; } }

Conclusion