diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-10 11:45:59 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-10 11:45:59 +0000 |
| commit | dcbb77cb6c75db9b300abe0fe6ed4668e2ef1193 (patch) | |
| tree | fc42a24e8b16488a445cdc526533962128036d9f /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | f90664b2eac9807ef741be4a87e2a2afde0a9f34 (diff) | |
| parent | b795128dde24cd3c4ec45879b354ec8c60fc751b (diff) | |
| parent | fc3fc571d29ccec4a4f80da35d5f77e94c6663c3 (diff) | |
Merge #7206 #7231
7206: Use hir::GenericParam in ide_db::Definition instead of relisting all 3 r=Veykril a=Veykril
Basically just this:
```diff
pub enum Definition {
Macro(MacroDef),
Field(Field),
ModuleDef(ModuleDef),
SelfType(Impl),
Local(Local),
- TypeParam(TypeParam),
- LifetimeParam(LifetimeParam),
- ConstParam(ConstParam),
+ GenericParam(GenericParam),
Label(Label),
}
```
7231: Cleaner API r=matklad a=matklad
bors r+
🤖
Co-authored-by: Lukas Wirth <[email protected]>
Co-authored-by: Aleksey Kladov <[email protected]>