Thank you for filing! Check list:
Here's a relative small example (one type, one function with one/two-nested switch) that won't compile
If you delete any top-level switch branch from ^, it'll compile without the stack overflow/hanging issue, albeit it may be quite slow.
Here's an example of one branch deleted and compiling, albeit very slowly and using a lot of CPU