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 | |
parent | aa887d7ab463bae17ffca2aa7eaf1643ea27ab91 (diff) |
Update Chalk
Diffstat (limited to 'crates/ra_hir_ty/src')
-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 | ||