Macro miri::provenance_gc::no_provenance

macro_rules! no_provenance {
    ($($ty:ident)+) => { ... };
}