fn is_mutex_kind_normal<'mir, 'tcx: 'mir>( ecx: &MiriInterpCx<'mir, 'tcx>, kind: i32 ) -> InterpResult<'tcx, bool>