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_ty/src/lib.rs | |
| 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_ty/src/lib.rs')
0 files changed, 0 insertions, 0 deletions