impl<'a, 'b> UpdateWithContext for Application {
type Context = Context<'a, 'b>;
fn update(&mut self, context: Context<'a, 'b>) {
}
}
Error:
src/main.rs:62:6: 62:8 error: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates [E0207]
src/main.rs:62 impl<'a, 'b> UpdateWithContext for Application {
^~
src/main.rs:62:6: 62:8 help: run `rustc --explain E0207` to see a detailed explanation
src/main.rs:62:10: 62:12 error: the lifetime parameter `'b` is not constrained by the impl trait, self type, or predicates [E0207]
src/main.rs:62 impl<'a, 'b> UpdateWithContext for Application {
^~
impl UpdateWithContext for Application {
type Context = for<'a, 'b> Context<'a, 'b>;
fn update<'a, 'b>(&mut self, context: Context<'a, 'b>) {
}
}
Error:
src/main.rs:63:32: 63:47 error: `Context` is not a trait [E0404]
src/main.rs:63 type Context = for<'a, 'b> Context<'a, 'b>;
^~~~~~~~~~~~~~~
impl<'a, 'b> UpdateWithContext<Context=Context<'a, 'b>> for Application {
fn update(&mut self, context: Context<'a, 'b>) {
}
}
Error:
src/main.rs:62:32: 62:55 error: associated type bindings are not allowed here [E0229]
src/main.rs:62 impl<'a, 'b> UpdateWithContext<Context=Context<'a, 'b>> for Application {
^~~~~~~~~~~~~~~~~~~~~~~