[Bug c++/82266] New: [DR150] Allowing more specialized argument than parameter for placeholder

[barry.revzin at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82266

            Bug ID: 82266
           Summary: [DR150] Allowing more specialized argument than
                    parameter for placeholder
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: barry.revzin at gmail dot com
  Target Milestone: ---

This example compiles:

template <template <auto> class P> struct X { };
template <auto*> struct A { };

int main() {
    X<A>();
}

But here, A is more specialized than the P, so it doesn't fit the new criteria
in p0522.