summary refs log tree commit diff
path: root/tests
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2025-08-14 14:58:40 +0000
committerMichael Goulet <michael@errs.io>2025-08-14 15:06:18 +0000
commit2f85c80f9cb3c2e34904dd1d5ff80ed6f4cd6264 (patch)
treebb33ef33c68c079b441205cf4ae1e78d5575bb27 /tests
parent96ecc9042cbda2be93f969f2b8dc676964ec8f2c (diff)
downloadrust-2f85c80f9cb3c2e34904dd1d5ff80ed6f4cd6264.tar.gz
rust-2f85c80f9cb3c2e34904dd1d5ff80ed6f4cd6264.zip
Revert "Use DeepRejectCtxt in assemble_inherent_candidates_from_param"
This reverts commit ad59f0b6e6e5c45ea64064758a88e8521259bfcf.
Diffstat (limited to 'tests')
-rw-r--r--tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env-2.rs29
-rw-r--r--tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env.rs17
2 files changed, 0 insertions, 46 deletions
diff --git a/tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env-2.rs b/tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env-2.rs
deleted file mode 100644
index ffb99d6d638..00000000000
--- a/tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env-2.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-//@ check-pass
-//@ revisions: current next
-//@ ignore-compare-mode-next-solver (explicit revisions)
-//@[next] compile-flags: -Znext-solver
-
-// Regression test for <https://github.com/rust-lang/trait-system-refactor-initiative/issues/214>.
-// See comment below.
-
-trait A {
-    fn hello(&self) {}
-}
-
-trait B {
-    fn hello(&self) {}
-}
-
-impl<T> A for T {}
-impl<T> B for T {}
-
-fn test<F, R>(q: F::Item)
-where
-    F: Iterator<Item = R>,
-    // We want to prefer `A` for `R.hello()`
-    F::Item: A,
-{
-    q.hello();
-}
-
-fn main() {}
diff --git a/tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env.rs b/tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env.rs
deleted file mode 100644
index dde4f745879..00000000000
--- a/tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-//@ check-pass
-//@ compile-flags: -Znext-solver
-
-// Regression test for <https://github.com/rust-lang/trait-system-refactor-initiative/issues/214>.
-
-fn execute<K, F, R>(q: F::Item) -> R
-where
-    F: Iterator<Item = R>,
-    // Both of the below bounds should be considered for `.into()`, and then be combined
-    // into a single `R: Into<?0>` bound which can be inferred to `?0 = R`.
-    F::Item: Into<K>,
-    R: Into<String>,
-{
-    q.into()
-}
-
-fn main() {}