diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-04 16:42:19 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-04 16:42:19 +0100 |
commit | 0924888cce5f48e0ea0dc7fd8641db92850ef660 (patch) | |
tree | 1507aa873ea92a69b3df4ce2d4f51b0c9191c774 /crates/hir_ty/src/walk.rs | |
parent | bc8b27884132a4dbfa019f7d3d5fcbbf9f4912af (diff) | |
parent | d1474ae51806cd5382c988fac1cf70a7f2718f4a (diff) |
Merge #8325
8325: Check if bitflags deps pulls its weight r=jonas-schievink a=matklad
Bitflags is generally a good dependency -- it's lightweight, well
maintained and embraced by the ecosystem.
I wonder, however, do we really need it? Doesn't feel like it adds much
to be honest.
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/walk.rs')
0 files changed, 0 insertions, 0 deletions