Function rustc_mir_build::thir::pattern::check_match::check_legality_of_bindings_in_at_patterns

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

Forbids bindings in @ patterns. This used to be is necessary for memory safety, because of the way rvalues were handled in the borrow check. (See issue #14587.)