[C++ Patch/RFC] PR 71569 ("[6/7/8 regression] Crash: External definition of template member from template struct")

[Paolo Carlini <paolo dot carlini at oracle dot com>]

Hi,

in this P2 ICE on invalid we fail to diagnose an ill-formed variable 
template partial specialization and the assert at the beginning of 
determine_specialization triggers. Indeed, we didn't diagnose the 
problem via check_specialization_scope (there are no template <>, thus 
begin_specialization isn't involved). Simply adding a specific check to 
check_explicit_specialization exactly when we recognize a variable 
template partial specialization seems a safe thing to do and passes 
testing. Not sure if the test itself is as simple as possible or is 
better done somewhere else...

Thanks, Paolo.

//////////////////////

Attachment: patch_71569
Description: Text document