diff options
| author | Florian Diebold <[email protected]> | 2019-09-07 13:31:43 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-09-07 13:31:43 +0100 |
| commit | 60bdb66ef23f78d8c73afa1897a4542e7e722ed2 (patch) | |
| tree | cc5dc599d3c369a4769c792a2c440749ed4b7771 /crates/ra_hir/src/ty/traits | |
| parent | 4ae4d9c311084e3092eb4c2d35e98f6c2c70315b (diff) | |
Lower bounds on trait definition, and resolve assoc types from super traits
Diffstat (limited to 'crates/ra_hir/src/ty/traits')
| -rw-r--r-- | crates/ra_hir/src/ty/traits/chalk.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs index c201c5e50..cfe0cab16 100644 --- a/crates/ra_hir/src/ty/traits/chalk.rs +++ b/crates/ra_hir/src/ty/traits/chalk.rs | |||
| @@ -636,7 +636,7 @@ pub(crate) fn impl_datum_query( | |||
| 636 | _ => None, | 636 | _ => None, |
| 637 | }) | 637 | }) |
| 638 | .filter_map(|t| { | 638 | .filter_map(|t| { |
| 639 | let assoc_ty = trait_.associated_type_by_name(db, t.name(db))?; | 639 | let assoc_ty = trait_.associated_type_by_name(db, &t.name(db))?; |
| 640 | let ty = db.type_for_def(t.into(), crate::Namespace::Types).subst(&bound_vars); | 640 | let ty = db.type_for_def(t.into(), crate::Namespace::Types).subst(&bound_vars); |
| 641 | Some(chalk_rust_ir::AssociatedTyValue { | 641 | Some(chalk_rust_ir::AssociatedTyValue { |
| 642 | impl_id, | 642 | impl_id, |