{"ast_node_type":"function","tokens":[{"end":62,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn register_obligation(&mut self, goal: Goal) {
        let in_env = InEnvironment::new(&self.trait_env.env, goal);