diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-21 17:46:44 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-21 17:46:44 +0000 |
commit | e76d8c1d9af2a78a16d25f348c1d69c331349c1f (patch) | |
tree | 0fddaf6d3c87fce5dac56bd0df655fd58a29c9a8 /crates/hir_ty/src/traits/chalk/mapping.rs | |
parent | b68d6d6fd58b9f59c9c6202771f1a458a2a14c91 (diff) | |
parent | e5c5c0a040e0c74892ea0a36c7fd50e5410879bd (diff) |
Merge #7378
7378: Include `countme` crate to count important data structures. r=matklad a=matklad
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