27f1f4d27b
Normalize ADT field in `find_tails_for_unsizing` See the comment inline and in the test. TL;DR is that we're getting getting a type from a `type_of` query and then matching on it structurally in codegen, so we're obligated to normalize it. The fact that this wasn't triggered earlier is that all of the types that have `CoerceUnsized` implementations never encounter aliases when peeling the ADT down to their base reference/ptr type. **NOTE**: I also renamed some things and reorganized the function a bit. Fixes #139812 Fixes #74451, which I didn't think was interesting enough to add another test. r? oli-obk |
||
|---|---|---|
| .. | ||
| mono_checks | ||
| partitioning | ||
| collector.rs | ||
| errors.rs | ||
| lib.rs | ||
| partitioning.rs | ||
| util.rs | ||