{"ast_node_type":"variable","tokens":[{"end":96,"kind":"keyword","start":0,"text":"let"}]}
            let ty_vid = infcx.next_ty_var_id_in_universe(self.span(), ty::UniverseIndex::ROOT);
        let mut enable_subtyping = |ty, opaque_is_expected| {