Alejandro Alonso d0513a7aec Merge pull request #79665 from Azoy/value-generics-no-more-experiment ...

[AST] Make ValueGenerics feature always available

2025-03-10 15:14:34 -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

…

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: Small cleanup

2024-09-14 23:33:11 -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.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

[Isolated conformances] Diagnose conflict with isolated conformances and Sendable

2025-02-28 13:08:35 -08:00

RequirementLowering.h

Sema: Clean up InferredGenericSignatureRequest

2024-02-09 16:02:32 -08: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

Make ValueGenerics feature always available

2025-02-27 10:03:37 -08: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: Forgot to re-enable an assert

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

Symbol.h

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07: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