validation-test/compiler_crashers_2_fixed/0176-sr-8094.swift

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

@objc protocol Foo {
    associatedtype Bar
    var property: Generic<Bar> { get }
}

class Generic<Element> {
}

class FooImpl<T>: NSObject, Foo {
    let property: Generic<T>
}