On 05/05/2015 09:17 PM, Jason Merrill wrote: > ::= U <source-name> <type> [ <template-args> ] Or, rather, ::= U <source-name> [<template-args>] <type> I've submitted a pull request for this change. Jason