diag for partial spec after instantiation has been changed.