Function rustc_mir_build::thir::pattern::check_match::check_borrow_conflicts_in_at_patterns

source · [−]
fn check_borrow_conflicts_in_at_patterns(
    cx: &MatchVisitor<'_, '_, '_>,
    pat: &Pat<'_>
)
Expand description

Check that there are no borrow or move conflicts in binding @ subpat patterns.

For example, this would reject:

  • ref x @ Some(ref mut y),
  • ref mut x @ Some(ref y),
  • ref mut x @ Some(ref mut y),
  • ref mut? x @ Some(y), and
  • x @ Some(ref mut? y).

This analysis is not subsumed by NLL.