usage of a noncopyable type that compiler can't verify

[LeeroyDing]

Description

No response

Reproduction

struct Struct: ~Copyable {
  final class Class {
    var value = 1
  }
  let property: Class
  func doThing() -> Int {
    return property.value
  }
}

Workaround: delete final in the class.

Expected behavior

It should compile..?

Environment

swift-driver version: 1.90.11.1 Apple Swift version 5.10 (swiftlang-5.10.0.13 clang-1500.3.9.4)
Target: x86_64-apple-macosx14.0

Additional information

No response

[tbkka]

CC: @jckarter @kavon