| // RUN: %target-typecheck-verify-swift | |
| class Object {} | |
| class Responder: Object {} | |
| class View: Responder {} | |
| extension View {} | |
| protocol Foo {} | |
| extension Foo { | |
| func bar() -> Self { return self } | |
| } | |
| extension Object: Foo {} | |
| _ = Object().bar() | |
| _ = Responder().bar() | |
| _ = View().bar() | |