about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
diff options
context:
space:
mode:
authorBoxy <rust@boxyuwu.dev>2025-08-22 12:31:34 +0100
committerlcnr <rust@lcnr.de>2025-09-09 14:49:16 +0200
commit332d8d62356a1be77bfe6412ab5ed3fa33ae9af6 (patch)
tree2126c8116ca7e3c3ae2eb529e045e76c16aaa736 /compiler/rustc_trait_selection/src
parente379c7758667f900aaf5551c4553c7d4c121e3e1 (diff)
downloadrust-332d8d62356a1be77bfe6412ab5ed3fa33ae9af6.tar.gz
rust-332d8d62356a1be77bfe6412ab5ed3fa33ae9af6.zip
Driveby fixes
Diffstat (limited to 'compiler/rustc_trait_selection/src')
-rw-r--r--compiler/rustc_trait_selection/src/traits/query/dropck_outlives.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/query/dropck_outlives.rs b/compiler/rustc_trait_selection/src/traits/query/dropck_outlives.rs
index f917b62e461..945ca7c3775 100644
--- a/compiler/rustc_trait_selection/src/traits/query/dropck_outlives.rs
+++ b/compiler/rustc_trait_selection/src/traits/query/dropck_outlives.rs
@@ -350,6 +350,8 @@ pub fn dtorck_constraint_for_ty_inner<'tcx>(
             // Note that we don't care about whether the resume type has any drops since this is
             // redundant; there is no storage for the resume type, so if it is actually stored
             // in the interior, we'll already detect the need for a drop by checking the interior.
+            //
+            // FIXME(@lcnr): Why do we erase regions in the env here? Seems odd
             let typing_env = tcx.erase_and_anonymize_regions(typing_env);
             let needs_drop = tcx.mir_coroutine_witnesses(def_id).is_some_and(|witness| {
                 witness.field_tys.iter().any(|field| field.ty.needs_drop(tcx, typing_env))