//@
redundant_pattern_matching
Add a note when the drop order change may result in different behaviour.