Emit a warning when optimization fuel runs out#72067
Merged
bors merged 1 commit intorust-lang:masterfrom May 12, 2020
jonas-schievink:fuel-warn
Merged
Emit a warning when optimization fuel runs out#72067bors merged 1 commit intorust-lang:masterfrom jonas-schievink:fuel-warn
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:fuel-warn
