Remove dominated derive errors

This commit is contained in:
Ayaz Hafiz 2022-07-25 12:56:44 -04:00
parent 3fbf4e228b
commit 8659ddc684
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 0 additions and 39 deletions

View file

@ -104,12 +104,6 @@ pub enum TypeError {
ability: Symbol,
member: Symbol,
},
DominatedDerive {
opaque: Symbol,
ability: Symbol,
derive_region: Region,
impl_region: Region,
},
WrongSpecialization {
region: Region,
ability_member: Symbol,