// RUN: not %target-swift-frontend %s -typecheck

protocol A {
  var question: String { get }

  struct B {
    var answer: Int = 42

    func foo(a: A) {
      _ = a.question
    }
  }
}

class C : A {
  var question: String = "ultimate question"

  func foo() -> B {}
  func bar() -> A.B {}
  func baz(b: B) {
    _ = b.answer
  }
}

class D : A {
  var question: String = ""

  struct E {
    func baz(b: B) {
      _ = b.answer
    }
  }
}

class F<T> : A {
  var question: String = ""

  func foo(b: B) {
    _ = b.answer
  }
}