diff options
| author | Laurențiu Nicola <[email protected]> | 2021-04-05 13:37:11 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2021-04-05 13:39:06 +0100 |
| commit | 65c2e5194034e4f6f556b96e71ce62bc2a465a35 (patch) | |
| tree | 6ff56eca6210f2a87ca9caa8a7485c9ff567dc5e /crates/hir_ty/src/traits/chalk.rs | |
| parent | d8ee25bb976f50c0c0c8c247ca8bb030d9167bdb (diff) | |
Rename TyKind::Unknown to Error
Diffstat (limited to 'crates/hir_ty/src/traits/chalk.rs')
| -rw-r--r-- | crates/hir_ty/src/traits/chalk.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/traits/chalk.rs b/crates/hir_ty/src/traits/chalk.rs index 541e6082f..b7388b98c 100644 --- a/crates/hir_ty/src/traits/chalk.rs +++ b/crates/hir_ty/src/traits/chalk.rs | |||
| @@ -265,7 +265,7 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> { | |||
| 265 | 265 | ||
| 266 | fn hidden_opaque_type(&self, _id: chalk_ir::OpaqueTyId<Interner>) -> chalk_ir::Ty<Interner> { | 266 | fn hidden_opaque_type(&self, _id: chalk_ir::OpaqueTyId<Interner>) -> chalk_ir::Ty<Interner> { |
| 267 | // FIXME: actually provide the hidden type; it is relevant for auto traits | 267 | // FIXME: actually provide the hidden type; it is relevant for auto traits |
| 268 | TyKind::Unknown.intern(&Interner).to_chalk(self.db) | 268 | TyKind::Error.intern(&Interner).to_chalk(self.db) |
| 269 | } | 269 | } |
| 270 | 270 | ||
| 271 | fn is_object_safe(&self, _trait_id: chalk_ir::TraitId<Interner>) -> bool { | 271 | fn is_object_safe(&self, _trait_id: chalk_ir::TraitId<Interner>) -> bool { |