Holly Borla 679825063a [RequirementMachine] Only skip Sendable requirements inferred from preconcurrency ...

decls if the decl we're inferring the generic signature for is not itself
preconcurrency.

2023-01-19 20:28:50 -08:00

..

ConcreteContraction.cpp

[RequirementMachine] Use pack expansion types as a source for requirement inference.

2022-10-23 19:51:05 -07:00

ConcreteTypeWitness.cpp

RequirementMachine: Don't filter out unavailable Sendable conformance if allowMissing=true

2022-06-22 00:48:59 -04:00

Debug.h

RequirementMachine: Add -debug-requirement-machine=split-concrete-equiv-class flag

2022-09-19 23:50:21 -04:00

Diagnostics.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

Diagnostics.h

[Requirement] Rename RequirementKind::SameCount to SameShape.

2022-10-06 20:48:40 -07:00

GenericSignatureQueries.cpp

[AST] Plumb reduced shape types through local requirements into pack archetypes.

2022-10-23 11:42:46 -07:00

Histogram.h

…

HomotopyReduction.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

InterfaceType.cpp

[AST] Replace the "type sequence" terminology with "parameter pack".

2022-10-10 16:28:13 -07:00

KnuthBendix.cpp

Revert "RequirementMachine: Remove completion procedure hacks for old minimal conformances algorithm"

2022-11-01 19:10:47 -04:00

MinimalConformances.cpp

[RequirementMachine] Add a new symbol kind for the shape of a parameter

2022-10-06 20:38:30 -07:00

NameLookup.cpp

RequirementMachine: Better tests for concrete type requirements with opaque archetypes

2022-03-22 23:53:40 -04:00

NameLookup.h

RequirementMachine: Fix lookupConcreteNestedType() to cope with opaque archetypes

2022-03-17 17:45:52 -04:00

NormalizeRewritePath.cpp

RequirementMachine: Support for RewriteStep::Relation in computeNormalForm()

2022-03-15 13:35:34 -04:00

PropertyMap.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

PropertyMap.h

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

PropertyRelations.cpp

RequirementMachine: Write some comments

2022-03-28 22:16:09 -04:00

PropertyUnification.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

RequirementBuilder.cpp

RequirementMachine: Fix unused variable warning

2022-10-16 21:37:25 -04:00

RequirementLowering.cpp

[RequirementMachine] Only skip Sendable requirements inferred from preconcurrency

2023-01-19 20:28:50 -08:00

RequirementLowering.h

[RequirementMachine] Only skip Sendable requirements inferred from preconcurrency

2023-01-19 20:28:50 -08:00

RequirementMachine.cpp

[AST] Replace the "type sequence" terminology with "parameter pack".

2022-10-10 16:28:13 -07:00

RequirementMachine.h

[RequirementMachine] Add a generic signature query that determines whether

2022-10-07 10:35:49 -07:00

RequirementMachineRequests.cpp

[RequirementMachine] Only skip Sendable requirements inferred from preconcurrency

2023-01-19 20:28:50 -08:00

RewriteContext.cpp

[RequirementMachine] Store the singleton 'Storage' instance for shape

2022-10-07 10:35:49 -07:00

RewriteContext.h

[RequirementMachine] Store the singleton 'Storage' instance for shape

2022-10-07 10:35:49 -07:00

RewriteLoop.cpp

RequirementMachine: Fix some comments

2022-08-11 14:10:01 -04:00

RewriteLoop.h

RequirementMachine: Remove old minimal conformances algorithm

2022-07-06 11:57:21 -04:00

RewriteSystem.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

RewriteSystem.h

RequirementMachine: Diagnose recursive requirements

2022-08-11 14:12:06 -04:00

Rule.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

Rule.h

RequirementMachine: Compute recursive rules

2022-08-11 14:10:01 -04:00

RuleBuilder.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

RuleBuilder.h

Spelling ast (#42463)

2022-04-21 12:57:16 -07:00

SimplifySubstitutions.cpp

Spelling ast (#42463)

2022-04-21 12:57:16 -07:00

Symbol.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

Symbol.h

[RequirementMachine] Map same-shape requriements to rewrite rules.

2022-10-06 20:38:31 -07:00

Term.cpp

use new llvm::Optional API

2022-11-21 19:44:24 +01:00

Term.h

RequirementMachine: Simplify the Symbol API for removal of merged associated types

2022-02-07 18:57:45 -05:00

Trie.h

RequirementMachine: Const correctness

2022-07-05 21:40:06 -04:00

TypeDifference.cpp

[AST] Replace the "type sequence" terminology with "parameter pack".

2022-10-10 16:28:13 -07:00

TypeDifference.h

…