Slava Pestov 6a30f3e498 Sema: Don't produce spurious diagnostic when an opaque result has an invalid constraint type ...

- Fixes https://github.com/swiftlang/swift/issues/89853.
- Fixes rdar://179302087.

2026-06-10 23:57:44 -04:00

..

function

…

implicit_some

Allow some P? and any P? as sugar for (some P)? and (any P)?.

2026-05-24 12:03:30 -04:00

infer

…

Inputs

…

metatype

…

tuple

…

array.swift

…

builtin_types.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00

dictionary.swift

…

explicit_existential_cyclic_protocol.swift

[Evaluator] Enforce consistent results for cyclic requests

2025-10-08 21:16:02 +01:00

explicit_existential_diagnostic_group.swift

…

explicit_existential_multimodule1.swift

…

explicit_existential_multimodule2.swift

…

explicit_existential_protocol_typealias.swift

…

explicit_existential.swift

Support optional suppressions: parse some/any ~P? as (some/any ~P)?.

2026-05-24 12:03:31 -04:00

inline_array.swift

…

nested_types.swift

[MiscDiagnostics] Modernize checkUseOfMetaTypeName

2026-01-13 10:09:37 -08:00

objc_direct.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00

opaque_availability.swift

…

opaque_constraint_order.swift

…

opaque_generic_superclass_constraint.swift

…

opaque_parameterized_existential.swift

…

opaque_parameters.swift

[Sema] Preserve type alias sugar when removing escaping

2026-03-17 11:33:58 -07:00

opaque_return_dynamic_self.swift

…

opaque_return_named.swift

…

opaque_return_non_direct.swift

…

opaque_return_property.swift

…

opaque_return_structural.swift

…

opaque_return_type_obc_protocol.swift

…

opaque_signature.swift

Sema: Print opaque result generic signatures when -debug-generic-signatures is passed in

2026-05-04 13:54:31 -04:00

opaque_with_conditional_availability.swift

…

opaque.swift

Sema: Don't produce spurious diagnostic when an opaque result has an invalid constraint type

2026-06-10 23:57:44 -04:00

pack_expansion.swift

Allow pack expansion to bind to no escape

2026-02-09 19:17:52 -08:00

parameterized_existential.swift

…

parameterized_protocol.swift

…

protocol_composition.swift

[CS] Eagerly bind hole in recordInvalidNode

2025-11-16 11:47:21 +00:00

protocol_types_swift7.swift

…

protocol_types.swift

…

self.swift

[MiscDiagnostics] Modernize checkUseOfMetaTypeName

2026-01-13 10:09:37 -08:00

subclass_composition_objc.swift

…

subclass_composition.swift

Sema: Strengthen Subtypes vs Exact case in subsumeBinding()

2026-03-10 14:47:29 -04:00

types.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00