Pavel Yaskevich

Add Property Based Tests

2

Using one of the quickcheck implementations.

Allows different index implementations on different columns.

[CSSimplify] Fix handling of holes by OptionalObject constraint

2

When "optional type" is a hole the simplification logic has to simplify "object type" and mark all of its unresolved components are potential holes, otherwise hole propagation won't work since...

[Concurrency] Allow sendability mismatches while overriding `@preconcurrency` properties in Swift 5 mode

2

Downgrade a mismatch on `any Sendable` -> `Any` to a warning until Swift 6 to enable class authors to introduce concurrency annotations to overridable properties. Resolves: rdar://122193606

[AST/Sema] Make it possible to use init accessors in inlinable initializers

1

- Make init accessors `internal` - Require explicit `@usableFromInline` on init accessor when property is used in a designated inlinable initializer - Improve diagnostics when `@usableFromInline` is applied to a...

[Diagnostics] Add a note to invalid generic function specialization d…

1

…iagnostic

[CSSolver] Implementation of disjunction choice favoring algorithm

45

This algorithm attempts to ensure that the solver always picks a disjunction it knows the most about given the previously deduced type information. For example in chains of operators like:...

[ConstraintSystem] Use `findSelectedOverloadFor` in `isArgumentGeneri…

2

…cFunction` Fixes a crash when existing logic cannot properly determine whether argument is resolved or not. Instead of ad-hoc code that checks `ResolvedOverloads` directly, let's use a method that would...

[SE-0461] Replace `@execution(...)` with `@concurrent` and `nonisolated(nonsending)

1

- Add `@concurrent` declaration and type attributes to replace `@execution(concurrent)` - Add new `nonsending` modifier to `nonisolated` declaration modifier - Make it possible to use `nonisolated(nonsending)` in type and expression...