diff options
| author | Matheus Izvekov <mizvekov@gmail.com> | 2021-11-13 00:40:18 +0100 |
|---|---|---|
| committer | Matheus Izvekov <mizvekov@gmail.com> | 2021-11-13 03:35:22 +0100 |
| commit | 4d8fff477e024698facd89741cc6cf996708d598 (patch) | |
| tree | b4f0267d56aaf05e1c994bfc4c9caede3f0509d5 /llvm/unittests/Support/ErrorTest.cpp | |
| parent | e49fcfc7cdf82e41f15a857083c0fb275c1b6021 (diff) | |
| download | llvm-4d8fff477e024698facd89741cc6cf996708d598.zip llvm-4d8fff477e024698facd89741cc6cf996708d598.tar.gz llvm-4d8fff477e024698facd89741cc6cf996708d598.tar.bz2 | |
[clang] retain type sugar in auto / template argument deduction
This implements the following changes:
* AutoType retains sugared deduced-as-type.
* Template argument deduction machinery analyses the sugared type all the way
down. It would previously lose the sugar on first recursion.
* Undeduced AutoType will be properly canonicalized, including the constraint
template arguments.
* Remove the decltype node created from the decltype(auto) deduction.
As a result, we start seeing sugared types in a lot more test cases,
including some which showed very unfriendly `type-parameter-*-*` types.
Signed-off-by: Matheus Izvekov <mizvekov@gmail.com>
Reviewed By: rsmith
Differential Revision: https://reviews.llvm.org/D110216
Diffstat (limited to 'llvm/unittests/Support/ErrorTest.cpp')
0 files changed, 0 insertions, 0 deletions