MIR validation: add comment explaining the limitations of CfgChecker#136627

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

RalfJung:mir-validation-cfg-checkerRalfJung/rust:mir-validation-cfg-checkerCopy head branch name to clipboard