1// { dg-do assemble  }
2
3template <class T1, class T2>
4struct ComputeBinaryType
5{
6};
7
8template<class T1>
9struct ComputeBinaryType<T1, double> {
10  void g();
11};
12
13template<class T1>
14struct ComputeBinaryType<T1&, double> {
15  void h();
16};
17
18void f()
19{
20  ComputeBinaryType<double, double> cb;
21  cb.g();
22}
23