{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"trait_ref.substitution"}]}
                trait_ref.substitution
                self.push_obligation(trait_ref.clone().cast(Interner));
            }