diff options
| author | Michael Goulet <michael@errs.io> | 2025-08-14 14:58:40 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-08-14 15:06:18 +0000 |
| commit | 2f85c80f9cb3c2e34904dd1d5ff80ed6f4cd6264 (patch) | |
| tree | bb33ef33c68c079b441205cf4ae1e78d5575bb27 /tests | |
| parent | 96ecc9042cbda2be93f969f2b8dc676964ec8f2c (diff) | |
| download | rust-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.rs | 29 | ||||
| -rw-r--r-- | tests/ui/traits/next-solver/method/param-method-from-unnormalized-param-env.rs | 17 |
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() {} |
