summaryrefslogtreecommitdiffstats
path: root/src/test/ui/mir/issue-75419-validation-impl-trait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/mir/issue-75419-validation-impl-trait.rs')
-rw-r--r--src/test/ui/mir/issue-75419-validation-impl-trait.rs13
1 files changed, 0 insertions, 13 deletions
diff --git a/src/test/ui/mir/issue-75419-validation-impl-trait.rs b/src/test/ui/mir/issue-75419-validation-impl-trait.rs
deleted file mode 100644
index a8741befb..000000000
--- a/src/test/ui/mir/issue-75419-validation-impl-trait.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-// build-pass
-
-// This used to fail MIR validation due to the types on both sides of
-// an assignment not being equal.
-// The failure doesn't occur with a check-only build.
-
-fn iter_slice<'a, T>(xs: &'a [T]) -> impl Iterator<Item = &'a T> {
- xs.iter()
-}
-
-fn main() {
- iter_slice::<()> as fn(_) -> _;
-}