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