typemin divided by negative 1 is an error

[oscardssmith]

fixes #49398

[oscardssmith]

failing tests were added by #47995

[Seelengrab]

Which of these is the unintended behavior?

julia> div(typemin(Int8), Int8(-1))
ERROR: DivideError: integer division error
Stacktrace:
 [1] div(x::Int8, y::Int8)
   @ Base ./int.jl:295
 [2] top-level scope
   @ REPL[2]:1

julia> div(typemin(Int8), Base.MultiplicativeInverses.multiplicativeinverse(typemin(Int8)))
1

[oscardssmith]

did you mean

julia> div(typemin(Int8), Base.multiplicativeinverse(Int8(-1)))
-128

[Seelengrab]

Ah, yes! My question is whether div on a multiplicativeinverse there should error as well, or whether that explicitly should not error.