diff options
| -rw-r--r-- | src/librustc_mir/build/expr/category.rs | 4 | ||||
| -rw-r--r-- | src/librustc_mir/tcx/mod.rs | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/librustc_mir/build/expr/category.rs b/src/librustc_mir/build/expr/category.rs index 8bfd0a1c7d2..1f9928acdc8 100644 --- a/src/librustc_mir/build/expr/category.rs +++ b/src/librustc_mir/build/expr/category.rs @@ -87,7 +87,9 @@ impl Category { ExprKind::Break { .. } | ExprKind::Continue { .. } | ExprKind::Return { .. } => - Some(Category::Rvalue(RvalueFunc::Into)), // TODO + // FIXME(#27840) these probably want their own + // category, like "nonterminating" + Some(Category::Rvalue(RvalueFunc::Into)), } } } diff --git a/src/librustc_mir/tcx/mod.rs b/src/librustc_mir/tcx/mod.rs index 35cfc772998..2e9eae0956d 100644 --- a/src/librustc_mir/tcx/mod.rs +++ b/src/librustc_mir/tcx/mod.rs @@ -106,7 +106,7 @@ impl<'a,'tcx:'a> Hair for Cx<'a, 'tcx> { fn needs_drop(&mut self, ty: Ty<'tcx>, span: Self::Span) -> bool { if self.infcx.type_moves_by_default(ty, span) { - // TODO we should do an add'l check here to determine if + // FIXME(#21859) we should do an add'l check here to determine if // any dtor will execute, but the relevant fn // (`type_needs_drop`) is currently factored into // `librustc_trans`, so we can't easily do so. |