averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
coro-ast-no-diff
swift-mirror/lib/AST/RequirementMachine
History
Anthony Latsis bda6edb85c AST: Rename GenericContext::isGeneric to hasGenericParamList 
`isGeneric` is a misleading name because this method checks for the
existence of a `GenericParamList`, which is not implied by genericity.
2025-11-11 15:55:16 +00:00
..
ApplyInverses.cpp
Manually merge remote-tracking branch 'origin/main' into rebranch
2025-05-15 13:48:37 +01: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
RequirementMachine: Diagnose unsupported value generic parameter definitions properly
2025-10-08 02:13:03 +01:00
Diagnostics.h
RequirementMachine: Diagnose unsupported value generic parameter definitions properly
2025-10-08 02:13:03 +01:00
GenericSignatureQueries.cpp
RequirementMachine: Adding shape abstractions
2025-10-31 17:29:45 +00: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
Requirement Machine: Fix an issue with pack expansion + tuple type crashes
2025-10-31 17:53:59 +00: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.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: Adding shape abstractions
2025-10-31 17:29:45 +00:00
RequirementLowering.cpp
AST: Rename GenericContext::isGeneric to hasGenericParamList
2025-11-11 15:55:16 +00:00
RequirementLowering.h
RequirementMachine: Diagnose unsupported value generic parameter definitions properly
2025-10-08 02:13:03 +01:00
RequirementMachine.cpp
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04:00
RequirementMachine.h
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04:00
RequirementMachineRequests.cpp
[AST] Factor out GenericSignature::forInvalid
2025-10-08 21:16:02 +01: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: Adding shape abstractions
2025-10-31 17:29:45 +00: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
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04:00
RuleBuilder.h
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04: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: Adding shape abstractions
2025-10-31 17:29:45 +00:00
Term.h
RequirementMachine: Adding shape abstractions
2025-10-31 17:29:45 +00: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