Skip to content

Commit 751e4d1

Browse files
committed
whitespace changes, debug message
1 parent 6c4b228 commit 751e4d1

File tree

1 file changed

+6
-2
lines changed
  • src/librustc_typeck/check

1 file changed

+6
-2
lines changed

src/librustc_typeck/check/mod.rs

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1524,6 +1524,8 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
15241524
if self.diverges.get() == Diverges::Always {
15251525
self.diverges.set(Diverges::WarnedAlways);
15261526

1527+
debug!("warn_if_unreachable: id={:?} span={:?} kind={}", id, span, kind);
1528+
15271529
self.tables.borrow_mut().lints.add_lint(
15281530
lint::builtin::UNREACHABLE_CODE,
15291531
id, span,
@@ -2543,8 +2545,10 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
25432545
Expectation::rvalue_hint(self, ty)
25442546
});
25452547

2546-
let checked_ty = self.check_expr_with_expectation(&arg,
2547-
expected.unwrap_or(ExpectHasType(formal_ty)));
2548+
let checked_ty = self.check_expr_with_expectation(
2549+
&arg,
2550+
expected.unwrap_or(ExpectHasType(formal_ty)));
2551+
25482552
// 2. Coerce to the most detailed type that could be coerced
25492553
// to, which is `expected_ty` if `rvalue_hint` returns an
25502554
// `ExpectHasType(expected_ty)`, or the `formal_ty` otherwise.

0 commit comments

Comments
 (0)