unsafe-deep-dive: replace may_overflow with a real safety precondition - #3244
Open
rmyndharis wants to merge 1 commit into
Open
unsafe-deep-dive: replace may_overflow with a real safety precondition#3244rmyndharis wants to merge 1 commit into
rmyndharis wants to merge 1 commit into
