Slava Pestov e9266c25d3 Sema: Fix accepts-invalid with throwing function types ...

We can't unconditionally skip the conformance check if the type contains type
parameters; instead, we only want to skip it in the structural resolution
stage. In interface resolution stage, we proceed by mapping the type into
the generic environment first.

2025-02-10 09:17:40 -05:00

..

arg_rename.swift

…

async.swift

Tests: Remove -disable-availability-checking in more tests that use concurrency.

2024-10-19 12:35:20 -07:00

complete_object_init.swift

…

constructor.swift

…

debugger_function.swift

…

default-values-swift4.swift

…

default-values.swift

…

dynamic_self.swift

Sema: Convert TypeChecker::computeCaptures() into two requests

2024-04-20 22:16:25 -04:00

functions.swift

[Diagnostics] Clarify the wording of error_in_future_swift_version.

2024-03-01 12:05:51 -08:00

keyword-argument-defaults.swift

…

keyword-argument-labels.swift

…

local-function-overload.swift

…

operator_suggestions.swift

…

operator.swift

Sema: Ban uncallable protocol member operators

2024-04-23 15:28:16 -04:00

rethrows.swift

[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit

2024-08-07 14:01:30 -07:00

special_func_name.swift

[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit

2024-08-07 14:01:30 -07:00

static_func.swift

…

throwing_functions_without_try.swift

…

throwing_functions.swift

[Typed throws] Refactor thrown error subtyping check for reuse.

2023-10-09 21:21:21 -07:00

trailing_closures.swift

…

typed_throws_availability.swift

Diagnose deployment constraints on type metadata involving typed throws

2024-07-03 21:08:54 -07:00

typed_throws.swift

Sema: Fix accepts-invalid with throwing function types

2025-02-10 09:17:40 -05:00

vararg.swift

…