View on GitHub
Predicate
struct Predicate : DisjunctiveConstraintTerm, Hashableextension OverloadConstraint.Predicate: CustomStringConvertibleA candidate in an overload constraint.
-
The candidate reference.
Declaration
Swift
let reference: DeclReference -
The instantiated type the referred declaration.
Declaration
Swift
let type: AnyType -
The set of constraints associated with this choice.
Declaration
Swift
let constraints: ConstraintSet -
The penalties associated with this choice.
Declaration
Swift
let penalties: Int -
Creates an instance with the given properties.
Declaration
Swift
init(reference: DeclReference, type: AnyType, constraints: ConstraintSet, penalties: Int) -
Creates an instance representing the selection of
pick, penalized bypenalties.Declaration
Swift
init(_ pick: NameResolutionResult.Candidate, penalties: Int) -
Declaration
Swift
var description: String { get }