{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    /// Trait goals always hold while projection goals never do. This is a bit arbitrary
    ///
    /// but prevents incorrect normalization while hiding any trait errors.