diff options
| author | Michael Goulet <michael@errs.io> | 2022-09-09 19:42:25 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-09-09 19:42:52 +0000 |
| commit | 44738ee336f72e683b2c24dac22b919567ec03a7 (patch) | |
| tree | 4c518f795c4477af48e6270109f41908648a36b9 /compiler | |
| parent | 98f3001eecbe4cbd091c10ffab45b4c164bb507b (diff) | |
Be careful about expr_ty_adjusted when noting block tail type
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs b/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs index ecbeb9d79b1..e05383d18f0 100644 --- a/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs +++ b/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs @@ -2713,12 +2713,13 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> { Some(t) if t.hir_owner == parent_id => t, _ => self.tcx.typeck(parent_id), }; - let ty = typeck_results.expr_ty_adjusted(expr); - let span = expr.peel_blocks().span; + let expr = expr.peel_blocks(); + let ty = typeck_results.expr_ty_adjusted_opt(expr).unwrap_or(tcx.ty_error()); + let span = expr.span; if Some(span) != err.span.primary_span() { err.span_label( span, - &if ty.references_error() { + if ty.references_error() { String::new() } else { format!("this tail expression is of type `{:?}`", ty) |
