trait EvalContextExtPriv<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
// Provided method
fn init_once_get_id(
&mut self,
init_once_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, InitOnceId> { ... }
}
trait EvalContextExtPriv<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
// Provided method
fn init_once_get_id(
&mut self,
init_once_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, InitOnceId> { ... }
}