On 05/01/2012 04:06 PM, Paolo Carlini wrote:
Hmm, this preexisting code seems to assume that any type-dependent expression must include a direct use of a template parameter, but it might just have a declaration with dependent type. We should also test any_p/check_types, and this should apply to all expressions, not just these.
I'm not 100% sure to understand the last two comments.
I mean if (check_types && !fn && !TYPE_P (t) && TREE_TYPE (t) == NULL_TREE) return error_mark_node. instead of any cases for expressions. Jason
