feat: make Option.decidableEqNone coherent with Option.instDecidableEq
#27350
Loading
Option.decidableEqNone coherent with Option.instDecidableEq
#27350