trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
// Provided method
fn os_unfair_lock_getid(
&mut self,
lock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, MutexId> { ... }
}
trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
// Provided method
fn os_unfair_lock_getid(
&mut self,
lock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, MutexId> { ... }
}