tree fae2f2ad95f37b8fdf235913a342d5fabf80be50
parent 7f6e160875f375bb71d1ae761cb5cab8f0b02e19
author Nicholas Nethercote <nnethercote@mozilla.com> 1568702901 +1000
committer Nicholas Nethercote <nnethercote@mozilla.com> 1568838911 +1000

Use explicit iteration instead of `all()` in `process_obligation()`.

Amazingly enough, this is a 3.5% instruction count win on `keccak`.