add regression test for pattern match on path-dependent type#17001

dwijnand merged 1 commit intoscala:mainscala/scala3:mainfrom

SethTisue:pr-16827-followupCopy head branch name to clipboard