From 6af91c56d199851abfebbbab4745f34f229649f1 Mon Sep 17 00:00:00 2001
From: Jacob Adam <software@jacobadam.net>
Date: Sat, 7 Feb 2026 12:42:59 +0100
Subject: [PATCH] Move tests from tests/crashes to tests/ui now that they don't
 ICE

---
 tests/crashes/137190-2.rs                     | 18 -------------
 tests/crashes/137190-3.rs                     | 10 --------
 .../vtable-impossible-predicates-async.rs}    |  6 ++++-
 .../vtable-unsatisfied-supertrait-generics.rs | 25 +++++++++++++++++++
 ...ble-unsatisfied-supertrait-generics.stderr | 20 +++++++++++++++
 .../coercion/vtable-unsatisfied-supertrait.rs | 16 ++++++++++++
 .../vtable-unsatisfied-supertrait.stderr      | 20 +++++++++++++++
 7 files changed, 86 insertions(+), 29 deletions(-)
 delete mode 100644 tests/crashes/137190-2.rs
 delete mode 100644 tests/crashes/137190-3.rs
 rename tests/{crashes/135470.rs => ui/coercion/vtable-impossible-predicates-async.rs} (79%)
 create mode 100644 tests/ui/coercion/vtable-unsatisfied-supertrait-generics.rs
 create mode 100644 tests/ui/coercion/vtable-unsatisfied-supertrait-generics.stderr
 create mode 100644 tests/ui/coercion/vtable-unsatisfied-supertrait.rs
 create mode 100644 tests/ui/coercion/vtable-unsatisfied-supertrait.stderr

diff --git a/tests/crashes/137190-2.rs b/tests/crashes/137190-2.rs
deleted file mode 100644
index 0c68b5aa4a51..000000000000
--- a/tests/crashes/137190-2.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-//@ known-bug: #137190
-trait Supertrait<T> {
-    fn method(&self) {}
-}
-
-trait Trait<P>: Supertrait<()> {}
-
-impl<P> Trait<P> for () {}
-
-const fn upcast<P>(x: &dyn Trait<P>) -> &dyn Supertrait<()> {
-    x
-}
-
-const fn foo() -> &'static dyn Supertrait<()> {
-    upcast::<()>(&())
-}
-
-const _: &'static dyn Supertrait<()> = foo();
diff --git a/tests/crashes/137190-3.rs b/tests/crashes/137190-3.rs
deleted file mode 100644
index 88ae88e11bcd..000000000000
--- a/tests/crashes/137190-3.rs
+++ /dev/null
@@ -1,10 +0,0 @@
-//@ known-bug: #137190
-trait Supertrait {
-    fn method(&self) {}
-}
-
-trait Trait: Supertrait {}
-
-impl Trait for () {}
-
-const _: &dyn Supertrait = &() as &dyn Trait as &dyn Supertrait;
diff --git a/tests/crashes/135470.rs b/tests/ui/coercion/vtable-impossible-predicates-async.rs
similarity index 79%
rename from tests/crashes/135470.rs
rename to tests/ui/coercion/vtable-impossible-predicates-async.rs
index efa017b5457c..fe6aa9843fc6 100644
--- a/tests/crashes/135470.rs
+++ b/tests/ui/coercion/vtable-impossible-predicates-async.rs
@@ -1,4 +1,8 @@
-//@ known-bug: #135470
+// Regression test for #135470.
+// Verify that we don't ICE when building vtable entries
+// for a blanket impl involving async and impossible predicates.
+
+//@ check-pass
 //@ compile-flags: -Copt-level=0
 //@ edition: 2021
 
diff --git a/tests/ui/coercion/vtable-unsatisfied-supertrait-generics.rs b/tests/ui/coercion/vtable-unsatisfied-supertrait-generics.rs
new file mode 100644
index 000000000000..41e603fc0a0a
--- /dev/null
+++ b/tests/ui/coercion/vtable-unsatisfied-supertrait-generics.rs
@@ -0,0 +1,25 @@
+// Regression test for #137190.
+// Variant of vtable-unsatisfied-supertrait.rs with generic traits.
+// Verify that we don't ICE when building vtable entries
+// for a generic trait whose supertrait is not implemented.
+
+//@ compile-flags: --crate-type lib
+
+trait Supertrait<T> {
+    fn method(&self) {}
+}
+
+trait Trait<P>: Supertrait<()> {}
+
+impl<P> Trait<P> for () {}
+//~^ ERROR the trait bound `(): Supertrait<()>` is not satisfied
+
+const fn upcast<P>(x: &dyn Trait<P>) -> &dyn Supertrait<()> {
+    x
+}
+
+const fn foo() -> &'static dyn Supertrait<()> {
+    upcast::<()>(&())
+}
+
+const _: &'static dyn Supertrait<()> = foo();
diff --git a/tests/ui/coercion/vtable-unsatisfied-supertrait-generics.stderr b/tests/ui/coercion/vtable-unsatisfied-supertrait-generics.stderr
new file mode 100644
index 000000000000..a485d2d53953
--- /dev/null
+++ b/tests/ui/coercion/vtable-unsatisfied-supertrait-generics.stderr
@@ -0,0 +1,20 @@
+error[E0277]: the trait bound `(): Supertrait<()>` is not satisfied
+  --> $DIR/vtable-unsatisfied-supertrait-generics.rs:14:22
+   |
+LL | impl<P> Trait<P> for () {}
+   |                      ^^ the trait `Supertrait<()>` is not implemented for `()`
+   |
+help: this trait has no implementations, consider adding one
+  --> $DIR/vtable-unsatisfied-supertrait-generics.rs:8:1
+   |
+LL | trait Supertrait<T> {
+   | ^^^^^^^^^^^^^^^^^^^
+note: required by a bound in `Trait`
+  --> $DIR/vtable-unsatisfied-supertrait-generics.rs:12:17
+   |
+LL | trait Trait<P>: Supertrait<()> {}
+   |                 ^^^^^^^^^^^^^^ required by this bound in `Trait`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.
diff --git a/tests/ui/coercion/vtable-unsatisfied-supertrait.rs b/tests/ui/coercion/vtable-unsatisfied-supertrait.rs
new file mode 100644
index 000000000000..26a83d2fb066
--- /dev/null
+++ b/tests/ui/coercion/vtable-unsatisfied-supertrait.rs
@@ -0,0 +1,16 @@
+// Regression test for #137190.
+// Verify that we don't ICE when building vtable entries
+// for a trait whose supertrait is not implemented.
+
+//@ compile-flags: --crate-type lib
+
+trait Supertrait {
+    fn method(&self) {}
+}
+
+trait Trait: Supertrait {}
+
+impl Trait for () {}
+//~^ ERROR the trait bound `(): Supertrait` is not satisfied
+
+const _: &dyn Supertrait = &() as &dyn Trait as &dyn Supertrait;
diff --git a/tests/ui/coercion/vtable-unsatisfied-supertrait.stderr b/tests/ui/coercion/vtable-unsatisfied-supertrait.stderr
new file mode 100644
index 000000000000..7df2c95c7fac
--- /dev/null
+++ b/tests/ui/coercion/vtable-unsatisfied-supertrait.stderr
@@ -0,0 +1,20 @@
+error[E0277]: the trait bound `(): Supertrait` is not satisfied
+  --> $DIR/vtable-unsatisfied-supertrait.rs:13:16
+   |
+LL | impl Trait for () {}
+   |                ^^ the trait `Supertrait` is not implemented for `()`
+   |
+help: this trait has no implementations, consider adding one
+  --> $DIR/vtable-unsatisfied-supertrait.rs:7:1
+   |
+LL | trait Supertrait {
+   | ^^^^^^^^^^^^^^^^
+note: required by a bound in `Trait`
+  --> $DIR/vtable-unsatisfied-supertrait.rs:11:14
+   |
+LL | trait Trait: Supertrait {}
+   |              ^^^^^^^^^^ required by this bound in `Trait`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.