SE-0347: Type inference from default expressions

[Douglas_Gregor]

Thanks, everyone, the Core Team has discussed this proposal and has decided to accept.

@xwu

I continue to think that the "Introduction" section is extremely difficult to parse. However, having read the remainder of the proposal as it now stands, I feel I have a pretty good grasp of what's going on and appreciate the effort made to explain the feature.

The author will work on the introduction section so this proposal is easier to understand for future readers, thank you for pointing this out.

Doug