ddmd-experimental ~master (2021-12-25T08:46:30.2604305)
Dub
Repo
TemplateDeclaration.evaluateConstraint
ddmd
dtemplate
TemplateDeclaration
Check to see if constraint is satisfied.
class
TemplateDeclaration
bool
evaluateConstraint
(
TemplateInstance
ti
,
Scope
*
sc
,
Scope
*
paramscope
,
Objects
*
dedargs
,
FuncDeclaration
fd
)
Meta
Source
See Implementation
ddmd
dtemplate
TemplateDeclaration
constructors
this
functions
accept
addInstance
declareParameter
deduceFunctionTemplateMatch
doHeaderInstantiation
evaluateConstraint
findExistingInstance
hasStaticCtorOrDtor
isOverloadable
isTemplateDeclaration
isVariadic
kind
leastAsSpecialized
matchWithInstance
overloadInsert
prot
removeInstance
semantic
syntaxCopy
toChars
variables
constraint
funcroot
instances
ismixin
isstatic
literal
onemember
origParameters
overnext
overroot
parameters
previous
protection
Check to see if constraint is satisfied.