Local fix

N/A

Problem summary

PROBLEM DESCRIPTION:
The compiler was not unwinding a typedef causing a mismatch on
an argument and non-type parameter.
USERS AFFECTED:
The problem is specific to template dependent non-type template
parameters instantiated with a typedef. The compiler may emit
a message that the argument is not valid.