Fix panic due to non-total ordering in Area::compare_order()
#4061
Job | Run time |
---|---|
4s | |
5s | |
9s |
Area::compare_order()
#4061
Job | Run time |
---|---|
4s | |
5s | |
9s |