Remove irrelevant errors

This commit is contained in:
Ayaz Hafiz 2022-05-09 09:48:30 -04:00
parent b0734c3d80
commit b92e3a07ac
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 0 additions and 67 deletions

View file

@ -125,16 +125,6 @@ pub enum Problem {
span_has_clauses: Region,
bound_var_names: Vec<Lowercase>,
},
// TODO(abilities): remove me when ability hierarchies are supported
AbilityMemberBindsExternalAbility {
member: Symbol,
ability: Symbol,
region: Region,
},
AliasUsesAbility {
loc_name: Loc<Symbol>,
ability: Symbol,
},
AbilityNotOnToplevel {
region: Region,
},