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

source ·

fn check_borrow_conflicts_in_at_patterns<'tcx>(
    cx: &MatchVisitor<'_, '_, 'tcx>,
    pat: &Pat<'tcx>
)

Expand description

Check if a by-value binding is by-value. That is, check if the binding’s type is not Copy. 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.