Fix errors

This commit is contained in:
Ayaz Hafiz 2023-10-22 09:22:38 -04:00
parent da421068f1
commit 703ef6608e
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
8 changed files with 167 additions and 20 deletions

View file

@ -70,6 +70,8 @@ impl TypeError {
TypeError::UnfulfilledAbility(ab, ..) => ab.region(),
TypeError::Exhaustive(e) => Some(e.region()),
TypeError::CircularDef(c) => c.first().map(|ce| ce.symbol_region),
TypeError::IngestedFileBadUtf8(_, _) => None,
TypeError::IngestedFileUnsupportedType(_, _) => None,
}
}
}