diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-20 10:52:15 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-20 10:52:15 +0100 |
| commit | 3894eb77d8c06acda68f6c267315063b1c9960e8 (patch) | |
| tree | d6f33d4f6647cea3ec63b48e3b14b7897890db94 /crates/ra_hir/src/expr/validation.rs | |
| parent | 5edddae523184462d779d5a347ca1c5be5832044 (diff) | |
| parent | 3fc344b9f16ad481e87198da72052dd7ddfc88be (diff) | |
Merge #1286
1286: Add infer for generic default type r=flodiebold a=edwin0cheng
This PR add infer support for generic default type:
```
struct Gen<T=u32> {
val: T
}
```
* add the (unresolved) defaults from the definition to GenericParams
* add a query generic_defaults that resolves those defaults to types and returns a Substs
* add the missing type in `substs_from_path_segment`
* add tests
based on the idea in this [comment](https://github.com/rust-analyzer/rust-analyzer/issues/1099#issuecomment-484206279)
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/expr/validation.rs')
0 files changed, 0 insertions, 0 deletions