interpret: extend comment on the inhabitedness check in downcast#118935

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:interpret-downcastRalfJung/rust:interpret-downcastCopy head branch name to clipboard