diff options
| author | Michael Goulet <michael@errs.io> | 2025-08-19 20:15:43 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-08-19 20:16:19 +0000 |
| commit | 6a088fd5847b1b24733011fcaab87dfc49853eec (patch) | |
| tree | 297f507f0e7d26937346f930a31f72b9760090fa /compiler/rustc_borrowck/src | |
| parent | 16ad385579cebb6f7d53367c552661b6b51a4a02 (diff) | |
| download | rust-6a088fd5847b1b24733011fcaab87dfc49853eec.tar.gz rust-6a088fd5847b1b24733011fcaab87dfc49853eec.zip | |
Defer tail call ret ty equality to check_tail_calls
Diffstat (limited to 'compiler/rustc_borrowck/src')
| -rw-r--r-- | compiler/rustc_borrowck/src/type_check/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_borrowck/src/type_check/mod.rs b/compiler/rustc_borrowck/src/type_check/mod.rs index a960b96b91c..8db2904cfd7 100644 --- a/compiler/rustc_borrowck/src/type_check/mod.rs +++ b/compiler/rustc_borrowck/src/type_check/mod.rs @@ -1895,7 +1895,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { if !output_ty .is_privately_uninhabited(self.tcx(), self.infcx.typing_env(self.infcx.param_env)) { - span_mirbug!(self, term, "call to converging function {:?} w/o dest", sig); + span_mirbug!(self, term, "call to non-diverging function {:?} w/o dest", sig); } } else { let dest_ty = destination.ty(self.body, tcx).ty; |