bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Expand parameters.

Browse source
This commit is contained in:
Camille GILLOT 2023-03-01 21:43:39 +00:00
parent e73aeeaeee
commit 03fbb3db1e
1 changed files with 10 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

16
compiler/rustc_mir_build/src/thir/pattern/check_match.rs
View file

@ -144,8 +144,8 @@ impl<'a, 'tcx> Visitor<'a, 'tcx> for MatchVisitor<'a, '_, 'tcx> {
ExprKind::Let { box ref pat, expr } => {
self.check_let(pat, expr, self.let_source, ex.span);
}
ExprKind::LogicalOp { op: LogicalOp::And, .. } => {
self.check_let_chain(ex, self.let_source);
ExprKind::LogicalOp { op: LogicalOp::And, lhs, rhs } => {
self.check_let_chain(self.let_source, ex.span, lhs, rhs);
}
_ => {}
};
@ -296,13 +296,17 @@ impl<'p, 'tcx> MatchVisitor<'_, 'p, 'tcx> {
}
#[instrument(level = "trace", skip(self))]
fn check_let_chain(&mut self, top_expr: &Expr<'tcx>, let_source: LetSource) {
fn check_let_chain(
&mut self,
let_source: LetSource,
top_expr_span: Span,
mut lhs: ExprId,
rhs: ExprId,
) {
if let LetSource::None = let_source {
return;
}
let ExprKind::LogicalOp { op: LogicalOp::And, mut lhs, rhs } = top_expr.kind else { bug!() };
// Lint level enclosing the next `lhs`.
let mut cur_lint_level = self.lint_level;
@ -367,7 +371,7 @@ impl<'p, 'tcx> MatchVisitor<'_, 'p, 'tcx> {
self.lint_level,
let_source,
chain_refutabilities.len(),
top_expr.span,
top_expr_span,
);
return;
}