Throwing error in `init` is "conditional initialization" of noncopyable types?

Maybe related: SE-0429: Partial Consumption The code below doesn't compile, and as I understand, it's because the failure code path (guard clause) doesn't initialize the struct's properties, while the success path does. // ERROR: Conditional initialization or destruction of noncopyable types is not supported; this variable must be consistently in an initialized or uninitialized state through every code path public struct Device: ~Copyable { public var device: USBDevice public var seria...