Pavel Yaskevich c1269883b8 [ConstraintSystem] Allow IUO types to be unrelated while forming a disjunction ...

Detect situations when type of a declaration hasn't been resolved yet
(one-way constraints would use a type variable to represent a type of IUO pattern),
and use additional type variable and a constraint to represent an
object type of a future optional type.

Resolves: SR-14893
Resolves: rdar://80271666

2021-08-30 11:59:43 -07:00

..

CodeCompletionTypeChecking.h

[CodeCompletion] Migrate key path completion to be solver based

2021-06-25 23:19:35 +02:00

Constraint.h

Add support for opaque result types in structural positions (#38392)

2021-08-03 23:45:02 -04:00

ConstraintGraph.h

[ConstraintGraph] Remove flags from inference methods

2021-06-07 14:35:15 -07:00

ConstraintGraphScope.h

[ConstraintSystem] NFC: Move ConstraintGraph{Scope}.h to include/swift/Sema

2020-10-08 10:42:58 -07:00

ConstraintLocator.h

Add support for opaque result types in structural positions (#38392)

2021-08-03 23:45:02 -04:00

ConstraintLocatorPathElts.def

Add support for opaque result types in structural positions (#38392)

2021-08-03 23:45:02 -04:00

ConstraintSolverStats.def

[ConstraintSystem] NFC: Move ConstraintSystem.h to include/swift/Sema

2020-10-08 10:45:47 -07:00

ConstraintSystem.h

[ConstraintSystem] Allow IUO types to be unrelated while forming a disjunction

2021-08-30 11:59:43 -07:00

CSBindings.h

[CSBindings] Account for literal bindings when checking "subtype of existential" property

2021-05-26 10:10:35 -07:00

CSFix.h

[Sema] Diagnose user-specified placeholders which couldn’t be resolved

2021-08-19 14:53:33 -04:00

IDETypeChecking.h

Preserve trailing closure index in OriginalArgumentList

2021-08-02 12:59:42 +01:00

IDETypeCheckingRequestIDZone.def

Requestify hasDynamicMemberLookupAttribute for Sema too

2019-12-13 11:04:00 -08:00

IDETypeCheckingRequests.h

CacheKind -> RequestFlags

2020-03-31 16:16:53 -07:00

OverloadChoice.h

[ConstraintSystem] Increase score only if members found on Optional and its unwrapped type

2021-01-13 09:12:03 -08:00

SolutionResult.h

[ConstraintSystem] NFC: Move SolutionResult.h to include/swift/Sema

2020-10-08 10:42:08 -07:00

SourceLoader.h

Parser: teach canImport to take an additional parameter indicating the minimum module version

2021-05-02 17:47:44 -07:00