https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125578
--- Comment #1 from Neil Carlson <neil.n.carlson at gmail dot com> --- The first example seems to be a duplicate of PR 104900, which is missing from the PDT meta bug. In the second example, changing the dummy argument to "type(...)" gives the correct results, so the error is associated with polymorphism.
