@_noLocks doesn't work with ~Copyable types

[jcavar]

Description

A simple usage of @_noLocks fails to compile when using ~Copyable types. I am not sure if this is genuine issue or a bug in performance annotation implementation.

Reproduction

// this code performs reference counting operations which can cause locking
struct Test: ~Copyable {
}

@_noLocks
@_noAllocation
func test() {
    Test()
}

Expected behavior

Code compiles and doesn't perform reference counting

Environment

It fails on both 5.10 and nightly snapshots

Additional information

No response

cc @eeckstein

[tbkka]

CC: @eeckstein @kavon

[tbkka]

@jcavar The code you've written -- without any annotations at all -- should not perform any reference counting because there are no class values.

[eeckstein]

Fix: #73611

[eeckstein]

6.0: #73637

[jcavar]

Thank you @eeckstein! I've downloaded the latest Swift 6 toolchain and don't get the error anymore.

I do get a similar issue further down the line that I described here:

#73951