// RUN: %target-swift-frontend -primary-file %s -emit-ir -o /dev/null | |
// REQUIRES: objc_interop | |
import Foundation | |
@objc protocol P { | |
var property: Int64 { get } | |
} | |
class PUser<T: P> where T: NSObject { | |
init(t: T, updating progress: Progress) { | |
_ = t.observe(\.property) { t, _ in | |
let _ = t.property | |
} | |
} | |
} |