diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-12 20:29:51 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-09-12 20:29:51 +0100 |
commit | ab432b36de5d6a370dbaad923f9a475a00fbf220 (patch) | |
tree | ad9f3491f4a80bfff853b4ce89023cd40f62bbf7 /crates/hir_def/src/item_tree | |
parent | c8623461a57e7882ac47b5da13a1a03efa58f603 (diff) | |
parent | 07a704e31cf74deb28a15859b5adfe65ed709bf4 (diff) |
Merge #5990
5990: Implement box patterns r=jonas-schievink a=jonas-schievink
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'crates/hir_def/src/item_tree')
0 files changed, 0 insertions, 0 deletions