Lasse R.H. Nielsen

The `final` keyword is too long

89

It's inconvenient that declaring final variables require more typing than non-final variables. This discourages the use of final variables. Even with inferred types, it's shorter, and if you want to...

Resolution rules for nested parts with imports

3

This is an attempt to specify how nested part files with imports, and parent file import inheritance, should work. This assumes that part files can contain import, export and part...

Are library cycles/compilation units visible to macros?

1

Macros are run at a time when not all declarations exist, because some have yet to be introduced by macros. That means that any identifier that is being resolved by...

Make macro implementation code spearately compilable with its own version solve

1

Currently macros are Pub dependencies like any other. That, among other things, mean that their dependencies are the same as the dependencies of the user package. If both depend on...

A more intentional and query-like API for macro source introspection

9

The current API for introspecting the source of the code that the macro is generating augmentations for, is fairly coarse-grained. The [example](https://github.com/jakemac53/macros_example) requests all methods from a class, then manually...

Interface default methods

20

See more detailed proposal here: https://github.com/dart-lang/language/blob/master/working/0884/interface_default_methods_proposal.md Adding new members to an interface is a breaking change in Dart, for several reasons. One reason is that a subclass might already implement...

Switch elements - switches in collections, like `if` and `for`

7

The [patterns proposal](https://github.com/dart-lang/language/blob/master/working/0546-patterns/patterns-feature-specification.md#switch-expression) includes an expression switch. It would likely be very useful to allow it as an "element switch" as well, so that it can be used in collection...

Implicit coercion through implicit constructors.

8

Dart has implicit coercion only in very few cases: Implicit `call`-tearoff, implicit generic instantiation, and (arguably) implicit downcast from `dynamic` (which doesn't coerce anything, the value doesn't change). A fairly...

Type literals in switch cases are confusing.

22

When you start switching over sealed type hierarchies, it's incredibly easy to write: ```dart case TheType: .... ``` when you mean to do a type check for `TheType`. Instead it...

Allow patterns matching in conditional expression condition.

3

We allow `if (e case p when e) ...` as statements and elements, but not in as expressions, where conditional branching uses the `?`/`:` operator. I suggest we allow it,...