{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":".eq_and_get_goals(self.param_env,"}]}
                .eq_and_get_goals(self.param_env, alias_term, replacement.projection_term)
            self.ecx
                .expect("expected to be able to unify goal projection with dyn's projection"),