Erik Ernst

@lrhn, as far as I can see you're the only one who does not support specifying that Dart source code must be UTF-8 encoded. Is this an overinterpretation? If we...

The subtype relationship may be more convenient, to such an extent that it matters: ```dart extension struct Node(JSObject that) {...} extension struct Element(JSObject that) extends Node(that) {...} void f(List nodes)...

Could you make the same point using a self-contained example?

OK, the issue seems to be that you're using a formal parameter default value to obtain an object using `const _UpdatableNotDownloaded()` in the constructor of `MyClass`. A default value must...

The dynamic error occurs because the type parameter of `Updatable` is dynamically checked covariant, that is: `Updatable` is a subtype of `Updatable` whenever `S` is a subtype of `T`, and...

`class C {...}` could enforce the property that class `C` has a type argument which is a tuple type, and that might be useful from a conceptual point of view...

> If `Record` is a (proper) supertype of `Object?` .. Then the test `r is Record` is indeed useless, so we don't need the type `Record` in the first place....

> Dart disallows such conflicts We actually removed that error in 14fcda2457501e6712ea6e25b37cbc592b5f6ba2, July 2020. Of course, this means that library names are _only_ useful for code using mirrors, which makes...

Yes, a view (as currently proposed) may have an `extends` clause, which allows the view to reuse members of other views as long as the on-type of the current view...

@jodinathan wrote: > could views statically implement a class and be returned from a method? Yes, if you box it. Here's a more detailed story, saying the same thing: A...