{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// Given the fully resolved, instantiated type for an opaque
impl<'tcx> InferCtxt<'tcx> {
    /// type, i.e., the value of an inference variable like C1 or C2