[Accepted] SE-0249: Key Paths Expressions as Functions

No, I don't think we would expect SE-0042 to change dynamic semantics, just type-system behavior.