| // RUN: %target-typecheck-verify-swift -swift-version 4 | |
| // RUN: not %target-swift-frontend -typecheck -swift-version 5 | |
| protocol P : class, AnyObject { } // expected-warning{{redundant inheritance from 'AnyObject' and Swift 3 'class' keyword}}{{14-21=}} | |
| // expected-warning@-1{{redundant constraint 'Self' : 'AnyObject'}} | |
| // expected-note@-2{{constraint 'Self' : 'AnyObject' written here}} |