summaryrefslogtreecommitdiffstats
path: root/src/test/ui/wf/wf-in-fn-type-arg.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/wf/wf-in-fn-type-arg.rs')
-rw-r--r--src/test/ui/wf/wf-in-fn-type-arg.rs12
1 files changed, 0 insertions, 12 deletions
diff --git a/src/test/ui/wf/wf-in-fn-type-arg.rs b/src/test/ui/wf/wf-in-fn-type-arg.rs
deleted file mode 100644
index 2917a8aa9..000000000
--- a/src/test/ui/wf/wf-in-fn-type-arg.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-// Check that we enforce WF conditions also for types in fns.
-
-struct MustBeCopy<T:Copy> {
- t: T
-}
-
-struct Bar<T> {
- // needs T: Copy
- x: fn(MustBeCopy<T>) //~ ERROR E0277
-}
-
-fn main() { }