17 lines · cpp
1// RUN: %clang_cc1 -std=c++20 -verify %s -o -2 3struct empty {};4struct metre : empty { };5struct second : empty { };6template<auto, auto> struct divided_units : empty { };7template<auto> struct quantity { }; // #QUANT8 9void use() {10 quantity<divided_units<metre{}, second{}>{}> q{};11 quantity<metre{}> q2 = q;12 // expected-error@-1 {{no viable conversion from 'quantity<divided_units<metre{}, second{}>{{}}>' to 'quantity<metre{{}}>'}}13 // expected-note@#QUANT {{candidate constructor (the implicit copy constructor) not viable: no known conversion from 'quantity<divided_units<metre{}, second{}>{}>' to 'const quantity<metre{{}}> &' for 1st argument}}14 // expected-note@#QUANT {{candidate constructor (the implicit move constructor) not viable: no known conversion from 'quantity<divided_units<metre{}, second{}>{}>' to 'quantity<metre{{}}> &&' for 1st argument}}15}16 17