diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-20 14:08:53 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-20 14:08:53 +0000 |
commit | 8eea4c9d3bdb4e35810e11983002404ef7ac29cc (patch) | |
tree | 3f38e1ade8e180dd6ebe5e6089853ee484757f9b /crates/hir_ty/src | |
parent | eefbae7ed4fca97281bbcd8e5738311be3a31dc6 (diff) | |
parent | f942d10e8010918c677b40f821e504d87f057ead (diff) |
Merge #6959
6959: Use pattern_single instead of pattern in mbe pat r=jonas-schievink a=edwin0cheng
Fix #6882
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'crates/hir_ty/src')
0 files changed, 0 insertions, 0 deletions