fn compute_const(&mut self, constant: &'tcx ty::Const<'tcx>) {
        self.require_sized(constant.ty, traits::ConstSized);
        if let ConstValue::Unevaluated(def_id, substs) = constant.val {
            let obligations = self.nominal_obligations(def_id, substs);
            self.out.extend(obligations);

            let predicate = ty::Predicate::ConstEvaluatable(def_id, substs);
            let cause = self.cause(traits::MiscObligation);
            self.out.push(traits::Obligation::new(cause,
                                                    self.param_env,
                                                    predicate));
        }
    }
/// Pushes the obligations required for a constant value to be WF
/// into `self.out`.
Pushes the obligations required for a constant value to be WF
into `self.out`.
Pushes the obligations required for a constant value to be WF into ` self . out ` .
fn compute_const(&mut self, constant: &'tcx ty::Const<'tcx>) {
        self.require_sized(constant.ty, traits::ConstSized);
        if let ConstValue::Unevaluated(def_id, substs) = constant.val {
            let obligations = self.nominal_obligations(def_id, substs);
            self.out.extend(obligations);
            let predicate = ty::Predicate::ConstEvaluatable(def_id, substs);
            let cause = self.cause(traits::MiscObligation);
            self.out.push(traits::Obligation::new(cause,
                                                    self.param_env,
                                                    predicate));
        }
    }
fn compute_const ( & mut self , constant : & ' tcx ty :: Const < ' tcx > ) { self . require_sized ( constant . ty , traits :: ConstSized ) ; if let ConstValue :: Unevaluated ( def_id , substs ) = constant . val { let obligations = self . nominal_obligations ( def_id , substs ) ; self . out . extend ( obligations ) ; let predicate = ty :: Predicate :: ConstEvaluatable ( def_id , substs ) ; let cause = self . cause ( traits :: MiscObligation ) ; self . out . push ( traits :: Obligation :: new ( cause , self . param_env , predicate ) ) ; } }
Pushes the obligations required for a constant value to be WF
into `self.out`.
Pushes the obligations required for a constant value to be WF into ` self . out ` .
&mut self
constant
&'tcx ty::Const<'tcx>