blob: 7c4dd3ec84f6c9931761a7049b6c822997a3245b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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() { }
|
