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

pub(in thir::pattern::check_match) fn check_borrow_conflicts_in_at_patterns(
    cx: &MatchVisitor<'_, '_>, 
    pat: &Pat<'_>
)

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.