https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88115
--- Comment #7 from James Y Knight <foom at fuhm dot net> --- I've created an ABI proposal against itanium abi, here: https://github.com/itanium-cxx-abi/cxx-abi/issues/112 I realized since writing my last comment here that <type> ::= u <source-name> [<template-args>] # vendor extended type has been added a few months ago. Therefore, nothing needs to be added to support extended expressions as <type>. And, therefore, since 'u' is also free in expression, I've proposed to simply add the same 'u' syntax to "expression", rather than using "Y", as per previous comment. That is: <expression> ::= u <source-name> [<template-args>] # vendor extended expression