mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
58fa8bf762
The flow was such that we recorded subtype constraints regardless of the subject type's nature. Extract value generics handling out of the devious `else if` chain, and never record any subtype constraints if the subject type is a non-type parameter. While we're here, generalize the diagnostic message for user-written subtype constraints on value generic parameters and emit it consistently, not just if the right-hand side contains a protocol type.
91 lines
3.2 KiB
C++
91 lines
3.2 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);
|
|
|
|
} // end namespace rewriting
|
|
|
|
} // end namespace swift
|
|
|
|
#endif
|