fn is_mutex_kind_default<'mir, 'tcx: 'mir>(
    ecx: &mut MiriEvalContext<'mir, 'tcx>,
    kind: Scalar<Provenance>
) -> InterpResult<'tcx, bool>