Patrice Chalin

Interesting diagrams. I'd suggest changing the direction of most arrows so that they point in the direction of a standard class/object diagram dependency relation: e.g. - app.component.ts --> hero.service.ts -...

@alexwolfe - ETA? cc @ericjim @kwalrath

Ah, it seems that the thrashing has been considerably reduced; e.g., visit and refresh https://angular.io/guide/dependency-injection. The main problem that existed _before_ was that the newlines in the code excerpts were...

@kwalrath : actually, my intention was to remove that phrase fragment (done).

As a prefix it corresponds to the position where metadata annotations appear. It also reads more naturally in that position: ?int is "nullable int" and "!T" is "non-null T". No...

Lol. Very interesting way of reading the postfix qualifiers!

Right, this seems like an excellent opportunity! I refactored the `_Anything` class and added (f134164270d6c6d5f559ff1b911473ece5da0afc) its definition to the proposal (see [B.2.1](https://github.com/chalin/DEP-non-null/blob/master/doc/dep-non-null-AUTOGENERATED-DO-NOT-EDIT.md#new-root)): ``` dart abstract class _Anything { const _Anything();...

Also: I know that this is not possible currently, but it would be nice if we could say that `Null` was defined as an `enum` (since that is effectively what...

Thank you for the feedback. The new case for > ?U ⟺ S **iff** Null ⟺ S ∨ U ⟺ S. applies only when S is _not_ of the form...

> You're trying to define when T S, but the definition you've added doesn't mention S anywhere. Sorry, I was in a Haskell [function-definition-by-cases](http://learnyouahaskell.com/syntax-in-functions#case-expressions) like mindset. I've just dropped T...