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