diff options
| author | Florian Diebold <[email protected]> | 2020-04-16 11:39:00 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-04-16 11:39:00 +0100 |
| commit | e8d0d79a0c34f01e93763b37a58de7eb58a4d2cf (patch) | |
| tree | 55a8ebfeb5891138502f0dd1e3aae7a0d0f71e57 /crates/ra_hir_ty/src/traits | |
| parent | aa887d7ab463bae17ffca2aa7eaf1643ea27ab91 (diff) | |
Update Chalk
Diffstat (limited to 'crates/ra_hir_ty/src/traits')
| -rw-r--r-- | crates/ra_hir_ty/src/traits/chalk.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk.rs b/crates/ra_hir_ty/src/traits/chalk.rs index 55eb0ffcb..b43e2a539 100644 --- a/crates/ra_hir_ty/src/traits/chalk.rs +++ b/crates/ra_hir_ty/src/traits/chalk.rs | |||
| @@ -795,8 +795,9 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> { | |||
| 795 | fn well_known_trait_id( | 795 | fn well_known_trait_id( |
| 796 | &self, | 796 | &self, |
| 797 | _well_known_trait: chalk_rust_ir::WellKnownTrait, | 797 | _well_known_trait: chalk_rust_ir::WellKnownTrait, |
| 798 | ) -> chalk_ir::TraitId<Interner> { | 798 | ) -> Option<chalk_ir::TraitId<Interner>> { |
| 799 | unimplemented!() | 799 | // FIXME tell Chalk about well-known traits (here and in trait_datum) |
| 800 | None | ||
| 800 | } | 801 | } |
| 801 | } | 802 | } |
| 802 | 803 | ||