tests/ui/regions/regions-debruijn-of-object.rs

   1 // run-pass
   2 #![allow(dead_code)]
   3 #![allow(unused_variables)]
   4 #![allow(non_camel_case_types)]
   5
   6 // pretty-expanded FIXME #23616
   7
   8 struct ctxt<'tcx> {
   9     x: &'tcx i32
  10 }
  11
  12 trait AstConv<'tcx> {
  13     fn tcx<'a>(&'a self) -> &'a ctxt<'tcx>;
  14 }
  15
  16 fn foo(conv: &dyn AstConv) { }
  17
  18 fn bar<'tcx>(conv: &dyn AstConv<'tcx>) {
  19     foo(conv)
  20 }
  21
  22 fn main() { }