The definition of strong structural equality is used only in [temp.param]. Proposed change: Move it to [temp.param]