[test] Add another test case for redundant requirement

Co-Authored-By: theblixguy <suyashsrijan@outlook.com>
apple · Nov 15, 2018 · 3faf202 · 3faf202
1 parent 81f797d
commit 3faf202
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/decl/ext/protocol.swift b/test/decl/ext/protocol.swift
@@ -187,6 +187,12 @@ protocol AnotherFooProtocol {}
 protocol BazProtocol {}
 extension AnotherFooProtocol where Self: BazProtocol, Self: AnotherFooProtocol {} // expected-warning {{requirement of 'Self' to 'AnotherFooProtocol' is redundant in an extension of 'AnotherFooProtocol'}}
 
+protocol A {
+  associatedtype V
+}
+
+extension A where V: A {} // ok, does not warn because V is not Self
+
 // ----------------------------------------------------------------------------
 // Protocol extensions with additional requirements
 // ----------------------------------------------------------------------------