swift
d7a06284 - [CSBindings] Optional object type variable should be connected to the optional

Commit
1 year ago
[CSBindings] Optional object type variable should be connected to the optional If both sides of an `OptionalObject` constraint are un-inferred, their binding sets need to correctly reflect adjacency - a type variable that represents optional would get "object" as an adjacency through its potential binding (the binding is - "object" wrapped in a single level of optional) and "object" type variable needs to get its parent optional type variable added to its adjacency list explicitly. Without this it would be possible to prematurely pick "object" before its parent optional type variable. Resolves: https://github.com/apple/swift/issues/73207 Resolves: rdar://126960579
Author
Parents
Loading