Permits assignment to occur conditionally within a `a?.b` or `a?[b]` expression. // M() is only executed if 'a' is non-null. // note: the value of 'a.b' doesn't affect whether things are evaluated ...