Auto merge of #105080 - matthiaskrgr:rollup-7ffj4oe, r=matthiaskrgr
Rollup of 5 pull requests Successful merges: - #104697 (Restore control flow on error in EUV) - #104811 (feat: implement TcpStream shutdown for wasm32-wasi) - #105039 (Fix an ICE parsing a malformed literal in `concat_bytes!`.) - #105071 (Add Nicholas Nethercote to `.mailmap`.) - #105079 (Add bots to `.mailmap`) Failed merges: - #105074 (Add Nicholas Bishop to `.mailmap`) r? `@ghost` `@rustbot` modify labels: rollup
This commit is contained in:
commit
a569a88f55
9 changed files with 103 additions and 10 deletions
|
@ -2,6 +2,7 @@ use rustc_ast as ast;
|
|||
use rustc_ast::{ptr::P, tokenstream::TokenStream};
|
||||
use rustc_errors::Applicability;
|
||||
use rustc_expand::base::{self, DummyResult};
|
||||
use rustc_session::errors::report_lit_error;
|
||||
use rustc_span::Span;
|
||||
|
||||
/// Emits errors for literal expressions that are invalid inside and outside of an array.
|
||||
|
@ -68,7 +69,10 @@ fn invalid_type_err(
|
|||
Ok(ast::LitKind::Int(_, _)) => {
|
||||
cx.span_err(span, "numeric literal is not a `u8`");
|
||||
}
|
||||
_ => unreachable!(),
|
||||
Ok(ast::LitKind::ByteStr(_) | ast::LitKind::Byte(_)) => unreachable!(),
|
||||
Err(err) => {
|
||||
report_lit_error(&cx.sess.parse_sess, err, token_lit, span);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
|
|
@ -252,11 +252,11 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {
|
|||
|
||||
hir::ExprKind::Match(ref discr, arms, _) => {
|
||||
let discr_place = return_if_err!(self.mc.cat_expr(discr));
|
||||
self.maybe_read_scrutinee(
|
||||
return_if_err!(self.maybe_read_scrutinee(
|
||||
discr,
|
||||
discr_place.clone(),
|
||||
arms.iter().map(|arm| arm.pat),
|
||||
);
|
||||
));
|
||||
|
||||
// treatment of the discriminant is handled while walking the arms.
|
||||
for arm in arms {
|
||||
|
@ -390,7 +390,7 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {
|
|||
discr: &Expr<'_>,
|
||||
discr_place: PlaceWithHirId<'tcx>,
|
||||
pats: impl Iterator<Item = &'t hir::Pat<'t>>,
|
||||
) {
|
||||
) -> Result<(), ()> {
|
||||
// Matching should not always be considered a use of the place, hence
|
||||
// discr does not necessarily need to be borrowed.
|
||||
// We only want to borrow discr if the pattern contain something other
|
||||
|
@ -398,7 +398,7 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {
|
|||
let ExprUseVisitor { ref mc, body_owner: _, delegate: _ } = *self;
|
||||
let mut needs_to_be_read = false;
|
||||
for pat in pats {
|
||||
return_if_err!(mc.cat_pattern(discr_place.clone(), pat, |place, pat| {
|
||||
mc.cat_pattern(discr_place.clone(), pat, |place, pat| {
|
||||
match &pat.kind {
|
||||
PatKind::Binding(.., opt_sub_pat) => {
|
||||
// If the opt_sub_pat is None, than the binding does not count as
|
||||
|
@ -453,7 +453,7 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {
|
|||
// examined
|
||||
}
|
||||
}
|
||||
}));
|
||||
})?
|
||||
}
|
||||
|
||||
if needs_to_be_read {
|
||||
|
@ -474,6 +474,7 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {
|
|||
// that the discriminant has been initialized.
|
||||
self.walk_expr(discr);
|
||||
}
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn walk_local<F>(
|
||||
|
@ -490,7 +491,11 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {
|
|||
f(self);
|
||||
if let Some(els) = els {
|
||||
// borrowing because we need to test the discriminant
|
||||
self.maybe_read_scrutinee(expr, expr_place.clone(), from_ref(pat).iter());
|
||||
return_if_err!(self.maybe_read_scrutinee(
|
||||
expr,
|
||||
expr_place.clone(),
|
||||
from_ref(pat).iter()
|
||||
));
|
||||
self.walk_block(els)
|
||||
}
|
||||
self.walk_irrefutable_pat(&expr_place, &pat);
|
||||
|
|
|
@ -2168,7 +2168,7 @@ fn determine_place_ancestry_relation<'tcx>(
|
|||
place_a: &Place<'tcx>,
|
||||
place_b: &Place<'tcx>,
|
||||
) -> PlaceAncestryRelation {
|
||||
// If Place A and Place B, don't start off from the same root variable, they are divergent.
|
||||
// If Place A and Place B don't start off from the same root variable, they are divergent.
|
||||
if place_a.base != place_b.base {
|
||||
return PlaceAncestryRelation::Divergent;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue