diff options
| author | Jonas Schievink <[email protected]> | 2020-06-21 14:18:10 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-06-21 14:19:38 +0100 |
| commit | 500d8b2f6047660eeb6fc883b1aa60c297aa073b (patch) | |
| tree | 63867917eb7f84172a7ac84ce606f943a329cb45 /crates/ra_hir_ty/src/traits/chalk/mapping.rs | |
| parent | 6d0a765d34a1f94645310f36d39c5125fea563f2 (diff) | |
Handle bindings after @ in patterns
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions