syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"(ty::ConstKind::Infer(ty::InferConst::Var(_)),"}]}
source_snippet:         (ty::ConstKind::Infer(ty::InferConst::Var(_)), ty::ConstKind::Infer(_))
context_before:         // All other cases of inference with other variables are errors.
context_after:         | (ty::ConstKind::Infer(_), ty::ConstKind::Infer(ty::InferConst::Var(_))) => {