Anton Korobeynikov 595abee2c1 First cut of parameter pack differentiation

2025-07-25 15:15:56 -07:00

..

ApplyInverses.cpp

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

2025-05-13 11:31:41 -07:00

ConcreteContraction.cpp

AST: Remove origType parameter from ProtocolConformanceRef::getTypeWitness()

2025-04-03 17:35:32 -04:00

ConcreteTypeWitness.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

Debug.h

RequirementMachine: Remove -warn-redundant-requirements flag

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

Diagnostics.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

Diagnostics.h

Fix type parsing when preceeded by '-'

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

GenericSignatureQueries.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

Histogram.h

RequirementMachine: Convert to new assertions

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

HomotopyReduction.cpp

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

InterfaceType.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

KnuthBendix.cpp

RequirementMachine: Fix the most embarassing bug of all time

2025-06-17 17:51:26 -04:00

MinimalConformances.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01: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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01: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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

RequirementBuilder.cpp

RequirementMachine: Small cleanup

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

RequirementLowering.cpp

First cut of parameter pack differentiation

2025-07-25 15:15:56 -07:00

RequirementLowering.h

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

2025-05-13 11:31:41 -07:00

RequirementMachine.cpp

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

RequirementMachine.h

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

RequirementMachineRequests.cpp

AST: Remove MakeAbstractConformanceForGenericType

2025-07-15 16:34:11 -04:00

RewriteContext.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

RewriteContext.h

RequirementMachine: Small cleanup

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

RewriteLoop.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

RewriteLoop.h

RequirementMachine: Convert to new assertions

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

RewriteSystem.cpp

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

RewriteSystem.h

RequirementMachine: Fix the most embarassing bug of all time

2025-06-17 17:51:26 -04:00

Rule.cpp

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

Rule.h

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

Symbol.cpp

RequirementMachine: Add an assert

2025-06-10 16:49:57 -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: Compare weight before length in Term/MutableTerm::compare()

2025-04-29 13:55:30 -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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

TypeDifference.h

Migrate llvm::Optional to std::optional

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