Yuki Okushi 7030efbb77 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.

2021-06-17 05:54:46 +09:00

..

src

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

2021-06-17 05:54:46 +09:00

Cargo.toml

bumped smallvec deps

2021-02-14 18:03:11 +03:00