diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-02 13:09:21 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-02 13:09:21 +0000 |
| commit | 96f9f0741f0b1ba345f35637cd5b21f5fad2a354 (patch) | |
| tree | 1c3f2e2cda9b579e70ee6b6c55a89b4428d0170b /crates/hir_ty/src/traits/chalk/mapping.rs | |
| parent | 8720f7f14688257d320de44e1354c62fce1a6bcf (diff) | |
| parent | 283c3b0133ec4d3217a29547a45092d6e64e4935 (diff) | |
Merge #7519
7519: add useless types to the styleguide r=matklad a=matklad
bors r+
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions