diff options
| author | Cameron Steffen <cam.steffen94@gmail.com> | 2022-10-23 17:32:40 -0500 |
|---|---|---|
| committer | Cameron Steffen <cam.steffen94@gmail.com> | 2022-11-20 19:04:11 -0600 |
| commit | cc8dddbac9e04f125c7e81dbe9fb6a01990e8b25 (patch) | |
| tree | d3e9773b74566031a5d1baff33bba3e8906e38be /compiler/rustc_borrowck | |
| parent | 34cbe727806429a8a034f492cff1b588e70c33dc (diff) | |
| download | rust-cc8dddbac9e04f125c7e81dbe9fb6a01990e8b25.tar.gz rust-cc8dddbac9e04f125c7e81dbe9fb6a01990e8b25.zip | |
Factor out conservative_is_privately_uninhabited
Diffstat (limited to 'compiler/rustc_borrowck')
| -rw-r--r-- | compiler/rustc_borrowck/src/type_check/mod.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/rustc_borrowck/src/type_check/mod.rs b/compiler/rustc_borrowck/src/type_check/mod.rs index 7d36a63943c..9b6c7d27c79 100644 --- a/compiler/rustc_borrowck/src/type_check/mod.rs +++ b/compiler/rustc_borrowck/src/type_check/mod.rs @@ -1564,10 +1564,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { } } None => { - if !self - .tcx() - .conservative_is_privately_uninhabited(self.param_env.and(sig.output())) - { + if !sig.output().is_privately_uninhabited(self.tcx(), self.param_env) { span_mirbug!(self, term, "call to converging function {:?} w/o dest", sig); } } |