tree 97277233c0829762f63a2b5ab763c0dc85c8edca
parent 2f40e3e713efb550c05ff5f911ab4ce2e4a8dddf
author Younan Zhang <zyn7109@gmail.com> 1731045897 +0800
committer GitHub <noreply@github.com> 1731045897 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnLaoJCRC1aQ7uu5UhlAAAhL4QAC9iAmb+8cWjHUKPyZ9NgWJD
 1hQnLUflaGaPnoa7uojOhWt4ZFyJlZ6KZKGWurhyFnmnHwzp1AT24Eh7v1e7w91R
 wFXARtjobueIgjr2e9oRVSwd73+NX3P6MfCvvpKmiblGtkvZr7nAt6bZO8GAiNyH
 t+RrWBPWpr9muz9DWocZGGUMB5laNW4DEJzZ38qXE6OCPX9EUJo3riu3X1AilSts
 bRydWMlmj/+VqVfpj3kLywM9cJIxMHEsOdCea9bC5kDh9gd++7f/xDYkPRpKLhOQ
 1vHO6QLxaOHeLJ8SICitfdWJU1IFcLZYxCc3WuhfNqq8BvGHpxNzkmx/AvEl2yLV
 5i6aAC/Ig3EGt8MZSFD0Ssa7wWYu/xY4R4MYq6exD/xhz1fomDneuMawtN7BYDp9
 EJvxU2sXAM1PA7r8KqsRAoyHq5x30VneddyfiPs8RqvSSouhfWPprPDRHSd5Yc4h
 qq+IkfwY9bQ7Q2zjKvALC/J+JLNT/xMo3uo7GM6WMqREnz88uX72WEqkhZS8qYRF
 Law0d0fzJ1H9U/t+ppcqBmgNWmxBxlI5t6sg6yTpRRnIDavIAFPVBYIQ0Zu4BoAs
 YsIDOKCZ14VR/Fj3KmBfDZ6vJ6dZ1YB/iMJ3ngIcbe52JU4DP5IgGgBhTZBoyCl1
 WHgIuoxULpjJQCBs3gSm
 =nxHh
 -----END PGP SIGNATURE-----
 

[Clang] Remove the wrong assumption when rebuilding SizeOfPackExprs for constraint normalization (#115120)

In 463a4f150, we assumed that all the template argument packs are of
size 1 when normalizing a constraint expression because I mistakenly
thought those packs were obtained from their injected template
parameters. This was wrong because we might be checking constraints when
instantiating a friend declaration within a class template
specialization, where the parent class template is specialized with
non-dependent template arguments.

In that sense, we shouldn't assume any pack size nor expand anything in
such a scenario. Moreover, there are no intermediate (substituted but
unexpanded) AST nodes for template template parameters, so we have to
special-case their transformations by looking into the instantiation
scope instead of extracting anything from template arguments.

Fixes #115098