1 // { dg-prune-output "mangled name" }
2 class a {} a1;
b()3 template <a & p> class b { public: b() { static_cast <a &> (p); } };
main()4 int main() { b <a1> b1; }
5