@swift-5.0.3
protocol P { associatedtype Dep func a(arg: () -> Dep) init() init(with dep: Dep) } extension P { init(with dep: Dep) { self = Self.init() } } class A: P { required init() {} func a(arg: @autoclosure () -> Int) {} } _ = A(with: 1)