> On Jan 11, 2017, at 9:41 AM, Alexey Proskuryakov <a...@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 _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev