[PATCH] D119544: Deferred Concept Instantiation Implementation

[Erich Keane via Phabricator via cfe-commits]

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.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D119544/new/

https://reviews.llvm.org/D119544