{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
        // the opaque.
        // by using `ty_vid rel B` and then finally and end by equating `ty_vid` to
        let mut enable_subtyping = |ty, opaque_is_expected| {