minor *dyn cast cleanup

[lukas-code]

Small follow-up to #130234 to remove a redundant check and clean up comments. No functional changes.

Also, explain why casts cannot drop the principal even though coercions can, and add a test because apparently we didn't have one already.

r? @WaffleLapkin or @compiler-errors