Report errors for duplicate bound abilities

This commit is contained in:
Ayaz Hafiz 2022-10-12 10:50:51 -05:00
parent 231a72f2ee
commit 603160dae3
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 56 additions and 6 deletions

View file

@ -117,6 +117,10 @@ pub enum Problem {
IllegalHasClause {
region: Region,
},
DuplicateHasAbility {
ability: Symbol,
region: Region,
},
AbilityMemberMissingHasClause {
member: Symbol,
ability: Symbol,