On 01/06/2015 05:01 PM, Jason Merrill wrote:
We were complaining about IsType<T> not being constant, but we shouldn't think about it having a constant value or not, because it is type-dependent; a variable template can have a specialization with a different type.
The second patch fixes a diagnostic issue I noticed while working on the above patch: we should say something helpful when someone writes :: after a variable template-id.
Jason
