test: add in regression test for #5700#17472

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

ckipp01:5700-regressionckipp01/dotty:5700-regressionCopy head branch name to clipboard