blob: 92cb60a06a2b0bae16bf35954db27428b5776588 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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() {}
|
