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