1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// { dg-do compile } struct Solvable; namespace sat { class Solvable { public: typedef bool bool_type; }; } class Resolvable : public sat::Solvable { public: using sat::Solvable::bool_type; };