Leaf Petersen

Consider adding `isTypeError` and possibly deprecating `isCastError`?

5

`CastError` is [deprecated](https://github.com/dart-lang/sdk/issues/40763) and all implementations will start throwing an implementation object that implements `TypeError` instead. Consider adding a matcher `isTypeError`, and possibly deprecating `isCastError` as well?

From discussion in another bug, here is a sketch of how top level inference should work. We need to turn this into an informal, and then formal, specification. - Mark...

Are import shorthands worth the cost in readability/cognitive load?

114

Reading the import shorthand [proposal](https://github.com/dart-lang/language/blob/master/working/0649%20-%20Import%20shorthand/proposal.md), I am struck at the level of complexity for a user that this is introducing. Consider this text: ``` Examples: - `import built_value;` means `import...

Least upper bound can produce malbounded types.

2

Noting in passing for future consideration. Not a soundness issue, since we already allow generic arguments to violate their bounds in types, but an unpleasantness. Example below demonstrates the issue:...

Currently the class runtime type (Type) is set by a call to dart.tag inside of dart.setSignature. We don't emit calls to dart.setSignature if there are no members in the class,...

Currently we tag classes with their signature after they have been produced. I believe that it would be not too hard to emit the signature metadata directly onto the class,...

[Patterns] Should List and/or Map patterns be considered for exhaustiveness?

13

The patterns proposal lists a small set of types which are considered for exhaustiveness: ``` bool Null A enum type A type whose declaration is marked sealed T? where T...