Unexpected ambiguous type error when assigning to conforming primary associated type

[hydrixos]

Description

In the following example I have a protocol type "B" that conforms to a protocol type "A". As soon as I try to assign a function result of type "any B" to a variable of type "any A", the compiler responds with a "Type of expression is ambiguous" error.

Reproduction

protocol A<Arg1> {
	associatedtype Arg1
}

protocol B: A where Arg1 == Int {
}

func makeB() -> any B {
	// ...
}

// Results in "Type of expression is ambiguous without type annotation"
let x: (any A<Int>) = makeB()

Expected behavior

• I would expect that such an assignment just works.
• If this is not possible due to limitations of primary associated types: I think the error message could be a bit more specific to explain the limitation.

Environment

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

Additional information

No response