I'm a bit puzzled with this piece of code below
(source : https://github.com/rust-lang/miri/blob/master/src/helpers.rs#L16-L18)
I have two questions regarding line 18..
'tcxare lifetime parameters, what does
'tcx: 'mirmean?? Can lifetime parameters work like trait bounds??
- 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