diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2022-07-18 20:41:27 +0200 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2022-07-19 19:36:45 +0200 |
| commit | 0065929599d276ce756a55948e8316615be1e7ec (patch) | |
| tree | 79ea0ca2afddaa86ceed624868e35a5a209e704e /compiler | |
| parent | 144227dae949fb98896a2ba077d8fe7f36c3238e (diff) | |
| download | rust-0065929599d276ce756a55948e8316615be1e7ec.tar.gz rust-0065929599d276ce756a55948e8316615be1e7ec.zip | |
Erase regions before comparing signatures of foreign fns.
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_lint/src/builtin.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/rustc_lint/src/builtin.rs b/compiler/rustc_lint/src/builtin.rs index a0472f98d72..9e4dc702f07 100644 --- a/compiler/rustc_lint/src/builtin.rs +++ b/compiler/rustc_lint/src/builtin.rs @@ -2858,9 +2858,10 @@ impl ClashingExternDeclarations { let a_poly_sig = a.fn_sig(tcx); let b_poly_sig = b.fn_sig(tcx); - // As we don't compare regions, skip_binder is fine. - let a_sig = a_poly_sig.skip_binder(); - let b_sig = b_poly_sig.skip_binder(); + // We don't compare regions, but leaving bound regions around ICEs, so + // we erase them. + let a_sig = tcx.erase_late_bound_regions(a_poly_sig); + let b_sig = tcx.erase_late_bound_regions(b_poly_sig); (a_sig.abi, a_sig.unsafety, a_sig.c_variadic) == (b_sig.abi, b_sig.unsafety, b_sig.c_variadic) |