[Ada] Fix assertion failure on qualified type names in predicates
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 6 Apr 2020 12:52:27 +0000 (14:52 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 16 Jun 2020 13:07:14 +0000 (09:07 -0400)
commiteaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4
treeb09ca55d7f53b55b86da50889bd6059fd5407ad8
parentdf7507a6373cf54b43b8884a54cbc8e4c4ea03bf
[Ada] Fix assertion failure on qualified type names in predicates

2020-06-16  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_ch13.adb (Membership_Entry): Relax assertion to also
recognize qualified identifiers.
gcc/ada/sem_ch13.adb