{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"self.handle_opaque_type(ty,"}]}
                        self.handle_opaque_type(ty, ty_var, span, param_env)
                    obligations.extend(
                            .unwrap()