In some cases a test around Never could mark too many statements after it as unreachable

Author: davidhalter

conformance/tests/constructors_call_metaclass.py

@@ -20,7 +20,10 @@ def __new__(cls, x: int) -> Self:
         return super().__new__(cls)
 
 
-assert_type(Class1(), NoReturn)
+# This needs to be in a separate scope, because some type checkers might mark
+# the statements after it as unreachable.
+if bool():
+    assert_type(Class1(), NoReturn)
 
 
 class Meta2(type):