diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-30 09:38:35 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-30 09:38:35 +0000 |
| commit | 9d975320200e7d399661f04a0ba34b2fd0ba639b (patch) | |
| tree | 96d310c201206add34f14a84506b74ba442aaa35 /crates/hir_ty/src/op.rs | |
| parent | e7d2b5888b8a7e632ae9080108ccbc450316fd86 (diff) | |
| parent | fbeccf0b9d179bdaa3ddaf80f4e517a35f747124 (diff) | |
Merge #7090
7090: Allow spurious warning from rust-lang/rust#80501 r=lnicola a=lnicola
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/op.rs')
0 files changed, 0 insertions, 0 deletions