https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109169
Bug ID: 109169
Summary: Feature request: Allow omitted template prompts
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: steve_green at qq dot com
Target Milestone: ---
I have a third party library that has this write up
```c++
template<class T>
template struct type_info_t{
//...
template<class U>
static constexpr bool can_convert_to=XXX;
//...
}
template<class T>
constexpr type_info_t<T>type_info{};
```
Since msvc supports such writes, the form of `type_info<T>.can_convert_to<U>`,
`compare.able<T>`, `invoke<F>.nothrow<Args... >` are written throughout the
project.
Although this is not the standard way of writing, I would expect gcc to support
such code.
