[PATCH] D119544: Deferred Concept Instantiation Implementation

Erich Keane via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Apr 19 07:17:40 PDT 2022

erichkeane added a comment.

In D119544#3458966 <https://reviews.llvm.org/D119544#3458966>, @cor3ntin wrote:

> In D119544#3458848 <https://reviews.llvm.org/D119544#3458848>, @erichkeane wrote:
>> I went to commit this, and found that a recently lit test now fails with a crash during constraint instantiation!  I'll be looking into that.  The example reduces to:
>>   template<typename T>
>>   constexpr bool constraint = true;
>>   template < typename U>
>>   void dependent(U&& u) {
>>     []() requires constraint<decltype(u)> {}();
>>   }
>>   void test_dependent() {
>>     int v   = 0;
>>     dependent(v);
>>   }
> I suspect this may be related to my recent lambda changes - not 100% certain but I'm looking into it too

I've got it down to the `SetupConstraintCheckingTemplateArgumentsAndScope` that I added.  This is a case where the function is a template instantiation but does NOT have a primary template, so I have to figure out what THAT means/what I should be using instead.



More information about the cfe-commits mailing list