interpreter: improve comments and error message in mir_assign_valid_types#155512

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

RalfJung:interpret-assignment-validityRalfJung/rust:interpret-assignment-validityCopy head branch name to clipboard