const_evaluatable_checked: deal with unused nodes + div#78272
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 25, 2020
Merged
const_evaluatable_checked: deal with unused nodes + div#78272bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Oct 23, 2020
- committed
- committed