To analyze Python programs precisely, type checkers need to know when two classes can and cannot have a common child class. However, the information necessary to determine this is not currently part of the type system. This PEP adds a new decorator, @typing.solid_base, that indicates that a class is a “solid base”. Two classes that have distinct, unrelated solid bases cannot have a common child class.