about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2022-11-18 18:06:32 +0000
committerMichael Goulet <michael@errs.io>2022-11-18 18:06:32 +0000
commit6ae4e5e2d48e1a968c121c03b9aec84fc3a58b3e (patch)
tree289044a32edcaf53c1fae90a8c7d2681033e7a33
parentc286ad985c5116c1ff76a9d04dcb0a3fdf4af8e2 (diff)
downloadrust-6ae4e5e2d48e1a968c121c03b9aec84fc3a58b3e.tar.gz
rust-6ae4e5e2d48e1a968c121c03b9aec84fc3a58b3e.zip
Delete miri test
-rw-r--r--src/tools/miri/tests/pass/issues/issue-miri-2433.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/tools/miri/tests/pass/issues/issue-miri-2433.rs b/src/tools/miri/tests/pass/issues/issue-miri-2433.rs
deleted file mode 100644
index a8281d30bac..00000000000
--- a/src/tools/miri/tests/pass/issues/issue-miri-2433.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-trait T {
-    type Item;
-}
-
-type Alias<'a> = impl T<Item = &'a ()>;
-
-struct S;
-impl<'a> T for &'a S {
-    type Item = &'a ();
-}
-
-fn filter_positive<'a>() -> Alias<'a> {
-    &S
-}
-
-fn with_positive(fun: impl Fn(Alias<'_>)) {
-    fun(filter_positive());
-}
-
-fn main() {
-    with_positive(|_| ());
-}