// Test non-type template argument folding.// Origin: smacdonald@seimac.com// { dg-do compile }template < int I1, int I2 >class unit{public:  unit() {}  unit( const unit<I1,I2>& ) {}   template< int Q1, int Q2 >  unit< I1 - Q1, I2 - Q2 > operator / ( const unit< Q1, Q2 >& rhs ) const {    return unit< I1 - Q1, I2 - Q2 >();  } }; int main(){  const unit<1,0> u1;  const unit<2,0> u2;   unit<-1,0> u3( u1 / u2 );}