fn super_assert_message(&mut self,
msg: & $($mutability)? AssertMessage<'tcx>,
location: Location) {
- use crate::mir::interpret::PanicMessage::*;
+ use crate::mir::interpret::PanicInfo::*;
match msg {
BoundsCheck { len, index } => {
self.visit_operand(len, location);
PlaceBase::Local(local) => {
self.visit_local(local, context, location);
}
- PlaceBase::Static(box Static { kind: _, ty }) => {
+ PlaceBase::Static(box Static { kind: _, ty, def_id: _ }) => {
self.visit_ty(& $($mutability)? *ty, TyContext::Location(location));
}
}
location: Location) {
let Constant {
span,
- ty,
user_ty,
literal,
} = constant;
self.visit_span(span);
- self.visit_ty(ty, TyContext::Location(location));
drop(user_ty); // no visit method for this
self.visit_const(literal, location);
}