}
}
}
- PlaceBase::Static(box Static{ kind: StaticKind::Promoted(_), .. }) =>
+ PlaceBase::Static(box Static{ kind: StaticKind::Promoted(_, _), .. }) =>
false,
- PlaceBase::Static(box Static{ kind: StaticKind::Static(def_id), .. }) => {
+ PlaceBase::Static(box Static{ kind: StaticKind::Static, def_id, .. }) => {
tcx.is_mutable_static(*def_id)
}
};