Python 3.15ではより正確な型チェックが可能に（なる予定）　PEP 800で導入される非交和基底とは？

Pylanceは先ほどのコードは到達不可能とは見なしていないようだ