[Bug c++/16174] [3.4/3.5 Regression] deducing top-level consts

[nathan at gcc dot gnu dot org]

------- Additional Comments From nathan at gcc dot gnu dot org  2004-06-24 12:39 -------
This is a SFINAE failure. we deduce a call requiring a complete A<const K<int>>
in a non-deduced context (the default parameter).  We then do the final
tsubst of the function type, to make sure no bad tstubsting is happening,
but don't propagate the 'do not complain' flag to complete_type.

I suspect my recent patches have fixed a bug where we didn't get as far as we
do now.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16174