summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/wf-bound-region-in-object-type.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/wf-bound-region-in-object-type.rs')
-rw-r--r--src/test/ui/regions/wf-bound-region-in-object-type.rs22
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/regions/wf-bound-region-in-object-type.rs b/src/test/ui/regions/wf-bound-region-in-object-type.rs
deleted file mode 100644
index 7c4dd3ec8..000000000
--- a/src/test/ui/regions/wf-bound-region-in-object-type.rs
+++ /dev/null
@@ -1,22 +0,0 @@
-// run-pass
-
-#![allow(dead_code)]
-#![allow(unused_variables)]
-// Test that the `wf` checker properly handles bound regions in object
-// types. Compiling this code used to trigger an ICE.
-
-// pretty-expanded FIXME #23616
-
-pub struct Context<'tcx> {
- vec: &'tcx Vec<isize>
-}
-
-pub type Cmd<'a> = &'a isize;
-
-pub type DecodeInlinedItem<'a> =
- Box<dyn for<'tcx> FnMut(Cmd, &Context<'tcx>) -> Result<&'tcx isize, ()> + 'a>;
-
-fn foo(d: DecodeInlinedItem) {
-}
-
-fn main() { }