Joe Groff 5456eb96a0 Sema: Allow T == NonCopyableOrEscapable same-type constraints without a redundant T: ~Copyable. ...

Enhance the logic in `applyInverses` to also take into account same-type constraints spelled in
the generic signature, so that same-type-constraining a type parameter to a type that is itself
not `Copyable` or `Escapable` suppresses the default application of those constraints on the
type parameter. Fixes rdar://147757973.

2025-05-12 16:15:04 -07:00

..

ConcreteContraction.cpp

AST/Sema: Use ProtocolConformanceRef::getTypeWitness()

2024-09-19 14:18:33 -04:00

ConcreteTypeWitness.cpp

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

Debug.h

RequirementMachine: Remove -warn-redundant-requirements flag

2024-02-02 14:57:19 -05:00

Diagnostics.cpp

Fix type parsing when preceeded by '-'

2024-09-11 10:28:44 -07:00

Diagnostics.h

Fix type parsing when preceeded by '-'

2024-09-11 10:28:44 -07:00

GenericSignatureQueries.cpp

AST/Sema: Use ProtocolConformanceRef::getTypeWitness()

2024-09-19 14:18:33 -04:00

Histogram.h

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

HomotopyReduction.cpp

RequirementMachine: Skip protocol type aliases that contain unbound dependent member types

2025-03-26 10:55:23 -04:00

InterfaceType.cpp

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

KnuthBendix.cpp

Cleanup std includes

2024-07-02 16:13:49 -07:00

MinimalConformances.cpp

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

NameLookup.cpp

[NameLookup] Plumb source location arguments through all name lookup APIs.

2023-06-11 23:09:47 -07:00

NameLookup.h

…

NormalizeRewritePath.cpp

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

PropertyMap.cpp

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

PropertyMap.h

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

PropertyRelations.cpp

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

PropertyUnification.cpp

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

RequirementBuilder.cpp

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

RequirementLowering.cpp

Sema: Allow T == NonCopyableOrEscapable same-type constraints without a redundant T: ~Copyable.

2025-05-12 16:15:04 -07:00

RequirementLowering.h

Sema: Allow T == NonCopyableOrEscapable same-type constraints without a redundant T: ~Copyable.

2025-05-12 16:15:04 -07:00

RequirementMachine.cpp

[Requirement Machine] Implement same-element requirements.

2024-07-15 10:19:32 -07:00

RequirementMachine.h

AST: Add GenericSignatureImpl::getReducedTypeParameter()

2024-09-13 15:19:48 -04:00

RequirementMachineRequests.cpp

Sema: Allow T == NonCopyableOrEscapable same-type constraints without a redundant T: ~Copyable.

2025-05-12 16:15:04 -07:00

RewriteContext.cpp

[Requirement Machine] Initialize storage for ThePackElementSymbol

2024-07-15 10:19:32 -07:00

RewriteContext.h

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

RewriteLoop.cpp

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

RewriteLoop.h

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

RewriteSystem.cpp

[Requirement Machine] Stricter verification conditions for element symbols.

2024-07-15 10:19:32 -07:00

RewriteSystem.h

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

Rule.cpp

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

Rule.h

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

RuleBuilder.cpp

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

RuleBuilder.h

Migrate llvm::Optional to std::optional

2024-02-21 11:20:06 -08:00

SimplifySubstitutions.cpp

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

Symbol.cpp

RequirementMachine: Skip protocol type aliases that contain unbound dependent member types

2025-03-26 10:55:23 -04:00

Symbol.h

RequirementMachine: Skip protocol type aliases that contain unbound dependent member types

2025-03-26 10:55:23 -04:00

Term.cpp

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

Term.h

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

Trie.h

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

TypeDifference.cpp

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

TypeDifference.h

Migrate llvm::Optional to std::optional

2024-02-21 11:20:06 -08:00