Rollup merge of #85870 - ptrojahn:mir_dump_whitespace, r=davidtwco
Rollup merge of #85870 - ptrojahn:mir_dump_whitespace, r=davidtwco

Allow whitespace in dump_mir filter

At least on my system this is necessary to get more complex filters with spaces like in https://rustc-dev-guide.rust-lang.org/mir/debugging.html working.

aidancully/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust