dmd v2.104.0 (2023-06-02T08:46:32Z)
Dub
Repo
TemplateDeclaration.evaluateConstraint
dmd
dtemplate
TemplateDeclaration
Check to see if constraint is satisfied.
class
TemplateDeclaration
extern (
D
)
bool
evaluateConstraint
(
TemplateInstance
ti
,
Scope
*
sc
,
Scope
*
paramscope
,
Objects
*
dedargs
,
FuncDeclaration
fd
)
Meta
Source
See Implementation
dmd
dtemplate
TemplateDeclaration
functions
addInstance
declareParameter
deduceFunctionTemplateMatch
doHeaderInstantiation
evaluateConstraint
findExistingInstance
getConstraintEvalError
isOverloadable
isVariadic
leastAsSpecialized
matchWithInstance
overloadInsert
removeInstance
scopeForTemplateParameters
toCharsNoConstraints
variables
deprecated_
isTrivialAlias
isTrivialAliasSeq
Check to see if constraint is satisfied.