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