{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
        if self.cx().trait_is_dyn_compatible(trait_def_id) {
    fn compute_dyn_compatible_goal(&mut self, trait_def_id: I::DefId) -> QueryResult<I> {
            self.evaluate_added_goals_and_make_canonical_response(Certainty::Yes)