mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
6f95203dfd
This is similar to SuppressedAssociatedTypes, but infers default requirements when primary associated types of protocols are suppressed. This defaulting for the primary associated types happens in extensions of the protocol, along with generic parameters, whenever a source-written requirement states a conformance requirement for the protocol. Thus, the current scheme for this defaulting is a simplistic, driven by source-written requirements, rather than facts that are inferred while building generic signatures. Defaults are not expanded for infinitely many associated types. rdar://135168163
93 lines
3.3 KiB
C++
93 lines
3.3 KiB
C++
//===--- 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 realizeTypeRequirement(DeclContext *dc,
|
|
Type subjectType,
|
|
Type constraintType,
|
|
SourceLoc loc,
|
|
SmallVectorImpl<StructuralRequirement> &result,
|
|
SmallVectorImpl<RequirementError> &errors,
|
|
bool isFromInheritanceClause);
|
|
|
|
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,
|
|
ArrayRef<StructuralRequirement> explicitRequirements,
|
|
SmallVectorImpl<StructuralRequirement> &result,
|
|
SmallVectorImpl<RequirementError> &errors);
|
|
|
|
// Defined in ConcreteContraction.cpp.
|
|
bool performConcreteContraction(
|
|
ArrayRef<StructuralRequirement> requirements,
|
|
SmallVectorImpl<StructuralRequirement> &result,
|
|
SmallVectorImpl<RequirementError> &errors,
|
|
bool debug);
|
|
|
|
Type stripBoundDependentMemberTypes(Type t);
|
|
|
|
} // end namespace rewriting
|
|
|
|
} // end namespace swift
|
|
|
|
#endif
|