diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-16 13:56:53 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-16 13:56:53 +0000 |
commit | b4ed3e1551f828d44dcd8e0caf08420438e5eb1a (patch) | |
tree | a7a53cb60960d6f83fee09d9333047256e02b08c /crates/hir_ty/src/lib.rs | |
parent | da5328a01be27a73378f4c4bac161e8fd43781e3 (diff) | |
parent | 81f51fcd654f961af97133c6995fe802e9913f05 (diff) |
Merge #8052
8052: minor style fixes per feedback on #8036 r=JoshMcguigan a=JoshMcguigan
cc @matklad - this PR addresses your comments in #8036.
changelog fixup #8036
Co-authored-by: Josh Mcguigan <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
0 files changed, 0 insertions, 0 deletions