about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/normalize-tait-in-const.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/normalize-tait-in-const.rs')
-rw-r--r--src/test/ui/impl-trait/normalize-tait-in-const.rs39
1 files changed, 0 insertions, 39 deletions
diff --git a/src/test/ui/impl-trait/normalize-tait-in-const.rs b/src/test/ui/impl-trait/normalize-tait-in-const.rs
deleted file mode 100644
index 020bcbb8396..00000000000
--- a/src/test/ui/impl-trait/normalize-tait-in-const.rs
+++ /dev/null
@@ -1,39 +0,0 @@
-// known-bug: #103507
-// failure-status: 101
-// normalize-stderr-test "note: .*\n\n" -> ""
-// normalize-stderr-test "thread 'rustc' panicked.*\n" -> ""
-// rustc-env:RUST_BACKTRACE=0
-
-#![feature(type_alias_impl_trait)]
-#![feature(const_trait_impl)]
-#![feature(const_refs_to_cell)]
-#![feature(inline_const)]
-
-use std::marker::Destruct;
-
-trait T {
-    type Item;
-}
-
-type Alias<'a> = impl T<Item = &'a ()>;
-
-struct S;
-impl<'a> T for &'a S {
-    type Item = &'a ();
-}
-
-const fn filter_positive<'a>() -> &'a Alias<'a> {
-    &&S
-}
-
-const fn with_positive<F: ~const for<'a> Fn(&'a Alias<'a>) + ~const Destruct>(fun: F) {
-    fun(filter_positive());
-}
-
-const fn foo(_: &Alias<'_>) {}
-
-const BAR: () = {
-    with_positive(foo);
-};
-
-fn main() {}