23 lines
473 B
Rust
23 lines
473 B
Rust
// 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() { }
|