{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"///"}]}
    /// trait Trait2<T> : Trait<Type = T> {}
    /// }
    /// //~^ ERROR: `DefaultAutoTrait` required for `Trait2`, by implicit  `Self: DefaultAutoTrait` in `Trait::Type`