| pub trait TraitEngine<'tcx>: 'tcx {} | |
| pub trait TraitEngineExt<'tcx> { | |
| fn register_predicate_obligations(&mut self); | |
| } | |
| impl<T: ?Sized + TraitEngine<'tcx>> TraitEngineExt<'tcx> for T { | |
| //~^ ERROR use of undeclared lifetime name `'tcx` | |
| //~| ERROR use of undeclared lifetime name `'tcx` | |
| fn register_predicate_obligations(&mut self) {} | |
| } | |
| fn main() {} |