diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-17 02:20:16 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-17 02:20:16 +0000 |
| commit | ea2b27d8b978fbe2307991ff28d6030eabf5b82c (patch) | |
| tree | df680c230b771c9c57c181033927e57f10c48fb2 /crates/ra_hir_ty/src/traits/chalk.rs | |
| parent | 040478834fe9f871ef2fd8346635c8d74f5d80da (diff) | |
| parent | ecf3b3c9a1e9cd6a91412f0723a3107e65f92b91 (diff) | |
Merge #2865
2865: fix(mixed): fixed a couple of typos and added a todo r=kjeremy a=Veetaha
Fixed a couple of typos and added a todo while studying the codebase.
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk.rs')
0 files changed, 0 insertions, 0 deletions