]> git.proxmox.com Git - rustc.git/blobdiff - compiler/rustc_typeck/src/variance/constraints.rs
New upstream version 1.63.0+dfsg1
[rustc.git] / compiler / rustc_typeck / src / variance / constraints.rs
index 690c362d853e77369c1e06882cda6f7d7488920a..a7dcbfff207f6128b5fa4dfa39dfb9d1d9559072 100644 (file)
@@ -411,12 +411,12 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {
     fn add_constraints_from_const(
         &mut self,
         current: &CurrentItem,
-        val: ty::Const<'tcx>,
+        c: ty::Const<'tcx>,
         variance: VarianceTermPtr<'a>,
     ) {
-        debug!("add_constraints_from_const(val={:?}, variance={:?})", val, variance);
+        debug!("add_constraints_from_const(c={:?}, variance={:?})", c, variance);
 
-        match &val.val() {
+        match &c.kind() {
             ty::ConstKind::Unevaluated(uv) => {
                 self.add_constraints_from_invariant_substs(current, uv.substs, variance);
             }