diff options
| author | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-09-11 21:16:16 +0200 |
|---|---|---|
| committer | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-09-18 17:11:34 +0200 |
| commit | 30ff1ef3d000c7f76a1906522b0efff4c8b27201 (patch) | |
| tree | 9e6f9de695b7ecec9969f5f3b5bdb1a052951802 /compiler/rustc_privacy/src | |
| parent | 82ebbd7d6b6d3f0ec1560c823320aab696463770 (diff) | |
| download | rust-30ff1ef3d000c7f76a1906522b0efff4c8b27201.tar.gz rust-30ff1ef3d000c7f76a1906522b0efff4c8b27201.zip | |
support const_evaluatable_checked across crate boundaries
Diffstat (limited to 'compiler/rustc_privacy/src')
| -rw-r--r-- | compiler/rustc_privacy/src/lib.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/compiler/rustc_privacy/src/lib.rs b/compiler/rustc_privacy/src/lib.rs index 03cc718b899..1a95992ed83 100644 --- a/compiler/rustc_privacy/src/lib.rs +++ b/compiler/rustc_privacy/src/lib.rs @@ -97,6 +97,15 @@ where ty.visit_with(self) } ty::PredicateAtom::RegionOutlives(..) => false, + ty::PredicateAtom::ConstEvaluatable(..) + if self.def_id_visitor.tcx().features().const_evaluatable_checked => + { + // FIXME(const_evaluatable_checked): If the constant used here depends on a + // private function we may have to do something here... + // + // For now, let's just pretend that everything is fine. + false + } _ => bug!("unexpected predicate: {:?}", predicate), } } |