Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/template/qualttp19.C @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
// { dg-do compile } // Copyright (C) 2001 Free Software Foundation, Inc. // Contributed by Nathan Sidwell 15 Dec 2001 <nathan@codesourcery.com> // PR 2645 template <typename T> struct call_traits { public: typedef T type_less_spec; }; template <typename T> struct call_traits<T&> { typedef T type_more_spec; }; int main() { int num; // Two typedefs lead to the instant. of the less spec. ("wrong") template typedef int& r_type; typedef const r_type cr_type; call_traits<cr_type>::type_less_spec var = num; // { dg-error "" } // The explicit type leads to the instantiation of the "correct" one call_traits<const int&>::type_more_spec var2 = num; // As happen with a single typedef! typedef const int& std_cr_type; call_traits<std_cr_type>::type_more_spec var3 = num; // As happen, indeed, without the cv-qualifier call_traits<r_type>::type_more_spec var4; }