Make drop-glue/destructor hover tooltip more compact and distinguishable

[Zalathar]

#18987 added a feature to show information about a type's drop glue and destructor in the hover tooltip.

This information is useful enough that I don't want to turn the feature off, but in practice I find that it:

• is easily confused for the type's documentation,
• reduces the amount of real documentation that can be seen (sometimes hiding it altogether), and
• is rather verbose in general.

It might be preferable to do some or all of these, by default or as an option:

• Change the wording to be less verbose (e.g. no drop glue, no destructor).
• Display this information alongside the size/alignment information, if possible.
• Style it in some way that makes it more distinct from documentation.

[ChayimFriedman2]

Change the wording to be less verbose (e.g. no drop glue, no destructor).

We deliberately choose "does not contain types with destructors" because some people may not know what drop glue means, Although I'm not a fan of the wording, I couldn't find anything better.

[ConradIrwin]

At least among the rust codebases and programmers I've interacted with "Drop" is the word used (not destructor, though that is how the feature is documented: https://doc.rust-lang.org/reference/destructors.html, and may be more familiar to users of languages other than rust).

I strongly agree with trying to put this in the meta-data line instead of blending with the documentation.

How about size = 12 (0xC), align = 0x4, no Drop, size = 12 (0xC), align = 0x4, has Drop, size = 12 (0xC), align = 0x4, Drop depends on type