Remove crashes, add comment

rust-lang · Oct 3, 2024 · bc5f952 · bc5f952
1 parent 5b1a2b8
commit bc5f952
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 54 deletions.
diff --git a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs b/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs
@@ -2224,6 +2224,8 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
     ) -> GetSafeTransmuteErrorAndReason {
         use rustc_transmute::Answer;
 
+        // We don't assemble a transmutability candidate for types that are generic
+        // and we should have ambiguity for types that still have non-region infer.
         if obligation.predicate.has_non_region_param() || obligation.has_non_region_infer() {
             return GetSafeTransmuteErrorAndReason::Default;
         }

diff --git a/tests/crashes/125881.rs b/tests/crashes/125881.rs
diff --git a/tests/crashes/126377.rs b/tests/crashes/126377.rs
diff --git a/tests/crashes/130413.rs b/tests/crashes/130413.rs