diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-20 17:32:19 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-20 17:32:19 +0000 |
| commit | 99f23e2f8733c480ed49648fda25564ff7a9a394 (patch) | |
| tree | 8d9ac97ea6eb64f9051708d28cc6f461412b4a98 /crates/hir_ty/src/infer/unify.rs | |
| parent | 6cfbeb3d585e03caeddcefba407c22a9d0bc658e (diff) | |
| parent | 6fbe22bfbb00ea131b603fac3c24ca552c9c71cd (diff) | |
Merge #6963
6963: Split lines between sentences r=lnicola a=lnicola
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions