{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"self.register_obligation_in_env(in_env)"}]}
        self.register_obligation_in_env(in_env)
        let in_env = InEnvironment::new(&self.trait_env.env, goal);
    }