Impl foo for bar {}; trait foo : bar { ... }

[lonelyjoey1905]

Hello Rustaceans,

I'm a bit puzzled with this piece of code below
(source : miri/helpers.rs at master · rust-lang/miri · GitHub)

I have two questions regarding line 18..

1. Assuming 'mir and 'tcx are lifetime parameters, what does 'tcx: 'mir mean?? Can lifetime parameters work like trait bounds??
2. What does crate::MiriEvalContextExt<'mir, 'tcx> do in line 18?? What does it mean to have something after a trait name and a colon?? I

I still feel that I have a long way to go to even properly appreciate Rust code..
Any help would be appreciated! Thanks

[lonelyjoey1905]

I think I may have just come up with an answer to my second question :
inheritance
https://doc.rust-lang.org/1.8.0/book/traits.html#inheritance

[RustyYato]

@lonelyjoey1905

Assuming 'mir and 'tcx are lifetime parameters, what does 'tcx: 'mir mean?? Can lifetime parameters work like trait bounds??

This specifies that lifetime 'tcx must live at least as long as lifetime 'mir

@lonelyjoey1905

What does crate::MiriEvalContextExt<'mir, 'tcx> do in line 18?? What does it mean to have something after a trait name and a colon?? I

This specifies that any implementation of EvalContextExt must also implement crate::MiriEvalContextExt for the give lifetime parameters, it is just syntactic sugar for

trait EvalContextExt<'mir, 'tcx: 'mir> where Self: MiriEvalContextExt<'mir, tcx> {
   // ...
}