Code

[WIP] Fix evaluation overflow#53687

Code

Closed

GuillaumeGomez wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:predicate_may_hold-failureGuillaumeGomez/rust:predicate_may_hold-failureCopy head branch name to clipboard

Commits

Commits on Aug 28, 2018

• Replace bug! call with Overflow

  GuillaumeGomez

  committed
  632f9c4

  Copy full SHA for 632f9c4