debug symbols should always use the fully qualified names for template arguments
Merge pull request #4050 from rainers/issue_13583

Fix Issue 13583: Inconsistent naming of template arguments in debug symbols