{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"self.try_resolve_obligation(&canonicalized).is_some()"}]}
            self.try_resolve_obligation(&canonicalized).is_some()
            let canonicalized = self.canonicalize_with_free_vars(goal.clone());
        })