diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-03-23 22:13:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-23 22:13:22 +0100 |
| commit | af19a50a2697392e89cdda2b94ab271459e1c729 (patch) | |
| tree | 73deb8a87a4d78b97e4880e146fd7399bd658a49 /compiler/rustc_codegen_gcc/example/std_example.rs | |
| parent | 547369d3d881a9eb1de0d3e368f9a59aa7c648b0 (diff) | |
| parent | c8cbd3d03c92ec903a964b67dd90aa2cc6d78f2c (diff) | |
| download | rust-af19a50a2697392e89cdda2b94ab271459e1c729.tar.gz rust-af19a50a2697392e89cdda2b94ab271459e1c729.zip | |
Rollup merge of #94249 - compiler-errors:better-copy-errors, r=davidtwco
Better errors when a Copy impl on a Struct is not self-consistent As discovered in a Zulip thread with `@nnethercote` and `@Mark-Simulacrum,` it's not immediately obvious why a field on an ADT doesn't implement `Copy`. This PR attempts to give slightly more detailed information by spinning up a fulfillment context to try to dig down and discover transitive fulfillment errors that cause `is_copy_modulo_regions` to fail on a ADT field. The error message still kinda sucks, but should only show up in the case that an existing error message was totally missing... so I think it's a good compromise for now?
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/std_example.rs')
0 files changed, 0 insertions, 0 deletions