1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
//===--- RequirementLowering.h - Requirement inference and desugaring -----===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2021 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
#ifndef SWIFT_REQUIREMENTLOWERING_H
#define SWIFT_REQUIREMENTLOWERING_H
#include "swift/AST/Type.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/SmallVector.h"
#include <vector>
#include "Diagnostics.h"
namespace llvm {
class raw_ostream;
}
namespace swift {
class AssociatedTypeDecl;
class ProtocolDecl;
class ProtocolTypeAlias;
class Requirement;
namespace rewriting {
// Entry points used by AbstractGenericSignatureRequest and
// InferredGenericSignatureRequest; see RequirementLowering.cpp for
// documentation
// comments.
void desugarRequirements(SmallVector<StructuralRequirement, 2> &result,
SmallVectorImpl<InverseRequirement> &inverses,
SmallVectorImpl<RequirementError> &errors);
void desugarRequirement(Requirement req, SourceLoc loc,
SmallVectorImpl<Requirement> &result,
SmallVectorImpl<InverseRequirement> &inverses,
SmallVectorImpl<RequirementError> &errors);
void inferRequirements(Type type, ModuleDecl *module, DeclContext *dc,
SmallVectorImpl<StructuralRequirement> &result);
void realizeRequirement(DeclContext *dc,
Requirement req, RequirementRepr *reqRepr,
bool shouldInferRequirements,
SmallVectorImpl<StructuralRequirement> &result,
SmallVectorImpl<RequirementError> &errors);
void realizeInheritedRequirements(TypeDecl *decl, Type type,
bool shouldInferRequirements,
SmallVectorImpl<StructuralRequirement> &result,
SmallVectorImpl<RequirementError> &errors);
void applyInverses(ASTContext &ctx,
ArrayRef<Type> gps,
ArrayRef<InverseRequirement> inverseList,
SmallVectorImpl<StructuralRequirement> &result,
SmallVectorImpl<RequirementError> &errors);
// Defined in ConcreteContraction.cpp.
bool performConcreteContraction(
ArrayRef<StructuralRequirement> requirements,
SmallVectorImpl<StructuralRequirement> &result,
SmallVectorImpl<RequirementError> &errors,
bool debug);
} // end namespace rewriting
} // end namespace swift
#endif
|
