[Bug c++/79751] New: Concept placeholder on another concept doe not work

[saar at raz dot email]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79751

            Bug ID: 79751
           Summary: Concept placeholder on another concept doe not work
           Product: gcc
           Version: c++-concepts
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: saar at raz dot email
  Target Milestone: ---

The following program returns 1 with the latest gcc 7 snapshot:

template<typename X>
concept bool FalseConcept = false;

template<FalseConcept Y>
concept bool AnotherConcept = true;

int main() {
    return AnotherConcept<int>;
}