Hi,
We should already reject that because it isn't a constant expression;
I don't think we want to bother checking specifically for this case in
the parser as well.
Sure we reject this kind of code at instantiation time. I suspect
submitter bothered filing a PR because other front-end also enforce the
check in the parser, eg, EDG, but certainly I don't have a strong opinion.
Perhaps we aren't checking default arguments unless they're actually
used; a could change that if they aren't dependent.
Your reply reached the mailing list a bit mangled, could you please clarify?
Thanks!
Paolo.
