swiftlang / swift

The Swift Programming Language
https://swift.org
Apache License 2.0
67.49k stars 10.35k forks source link

Property wrapper typealias inside generic types "Fails to produce diagnostic" #63399

Open JessyCatterwaul opened 1 year ago

JessyCatterwaul commented 1 year ago

Simple example:

@propertyWrapper struct OuterWrapper<T> {
  var wrappedValue: Void
}

enum E<T> {
  typealias Wrapper = OuterWrapper<Self> where T == Void
}

struct S {
  @E.Wrapper var observed = ()
}
LucianoPAlmeida commented 1 year ago

On main this crash the compiler https://godbolt.org/z/aWjxzbr1E