Currently there's no way in the ABI to mangle something like decltype(fn<args>()) because mangling is only specified for a qualified template-id. Handling this just as unqualified-name template-args seems to work fine; any reason not to just add that to expression? We also need to support a plain identifier for overloaded functions. Jason