PR32185: Revert r291512 and add a testcase for PR32185.
This reverts an attempt to check that types match when matching a dependently-typed non-type template parameter. (This comes up when matching the parameters of a template template parameter against the parameters of a template template argument.) The matching rules here are murky at best. Our behavior after this revert is definitely wrong for certain C++17 features (for 'auto' template parameter types within the parameter list of a template template argument in particular), but our behavior before this revert is wrong for some pre-existing testcases, so reverting to our prior behavior seems like our best option. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@300262 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- lib/Sema/SemaTemplate.cpp 19 additions, 19 deletionslib/Sema/SemaTemplate.cpp
- test/Modules/cxx-templates.cpp 8 additions, 2 deletionstest/Modules/cxx-templates.cpp
- test/SemaCXX/cxx1z-class-template-argument-deduction.cpp 6 additions, 12 deletionstest/SemaCXX/cxx1z-class-template-argument-deduction.cpp
- test/SemaTemplate/deduction.cpp 3 additions, 4 deletionstest/SemaTemplate/deduction.cpp
- test/SemaTemplate/temp_arg_template.cpp 38 additions, 3 deletionstest/SemaTemplate/temp_arg_template.cpp
- test/SemaTemplate/temp_arg_template_cxx1z.cpp 9 additions, 9 deletionstest/SemaTemplate/temp_arg_template_cxx1z.cpp
Loading
Please register or sign in to comment