Searched refs:add_unevaluated_const (Results 1 – 1 of 1) sorted by relevance
39 result.add_unevaluated_const(uv); in for_unevaluated_const()256 self.add_unevaluated_const(uv); in add_predicate_atom()289 ty::ConstKind::Unevaluated(unevaluated) => self.add_unevaluated_const(unevaluated), in add_const()313 fn add_unevaluated_const<P>(&mut self, ct: ty::Unevaluated<'tcx, P>) { in add_unevaluated_const() method