12887Salundbladtemplate <class> struct A { static const int n = 1; } ;
23890Sdarcytemplate <int> struct B;
32887Salundblad
42887Salundbladtemplate <class S>
52887Salundbladstruct restype_order {
62887Salundblad    static const int s = A<S>::n;
72887Salundblad    typedef typename B<(s > 0)>::t t;
82887Salundblad};
92887Salundblad