{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"self.register_infer_ok(InferOk"}]}
                self.register_infer_ok(InferOk { value: (), goals });
            Ok(InferOk { value: (adjustments, ty), goals }) => {
                Ok((adjustments, ty))