Leaf Petersen

cc @stereotype441 Am I correct that this is one of the cases that would be handled if we explicitly track the "nonNull" sets?

> What are the rules you have in mind for when `?.` causes promotion on the receiver and when it doesn't? The general principle that I think @matanlurey and @rakudrama...

@stereotype441 How much work is this (either as a general feature, or to hit just the `b ?? false` case)? Given that this hits some common recommended patterns I'd be...

> ```dart > ```dart > var record = ("str", 3); > var i = isTuesday ? 0 : 1; > var field = record[i]; > ``` > > > What...

> > This ends up being a lot more complicated than it might seem on the surface, and its a major sticking point. For the current macro proposal we have...

> @leafpetersen @munificent @lrhn – should be moved to the language repo? yes, thanks.

This seems reasonable, but I do wonder a bit how clear it is where to draw the line for inferring the field name. For example, presumably `case (:var (a, b))`...

> They caused some disagreement around whether a unary record is isomorphic to its field or not. Likewise, is the zero-length record `null`, or something different? I think the answer...

See also previous discussion [here](https://github.com/dart-lang/language/issues/1301). Apparently I've started to repeat myself. And say the same thing multiple times as well.

cc @mit-mit @lrhn @eernstg @chloestefantsova @johnniwinther @munificent @stereotype441 @natebosch @jakemac53 @rakudrama @srujzs @sigmundch @rileyporter