diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-16 11:50:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-16 11:50:21 +0100 |
commit | 364415b7d66bc9d42f21181d7f642e9f911c4711 (patch) | |
tree | 55a8ebfeb5891138502f0dd1e3aae7a0d0f71e57 /crates/ra_hir_ty/src | |
parent | aa887d7ab463bae17ffca2aa7eaf1643ea27ab91 (diff) | |
parent | e8d0d79a0c34f01e93763b37a58de7eb58a4d2cf (diff) |
Merge #3989
3989: Update Chalk r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
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 | ||