Unboxing fails without 2nd unboxing

[jasonbobier]

I have a bizarre unboxing issue in my test cases. If I make a call to wtf() below, everything compiles and the test runs correctly. If I comment out wtf() I get a Type 'any Unit' (aka 'any Unit') cannot conform to 'Unit'.

static var testValues: [(unit: any Unit, abbreviated: String, narrow: String, wide: String)] {
	[
		(EnergyUnit.kilowattHours, "kW·hs", "kWh", "kilowatt-hours"),
	]
}

func test_formatted__Unit_FormatStyle() {
	func test(unit: some Unit, abbreviated: String, narrow: String, wide: String) {
		XCTAssertEqual(unit.formatted(.unit(width: .abbreviated, locale: locale)), abbreviated)
		XCTAssertEqual(unit.formatted(.unit(width: .narrow, locale: locale)), narrow)
		XCTAssertEqual(unit.formatted(.unit(width: .wide, locale: locale)), wide)
	}

	func wtf(unit: some Unit) {
	}

	// Returns a properly formatted string
	Self.testValues.forEach {
		wtf(unit: $0.unit) // comment this out and the code fails to compile

		test(unit: $0.unit, abbreviated: $0.abbreviated, narrow: $0.narrow, wide: $0.wide)
	}
}

Environment
swift-driver version: 1.75.2 Apple Swift version 5.8 (swiftlang-5.8.0.124.2 clang-1403.0.22.11.100)

Xcode 14.3
Build version 14E222b

[jasonbobier]

wtf() can also be called after test() and everything will still compile and work correctly.

[AnthonyLatsis]

Reduced:

protocol P {}

func unbox(_: some P) {}

let _: ((any P, Void)) -> Void = { tuple in
//  unbox(tuple.0)
  unbox(tuple.0)
}

Swift version 5.9-dev (LLVM 91080e65df791d6, Swift c1d5118)

[jasonbobier]

This still exists in Xcode Version 15.0 beta (15A5160n)

[jasonbobier]

Bug still exists in Xcode Version 15.0.1 (15A507)