Add regression test for issue #113941 - naive layout isn't refined#113957

Merged

bors merged 1 commit intorust-lang:masterfrom

Urgau:regression-test-issue-113941

Jul 22, 2023

Commits on Jul 22, 2023

Add regression test for issue #113941 - naive layout isn't refined
Urgau
committed