}
}
}
- 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)
}
};
for proj in place_projection {
if proj.elem == ProjectionElem::Deref {
- let ty = proj.base.ty(body, tcx).ty;
+ let ty = Place::ty_from(place_base, &proj.base, body, tcx).ty;
match ty.sty {
// For both derefs of raw pointers and `&T`
// references, the original path is `Copy` and