Remove a bunch of assume()s which are now always true.#1280
Merged
The logs for this run have expired and are no longer available.
Loading
assume()s which are now always true.#1280