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