Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #141651 - compiler-errors:less-assert, r=lcnr
Make some assertions in solver into debug assertions
These may or may not be expensive :>
r? lcnr
