Hamish Knight 61a5ae8e01 [CS] Eagerly bind hole in recordInvalidNode ...

We know this is where the issue is so we can immediately bind to a hole,
ensuring we don't produce unnecessary downstream diagnostics from
things we can't infer.

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

..

function

…

implicit_some

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

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

infer

…

Inputs

…

metatype

…

tuple

…

array.swift

[Sema] Remove workaround from TypeExpr::createForSpecializedDecl

2024-09-13 11:30:06 +01:00

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

AST: Add a diagnostic group for any syntax diagnostics

2025-02-12 22:22:10 +00:00

explicit_existential_multimodule1.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

explicit_existential_multimodule2.swift

TypeCheckType: Unconditionally warn about missing existential any until Swift 7

2025-02-12 21:20:44 +00:00

explicit_existential_protocol_typealias.swift

TypeResolution: Stop resolving unqualified protocol type aliases to DependentMemberType in structural stage

2025-02-12 17:10:27 +00:00

explicit_existential.swift

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

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

inline_array.swift

Enable InlineArray type sugar

2025-08-04 15:16:30 +01:00

nested_types.swift

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

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

objc_direct.swift

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

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

opaque_availability.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

2025-04-22 18:23:36 +01:00

opaque_constraint_order.swift

…

opaque_generic_superclass_constraint.swift

…

opaque_parameterized_existential.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

opaque_parameters.swift

Remove diag::type_of_expression_is_ambiguous

2025-08-19 17:14:23 +01:00

opaque_return_dynamic_self.swift

…

opaque_return_named.swift

…

opaque_return_non_direct.swift

…

opaque_return_property.swift

Sema: Fix soundness hole with variable initializers and opaque return types

2024-12-04 15:13:22 -05:00

opaque_return_structural.swift

TypeCheckType: Rework IUO diagnostics using behavior limitation

2025-01-21 21:41:00 +00:00

opaque_return_type_obc_protocol.swift

…

opaque_with_conditional_availability.swift

…

opaque.swift

Sema: Improve the infinite opaque return type check

2025-07-18 20:03:03 -04:00

pack_expansion.swift

Tests: Remove -disable-availability-checking in variadic generics tests.

2024-10-20 15:37:15 -07:00

parameterized_existential.swift

Sema: Allow parameterized existential compositions

2025-05-23 14:14:23 -04:00

parameterized_protocol.swift

Sema: Implement missing part of SE-0346

2025-06-03 17:28:19 -04:00

protocol_composition.swift

[CS] Eagerly bind hole in recordInvalidNode

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

protocol_types_swift7.swift

[Sema] Ensure performStmtDiagnostics is called for CaseStmts

2024-11-12 18:26:54 +00:00

protocol_types.swift

TypeCheckType: Unconditionally warn about missing existential any until Swift 7

2025-02-12 21:20:44 +00:00

self.swift

…

subclass_composition_objc.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

2025-04-22 18:23:36 +01:00

subclass_composition.swift

AST: Simplify ProtocolCompositionType::getMinimalCanonicalType() and remove bogus assert

2024-08-30 15:22:47 -04:00

types.swift

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

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