Macro rustc_borrowck::facts::write_facts_to_path

macro_rules! write_facts_to_path {
    ($wr:ident . write_facts_to_path($this:ident . [
                $($field:ident,)*
            ])) => { ... };
}