summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/assembly/runaway-impl-candidate-selection.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/new-solver/assembly/runaway-impl-candidate-selection.rs')
-rw-r--r--tests/ui/traits/new-solver/assembly/runaway-impl-candidate-selection.rs15
1 files changed, 0 insertions, 15 deletions
diff --git a/tests/ui/traits/new-solver/assembly/runaway-impl-candidate-selection.rs b/tests/ui/traits/new-solver/assembly/runaway-impl-candidate-selection.rs
deleted file mode 100644
index 1dca86d36..000000000
--- a/tests/ui/traits/new-solver/assembly/runaway-impl-candidate-selection.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// compile-flags: -Ztrait-solver=next
-
-// In the new solver, we are trying to select `<?0 as Iterator>::Item: Debug`,
-// which, naively can be unified with every impl of `Debug` if we're not careful.
-// This test makes sure that we treat projections with inference var substs as
-// placeholders during fast reject.
-
-fn iter<T: Iterator>() -> <T as Iterator>::Item {
- todo!()
-}
-
-fn main() {
- println!("{:?}", iter::<_>());
- //~^ ERROR type annotations needed
-}