/*
TEST_OUTPUT:
---
fail_compilation/ice13788.d(11): Error: pragma `mangle` - string expected for mangled name
fail_compilation/ice13788.d(12): Error: `string` expected for mangled name, not `(1)` of type `int`
fail_compilation/ice13788.d(13): Error: pragma `mangle` - zero-length string not allowed for mangled name
fail_compilation/ice13788.d(14): Error: pragma `mangle` - mangled name characters can only be of type `char`
---
*/

pragma(mangle) void f1();
pragma(mangle, 1) void f2();
pragma(mangle, "") void f3();
pragma(mangle, "a"w) void f4();