{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"well_known_trait:"}]}
        well_known_trait: WellKnownTrait,
        &self,
    ) -> Option<chalk_ir::TraitId<Interner>> {