{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"ty::ConstKind::Infer(ty::InferConst::Var(vid))"}]}
            ty::ConstKind::Infer(ty::InferConst::Var(vid)) => {
        match c.kind() {
                let resolved = self.delegate.opportunistic_resolve_ct_var(vid);