Erik Ernst

Consider the following program: ```dart import 'dart:async'; void f(X x) { x.asStream(); // A member from the interface of `Future`. x.whatever; // A non-member of all classes nearby. } void...

Specify null safety: Sections 'Variables' and 'Local Variable Declarations'

3

Leaf and Lasse, I believe you might discuss this PR and decide on whether one of you would give it a review. For now I'm just putting it on github...

Specify that constant expressions of type `Type` and constant type expressions are canonicalized

5

In response to #92, about the use of `==` vs. `identical` to detect that two instances of type `Type` reify the same type, we specify that `Type` instances that constantly...

Add a `parse` static member to each enumerated type

6

Cf. https://github.com/dart-lang/sdk/issues/33244. Thanks to @kevmoo for making this proposal! We can enable a convenient `parse` operation on each enumerated type using the following idiom: ```dart enum E { one, two;...

Specify source code encoding?

9

Thanks to @osa1 for pointing out that the specification may be too vague in this respect! The language specification and other specification documents seem to be essentially silent on the...

Conditional instance members and constructors

11

In response to https://github.com/dart-lang/language/issues/2308, this is a proposal to add support for _conditional instance members_ of classes and mixins, and _conditional constructors_ of classes. The intuitive meaning of such members...

Feature: Statically checked declaration-site variance

88

This is the tracking issue for introducing a statically checked mechanism for declaration-site variance in Dart. Background: The original request motivating this kind of feature is dart-lang/sdk#213; the initial proposal...

Introduce additional primitive members

8

Cf. https://github.com/dart-lang/language/issues/1296#issuecomment-1109428611, https://github.com/dart-lang/language/issues/1296#issuecomment-1110075607. Issue #1296 contains several other comments that are relevant to this discussion, but the topic is separate from that of #1296, so here is an issue where...

Views on an object without a wrapper object

15

Extension methods (#41) can _extend_ the set of instance members of an interface type _T_ with a set of members declared outside of _T_. We may describe this as a...

Specify private override errors

4

Cf. https://github.com/dart-lang/language/issues/2263#issuecomment-1145106457, this PR eliminates the notion of a 'combined interface' from the language specification and clarifies the specification of how to check override errors. The main point in doing...