> Back when we added C++11 auto deduction, I thought we could shortcut the > normal deduction in some templates, when the type is adequately > describable (thus the late, unlamented function describable_type). Over > time various problems with this have arisen, of which this is the most > recent; as a result, I'm giving up the attempt as a bad idea and just > deferring auto deduction if the initializer is type-dependent. > ...
This has caused http://gcc.gnu.org/ml/gcc-patches/2012-06/msg00085.html Dominique