// RUN: %target-swift-ide-test -reconstruct-type -source-filename %s | %FileCheck %s -implicit-check-not="FAILURE"

struct GS<T> {
// CHECK: decl: struct GS<T> for 'GS'

  let a: T.Nope
  let b: T
}

let global1: GS
let global2 = GS().x
let global3 = GS<Int>(a: 1, b: 2).b

protocol P {
// CHECK: decl: protocol P for 'P' usr=s:14swift_ide_test1PP
  associatedtype T
// CHECK: decl: associatedtype T for 'T' usr=s:14swift_ide_test1PP1TQa
  func foo() -> T
}
struct SP: P {
// CHECK: decl: struct SP : P for 'SP'
  typealias TT = Self.T
// CHECK: typealias TT = <<error type>>	for 'TT' usr=s:14swift_ide_test2SPV2TTa
}