[SR-1663] Cannot invoke initializers required by protocols on associated types with non-root-class superclass bounds #44272

swift-ci · 2016-06-02T16:57:56Z

Environment

OSX 10.11.5, Xcode 7.3.1

Additional Detail from JIRA

md5: 2373eef28fcb7930939c09060e7ef3c7

is duplicated by:

Issue Description:

With the following setup:

class Foo { }
class Bar: Foo { }

protocol View {
  init(foo: String)
}

This will compile:

protocol Model {
  associatedtype V: Foo, View
}

func makeView<M: Model>(m: M) -> M.V {
  return M.V(foo: "hello")
}

However, this will not:

protocol Model {
  associatedtype V: Bar, View
}

func makeView<M: Model>(m: M) -> M.V {
  return M.V(foo: "hello")
}

All that is changed is that the superclass bound on the V associated type was changed from Foo to Bar. Compile fails with this error:

error: cannot invoke value of type 'M.V.Type' with argument list '(foo: String)'
  return M.V(foo: "hello")

I've also been able to produce an error message in the form of:

error: argument labels '(foo:)' do not match any available overloads
    return M.V(foo: "hello")

The text was updated successfully, but these errors were encountered:

slavapestov · 2018-03-17T03:58:50Z

swift-ci transferred this issue from apple/swift-issues Apr 25, 2022

This issue was closed.

Provide feedback