Lasse R.H. Nielsen

That matches what I see. Including not being able to augment the body of an external variable, which makes sense when we say that `external int x;` is really shorthand...

Looks closable to me!

For annotation introspection, I'd prefer a somewhat powerful feature, recognizing at least all literals+collections+const constructor invocations as values, with type arguments. That should allow for reasonable _typed_ tree structures. If...

From a language perspective, what happens before running macros is not Dart evaluation. It's some approximation that the tools do on an incomplete Dart program (which means it's *not* a...

I'd like to use the same inspection on the macro application annotation that is used to inspect on other annotations. (It's not "introspection" that one program inspects the source of...

> Also semantically, I am not sure it would be correct to describe a method which has no body, but also whose surrounding class is not marked as abstract, as...

The `for` should work too. It's a little crowded syntactically, and it's not completely clear whether any bound variables are in scope for the increment-expressions or not. Still, the check...

In general, we do promote in some cases where the type is not statically a subtype, when we introduce type variable intersection types: ```dart void foo(List values) { var value...

It's still the case that `FooImpl` is not a subtype of `Foo`. We may deduce that `T` must have a value such that it's the case, but we are not...

Just hit this one again: ```dart ListSlice slice(int start, [int? end]) { end = RangeError.checkValidRange(start, end, length); var self = this; if (self is ListSlice) return self.slice(start, end); // should...