In certain circumstances a typedef name (rather than its definition) is passed as an argument to a mapped type template.
The template_typedef test in SIP v6.13.1 includes a workaround for this (the handwritten code explicitly resolves the typedef name) which should not be necessary.