Perfect type switch and assertion description