summary refs log tree commit diff
path: root/tests
diff options
context:
space:
mode:
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() {}