diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/regions/wf-bound-region-in-object-type.rs | 22 |
1 files changed, 22 insertions, 0 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 new file mode 100644 index 000000000..7c4dd3ec8 --- /dev/null +++ b/src/test/ui/regions/wf-bound-region-in-object-type.rs @@ -0,0 +1,22 @@ +// 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() { } |