1507.md

Exception: Nested types should be part of the same file.

Exception: Types that only differ by their number of generic type parameters should be part of the same file.