miri
1.79.0-beta.3
(f5d04caa7 2024-05-03)
EvalContextExt
Implementors
In miri::shims::env
?
Settings
Trait
miri
::
shims
::
env
::
EvalContextExt
Copy item path
source
·
[
−
]
pub trait EvalContextExt<'mir, 'tcx: 'mir>:
MiriInterpCxExt
<'mir, 'tcx> { }
Implementors
§
source
§
impl<'mir, 'tcx: 'mir>
EvalContextExt
<'mir, 'tcx> for
MiriInterpCx
<'mir, 'tcx>