swift

5a6f58e6 - Teach witness matching to apply minimal/strict diagnostics rules.

Teach witness matching to apply minimal/strict diagnostics rules. This downgrades some errors to warnings in Swift 5 mode, and ensures that we diagnose all conditions in Swift 6 mode.