type a = impl Trait
type b = impl Trait + Send
type c = impl Trait + Send + Sync
type d = impl Trait + 'static
type e = impl Trait + Send + 'static
type g = impl 'static + Trait
type h = impl Trait