> On Jan 11, 2017, at 9:41 AM, Alexey Proskuryakov <ap at webkit.org> wrote: > > In a way, these are read-time assertions. Exactly. A type name is a read-time assertion of the specific type that a variable has and “auto” is a read-time assertion that the type of the variable is the same as the type of the expression on the right. — Darin