---

swift-ci · swift-ci · commit 977301e62050 · 2019-04-10T12:09:41.000-07:00
yaml --- r: 347502 b: refs/heads/master c: d491d29 h: refs/heads/master
diff --git a/[refs] b/[refs]
@@ -1,5 +1,5 @@
 ---
-refs/heads/master: a91003c396a29bc65e3d18892e66c04584ef0a66
+refs/heads/master: d491d2933ac9e682504bf9b319f3ea667c97937a
 refs/heads/master-next: 203b3026584ecad859eb328b2e12490099409cd5
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
diff --git a/trunk/test/decl/protocol/conforms/circular_validation.swift b/trunk/test/decl/protocol/conforms/circular_validation.swift
@@ -11,3 +11,8 @@ struct S : P { // expected-error {{type 'S' does not conform to protocol 'P'}}
   static var x = 0 // expected-note {{candidate operates on a type, not an instance as required}}
   var x = S.x // expected-note {{candidate references itself}}
 }
+
+// FIXME: Lousy diagnostics on this case.
+protocol SR9224_Foo: SR9224_Foobar {} // expected-error 2 {{protocol 'SR9224_Foo' refines itself}}
+protocol SR9224_Bar: SR9224_Foobar {} // expected-error {{protocol 'SR9224_Bar' refines itself}} expected-note {{protocol 'SR9224_Bar' declared here}}
+typealias SR9224_Foobar = SR9224_Foo & SR9224_Bar

Original file line number	Diff line number	Diff line change
`@@ -11,3 +11,8 @@ struct S : P { // expected-error {{type 'S' does not conform to protocol 'P'}}`
`11`	`11`	`static var x = 0 // expected-note {{candidate operates on a type, not an instance as required}}`
`12`	`12`	`var x = S.x // expected-note {{candidate references itself}}`
`13`	`13`	`}`
	`14`	`+`
	`15`	`+// FIXME: Lousy diagnostics on this case.`
	`16`	`+protocol SR9224_Foo: SR9224_Foobar {} // expected-error 2 {{protocol 'SR9224_Foo' refines itself}}`
	`17`	`+protocol SR9224_Bar: SR9224_Foobar {} // expected-error {{protocol 'SR9224_Bar' refines itself}} expected-note {{protocol 'SR9224_Bar' declared here}}`
	`18`	`+typealias SR9224_Foobar = SR9224_Foo & SR9224_Bar`