summaryrefslogtreecommitdiffstats
path: root/src/test/rustdoc/not-wf-ambiguous-normalization.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/rustdoc/not-wf-ambiguous-normalization.rs')
-rw-r--r--src/test/rustdoc/not-wf-ambiguous-normalization.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/rustdoc/not-wf-ambiguous-normalization.rs b/src/test/rustdoc/not-wf-ambiguous-normalization.rs
deleted file mode 100644
index 1e9f925f8..000000000
--- a/src/test/rustdoc/not-wf-ambiguous-normalization.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-// compile-flags: -Znormalize-docs
-
-#![feature(type_alias_impl_trait)]
-
-trait Allocator {
- type Buffer;
-}
-
-struct DefaultAllocator;
-
-// This unconstrained impl parameter causes the normalization of
-// `<DefaultAllocator as Allocator>::Buffer` to be ambiguous,
-// which caused an ICE with `-Znormalize-docs`.
-impl<T> Allocator for DefaultAllocator {
- type Buffer = ();
-}
-
-type A = impl Fn(<DefaultAllocator as Allocator>::Buffer);
-
-fn foo() -> A {
- |_| ()
-}
-
-fn main() {}