#35218 diff with the changed behavior. Those tests were error checking tests and weren't supposed to have sample code to be run involving the provided structs and property wrappers. With the compile error removed, they should be moved to test/SILOptimizer/di_property_wrappers.swift? cc @hborla

Thanks for finding this! From the log you attached, it looks like DI is doing the right thing (re-writing the property wrapper assignment to initialization), but there's a verification failure on the property-wrapper setter, which is unused. I think this should only affect asserts compilers, but obviously it should be fixed either way.

As for your second question, I think it's fine for "error" tests to contain cases that are okay. We probably don't gain anything by making that particular case executable.

@swift-ci create

I also can't seem to reproduce this if the property wrapper is not imported from another module, even with -sil-verify-all. Looks like in this case the SIL is deserialized, and there's a different verification path that isn't reachable otherwise

This reduced snippet reproduces the Abort trap: 6 error without imports on my machine (it's the first one in di_property_wrappers_errors.swift):

@propertyWrapper class ClassWrapper<T> {
  var wrappedValue: T
  
  init(wrappedValue initialValue: T) {
    self.wrappedValue = initialValue
  }
}

struct IntStructWithClassWrapper {
  @ClassWrapper var wrapped: Int

  init() {
    wrapped = 42
  }
}

Perfect, thank you! Thankfully it still looks like the same issue. You're right that this should be moved to a separate file that doesn't contain errors. My mistake - I thought this was the same case as StructWithClassWrapper from test/SILOptimizer/di_property_wrappers.swift, but it's not because that assignment in the initializer gets re-written to the property wrapper setter since the Int? is default initialized to nil.

This should be fixed by #36253

Unfortunately it's not. With swift-DEVELOPMENT-SNAPSHOT-2021-03-05-a (which contains #36253) I still get the same SIL failure.

Okay, this one should fix it #36384

It wasn't the closure that was causing the assertion failure, but the `self` that the closure captured.

Yes, I just tested with swift-DEVELOPMENT-SNAPSHOT-2021-03-20-a. It has been fixed. Thank you @eeckstein and @hborla!

May I share another PropertyWrapper related bug which hasn't gotten a Radar URL yet? https://bugs.swift.org/browse/SR-14080

Resolved in swift-DEVELOPMENT-SNAPSHOT-2021-03-20-a.