Fix missing case in isSubspace, which broke reachablility#18326

dwijnand merged 1 commit intoscala:mainscala/scala3:mainfrom

dwijnand:unreachable-single-childdwijnand/scala3:unreachable-single-childCopy head branch name to clipboard