{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
    /// //~^ ERROR: `Rhs` requires `DefaultAutoTrait`, but `Self` is not `DefaultAutoTrait`
    /// pub trait Trait1 : Trait {}
    /// ```