error[E0588]: packed type cannot transitively contain a [repr(align)] type does not clarify the transitive [repr(align)] type

[samuela]

I'm currently looking at an error

error[E0588]: packed type cannot transitively contain a `[repr(align)]` type
   --> networking/udhcp/d6_packet.rs:259:1
    |
259 | / pub struct ip6_udp_d6_packet {
260 | |   pub ip6: ip6_hdr,
261 | |   pub udp: udphdr,
262 | |   pub data: d6_packet,
263 | | }
    | |_^

which would be fine except that the error message doesn't clarify at all what the problematic transitive dependency is. It would be nice to have a message like

ip6_udp_d6_packet
    contains udphdr
    which contains foo
    which contains bar which is a `[repr(align)]` type

With sufficiently complex nesting of structs, it can be incredibly tedious to track down which struct is [repr(align)] (especially when the offending struct is from an external library).