Your code is being accepted without any warnings because the original C++11 restriction is considered a defect in the standard, which allows implementations to fix the behavior. See CWG DR975, DR1048 and N3638. 975. Restrictions on return type deduction for lambdas [Moved to DR status at the April, 2013 meeting as part of paper N3638.] … Read more
Quoting cplusplus.com, Note that neither typedef nor using create new distinct data types. They only create synonyms of existing types. That means that the type of myword above, declared with type WORD, can as well be considered of type unsigned int; it does not really matter, since both are actually referring to the same type. … Read more
To make long story short: a braced initializer expression {} has no type by itself auto has to infer type information int{3} obviously means “create an int var with value taken from initializer list”, thus its type is just int and can be used in any wider context (int i = int{3} will work and … Read more