[concepts] requires clause short-circuiting not working

[llvmbot]

Bugzilla Link	47508
Resolution	DUPLICATE
Resolved on	Oct 08, 2021 12:55
Version	trunk
OS	All
Reporter	LLVM Bugzilla Contributor
CC	@erichkeane,@zygoloid

Extended Description

// works
//template requires true || T::value
//void foo(T)
//{}

// substitution failure for T::value
template
void foo(T) requires true || T::value
{}

// substitution failure, type 'int' cannot be used prior to '::',
// though gcc accepts this.
template
struct B{
template requires true || T::value
static void foo(U)
{}
};

int main()
{
foo(0);
B::foo(0);
}

[zygoloid]

*** This bug has been marked as a duplicate of bug #44178 ***

[erichkeane]

I have a patch for the 1st issue up here (https://reviews.llvm.org/D111453) though it is in need of a smarter concepts person than me to inspect.

The 2nd half (instantiation of static function requirements) is likely something different.