macro_rules! local_key_if_separate_extern {
    ([] $($K:tt)*) => { ... };
    ([(separate_provide_extern) $($rest:tt)*] $($K:tt)*) => { ... };
    ([$other:tt $($modifiers:tt)*] $($K:tt)*) => { ... };
}
Expand description

If separate_provide_if_extern, then the key can be projected to its local key via <$K as AsLocalKey>::LocalKey.