diff options
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.rs | 15 |
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 -} |