This is the next turn of the crank on #5529. Permit a file modifier on top-level type declarations. The type only exists in the file where it is declared. // File1.cs namespace NS; file class Widge...