From 86664eabfcac0101842b8e8578f18aaa7cb7fdfd Mon Sep 17 00:00:00 2001
From: Michael Goulet <michael@errs.io>
Date: Tue, 23 Apr 2024 14:52:54 -0400
Subject: [PATCH] Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety
 violation

---
 tests/fail/issue-miri-2432.rs     | 19 -------------------
 tests/fail/issue-miri-2432.stderr | 15 ---------------
 2 files changed, 34 deletions(-)
 delete mode 100644 tests/fail/issue-miri-2432.rs
 delete mode 100644 tests/fail/issue-miri-2432.stderr

diff --git a/tests/fail/issue-miri-2432.rs b/tests/fail/issue-miri-2432.rs
deleted file mode 100644
index f822479c43..0000000000
--- a/tests/fail/issue-miri-2432.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-#![allow(where_clauses_object_safety)]
-
-trait Trait {}
-
-trait X {
-    fn foo(&self)
-    where
-        Self: Trait;
-}
-
-impl X for () {
-    fn foo(&self) {}
-}
-
-impl Trait for dyn X {}
-
-pub fn main() {
-    <dyn X as X>::foo(&()); //~ERROR: trying to call something that is not a method
-}
diff --git a/tests/fail/issue-miri-2432.stderr b/tests/fail/issue-miri-2432.stderr
deleted file mode 100644
index 3befe31dc5..0000000000
--- a/tests/fail/issue-miri-2432.stderr
+++ /dev/null
@@ -1,15 +0,0 @@
-error: Undefined Behavior: `dyn` call trying to call something that is not a method
-  --> $DIR/issue-miri-2432.rs:LL:CC
-   |
-LL |     <dyn X as X>::foo(&());
-   |     ^^^^^^^^^^^^^^^^^^^^^^ `dyn` call trying to call something that is not a method
-   |
-   = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
-   = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
-   = note: BACKTRACE:
-   = note: inside `main` at $DIR/issue-miri-2432.rs:LL:CC
-
-note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
-
-error: aborting due to 1 previous error
-