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