Joe4evr

The way I see it, your issue is thinking that you need introspection in the first place, when you can simply run docfx over your project and get all the...

As a prime example: Ask Jon Skeet about the Mongolian Vowel Separator. :upside_down_face:

> If non-nullable reference types are introduced, then for a non-nullable class, `C`, what would you expect the result of `default(S)` to be? "Zero-filled" `null`? That seems broken to me...

Even then, all other languages I heard about that have non-nullable classes have it so you specify whether or not `null` is an accepted value at the use-site, not at...

💭 There should be an error on the *declaration* of the alias at least ([currently not the case](https://sharplab.io/#v2:EYLgtghglgdgNAFxANwKYCcoDMCeAfAAQCYBGAWAChKCAGAAgGUB7MVAERxgjCgGMBBADZQIAZzoBeRi1QAeACadufAHwBuavWasAct1TyAKgFcADoNRCR4qdrkAKWAjoANOHSd0AmgEp1lSgBtOw4uHgFhMQBdOljYgHp4uhgmOgx0JnQ6YGNnUQALJmNBeWzUILs9ViMzCytohKSUtPQMrJy8wuLS4HKKROCZBSVwlRi4icSWtsoBu1lHGGc3DyXvPxip9MzqAGY6YjoAYUoAbwnKAF8AikD+BARMDtQAVVEIAHNUe3vHqGfDBB0F8EKIAHRCQTuSFMADuAFliggoOZUJI6I9jKgfFFqERpKxZIYVHQQHRfk9cn1znQrkA)). Not sure how much added value there is to report again on...

I suggested this [in the thread about the Lock type](https://github.com/dotnet/runtime/issues/34812#issuecomment-1458207727) but what if pattern-based locking is done with `using lock`? This would be an error if the supplied object doesn't...

Namedropping CS0748 here because otherwise this issue is too hard to find.

> And the rest of the cases would better be handled by some sort of IL optimizer tool that outlines throw blocks. And that would fall under dotnet/roslyn#15929.

> The compiler should provide a way to indicate that a given method will always throw and indicate what it will throw. Not all methods that don't return properly are...

> My personal preference is that we limit this to the case where `T` is itself known to be an array-type. I feel on the fence about this. * On...