<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="/rss.xsl.xml"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
    <title>Changes in instantiate-template-argument.cpp</title>
    <description></description>
    <language>en</language>
    <copyright>Copyright 2015</copyright>
    <generator>Java</generator><item>
        <title>ba1f3db4 - [Concepts] Correctly form initial parameter mapping for parameter packs, support substitution into SubstNonTypeTemplateParmExpr</title>
        <link>http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaTemplate/instantiate-template-argument.cpp#ba1f3db4</link>
        <description>[Concepts] Correctly form initial parameter mapping for parameter packs, support substitution into SubstNonTypeTemplateParmExprWe previously would not correctly for the initial parameter mapping for variadic template parameters in Concepts.Testing this lead to the discovery that with the normalization process we would need to substitute into already-substituted-intotemplate arguments, which means we need to add NonTypeTemplateParmExpr support to TemplateInstantiator.We do that by substituting into the replacement and the type separately, and then re-checking the expression against the NTTPwith the new type, in order to form any new required implicit casts (for cases where the type of the NTTP was dependent).

            List of files:
            /llvm-project-15.0.7/clang/test/SemaTemplate/instantiate-template-argument.cpp</description>
        <pubDate>Fri, 31 Jan 2020 13:55:06 +0000</pubDate>
        <dc:creator>Saar Raz &lt;saar@raz.email&gt;</dc:creator>
    </item>
</channel>
</rss>
