Pacify tidy.

This commit is contained in:
Camille GILLOT 2023-01-29 10:20:51 +00:00
parent a5ef6bac28
commit b34a8a294d
2 changed files with 4 additions and 4 deletions

View File

@ -325,8 +325,8 @@ pub enum StatementKind<'tcx> {
/// Only `RetagKind::Default` and `RetagKind::FnEntry` are permitted. /// Only `RetagKind::Default` and `RetagKind::FnEntry` are permitted.
Retag(RetagKind, Box<Place<'tcx>>), Retag(RetagKind, Box<Place<'tcx>>),
/// This statement exists to preserve a trace of a scrutinee matched against a wildcard /// This statement exists to preserve a trace of a scrutinee matched against a wildcard binding.
/// binding. This is especially useful for `let _ = PLACE;` bindings that desugar to a single /// This is especially useful for `let _ = PLACE;` bindings that desugar to a single
/// `PlaceMention(PLACE)`. /// `PlaceMention(PLACE)`.
/// ///
/// When executed at runtime this is a nop. /// When executed at runtime this is a nop.

View File

@ -107,8 +107,8 @@ impl<'tcx> Visitor<'tcx> for UnsafetyChecker<'_, 'tcx> {
| StatementKind::Nop => { | StatementKind::Nop => {
// safe (at least as emitted during MIR construction) // safe (at least as emitted during MIR construction)
} }
// `AscribeUserType` just exists to help MIR borrowck. It has no semantics, and // `AscribeUserType` just exists to help MIR borrowck.
// everything is already reported by `PlaceMention`. // It has no semantics, and everything is already reported by `PlaceMention`.
StatementKind::AscribeUserType(..) => return, StatementKind::AscribeUserType(..) => return,
} }
self.super_statement(statement, location); self.super_statement(statement, location);