On 10/03/2013 07:42 PM, Paolo Carlini wrote:
My point is that do_range_for_auto_deduction is called only by cp_parser_range_for and *only* when type_dependent_expression_p is *false* for the range_expr.
Aha.
Now, is it possible that in a range-based for-statement with such a range_expr, begin_expr and end_expr are nevertheless type-dependent?
Well, the permerror is saying that with -fpermissive we'll do the lookup again at instantiation time, so a testcase that declares begin/end between the template and the instantiation ought to work?
Jason