as BoundConversion

Is as BoundConversion necessary? What else might this be other than a BoundConversion or null?

The other possibility is that it is a BoundPlaceholder, which to me didn't make sense to visit as if the operand is really being operated on by that placeholder. However, I don't think I tested to see what happens when we remove the as BoundConversion.

nit: No test is affected by the removal of as BoundConversion. It'd be good to hunt one down.

Opened #70751 to try and find a scenario which could be used as a starting point. I probably will not block the PR on it, though.

Debug.Assert(MakeSlot(node) == -1);

Just curious: Why assert this?

I wanted to indicate that the value stored in the LHS of the compound-assignment effectively drops any "sub-slot" information in either operand of the compound-assignment, i.e. the nullable state of fields of the operands. Showing that the entire compound-assignment never has a slot felt useful. See test CompoundAssignment_SubSlots.

In that case, shouldn't the assert use node.Left rather than node? (I don't think we ever create slots for binary operators.)

A regular assignment can have a slot.

It's possible a compound assignment should have a slot for the same reason but I feel comfortable punting on it.

https://sharplab.io/#v2:CYLg1APgAgTAjAWAFBQMwAJboMLoN7LpGYZQAs6AsgBRRwAMA/OgB4A0mDzAnh3U+gBeASnyFiEgJYAzdNWot0AXnTdRAQhUA7AK4AbPaJYA6ACoB7AMoAXAE6StAc2rCA3OIlETFm/acv3JAkAX2RgoA===

#65546

70646?

}

Should we test the following as well?

class C
{
    public string f1, f2, f3;
}
C c1 = new() { f1 = null, f2 = null }; // 1, 2
C c2 = new() { f1 = null, f3 = null }; // 3, 4
c1 += c2;
c1.f1.ToString();
c1.f2.ToString();
c1.f3.ToString();