Commits

Slava Pestov committed 7b6736df29a
Sema: When validating a nested type, only validate the parent, do not type check it There's no need to walk the siblings of the nested type. This fixes a class of infinite recursion issues when inheriting from nested types.