diff options
| author | bors <bors@rust-lang.org> | 2023-07-07 19:12:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-07 19:12:54 +0000 |
| commit | 2eff2f2046749e0e6f33af0de330bd68e64c2b12 (patch) | |
| tree | b3e34ddda6c838eb3b645717cdfa5f955fd8364a /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 26edd5a2ab5ae719019f4ca17f93d0bd092f1334 (diff) | |
| parent | 5df1f6681dca1a2028a4e6b60d3ab789c00b4cf8 (diff) | |
| download | rust-2eff2f2046749e0e6f33af0de330bd68e64c2b12.tar.gz rust-2eff2f2046749e0e6f33af0de330bd68e64c2b12.zip | |
Auto merge of #11122 - Nilstrieb:SUBSTITUTION-INITIATED, r=flip1995
Pass correct substs to `implements_trait` in `incorrect_impls` `Copy<T>` does in fact not exist. The substs on the trait_ref contain the `Self` type of the impl as the first parameter, so passing that to `implements_trait`, which then nicely prepends the `Self` type for us does not end will. fixes #11121 The assertions requires debug assertions inside rustc, which is probably why it didn't fire here. I tested the change locally in rust-lang/rust and it did not ICE anymore. cc `@xFrednet` `@Centri3` changelog: [`incorrect_impls`]: fix confusion about generic parameters
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions