diff options
| author | Florian Diebold <[email protected]> | 2020-01-24 18:35:09 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-07 17:28:10 +0000 |
| commit | 93aa166748eef9560df2435391dc3f3b53f8262d (patch) | |
| tree | e91083af566a07b9324548cc87f04776124906cf /crates/ra_hir_ty/src/lower.rs | |
| parent | 9dec65d3b1aa703ceef993e46136f8949d7e0e48 (diff) | |
wip lower impl trait to type args
Diffstat (limited to 'crates/ra_hir_ty/src/lower.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/lower.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/lower.rs b/crates/ra_hir_ty/src/lower.rs index 39406d8ce..6f7681475 100644 --- a/crates/ra_hir_ty/src/lower.rs +++ b/crates/ra_hir_ty/src/lower.rs | |||
| @@ -341,6 +341,7 @@ pub(super) fn substs_from_path_segment( | |||
| 341 | // Self type as an implicit first type parameter, but it can't be | 341 | // Self type as an implicit first type parameter, but it can't be |
| 342 | // actually provided in the type arguments | 342 | // actually provided in the type arguments |
| 343 | // (well, actually sometimes it can, in the form of type-relative paths: `<Foo as Default>::default()`) | 343 | // (well, actually sometimes it can, in the form of type-relative paths: `<Foo as Default>::default()`) |
| 344 | // TODO handle this using type param provenance | ||
| 344 | substs.push(Ty::Unknown); | 345 | substs.push(Ty::Unknown); |
| 345 | } | 346 | } |
| 346 | if let Some(generic_args) = &segment.args_and_bindings { | 347 | if let Some(generic_args) = &segment.args_and_bindings { |