Macro rustc_middle::ty::query::separate_provide_extern_default

macro_rules! separate_provide_extern_default {
    ([][$name:ident]) => { ... };
    ([(separate_provide_extern) $($rest:tt)*][$name:ident]) => { ... };
    ([$other:tt $($modifiers:tt)*][$($args:tt)*]) => { ... };
}