编译器是否需要诊断模板中的语言语法冲突？

问：

[temp.res.general] 中有一个让我感到困惑的例子：

template<class T> class X {
  // ...
  void g(T t) {
    +;              // may be diagnosed even if X​::​g is not instantiated
  }
};

“可能”一词表示允许编译器进行诊断，但是，它不是必需的。据我所知，是无效的C++语法。+;+;

如果需要，证明它的措辞在哪里？如果不是，你能走多远？

void g(T t) {
    +(()=/)(/)§(/)(/)/=)$§/%)=§(/&%=)§/(%)=§/%§;  // diagnostic required?
    }}}}}}}}}}}}}}}}}}}};                         // diagnostic required?
}

似乎编译器必须匹配大括号才能知道语法错误是发生在模板内部还是外部。这就引出了另外两个问题：

1. 语法错误是否只是一般的 IFNDR，而不仅仅是模板中的语法错误？
2. 是否有任何措辞说必须进行大括号匹配？

澄清

通过“违反语言语法”组合标记，以违反语言语法规则的方式组合标记，因为标记序列无法形成 C++ 翻译单元。

+;与 C++ 语法中的任何规则都不匹配，即使它直接或间接位于模板中，也可能需要对其进行诊断......是吗？