src/test/ui/wf-bound-region-in-object-type.rs

   1 // run-pass
   2
   3 #![allow(dead_code)]
   4 #![allow(unused_variables)]
   5 // Test that the `wf` checker properly handles bound regions in object
   6 // types. Compiling this code used to trigger an ICE.
   7
   8 // pretty-expanded FIXME #23616
   9
  10 pub struct Context<'tcx> {
  11     vec: &'tcx Vec<isize>
  12 }
  13
  14 pub type Cmd<'a> = &'a isize;
  15
  16 pub type DecodeInlinedItem<'a> =
  17     Box<dyn for<'tcx> FnMut(Cmd, &Context<'tcx>) -> Result<&'tcx isize, ()> + 'a>;
  18
  19 fn foo(d: DecodeInlinedItem) {
  20 }
  21
  22 fn main() { }