View source code
Display the source code in dmd/templatesem.d from which this page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using local clone.

Function dmd.templatesem.matchWithInstance

Given that ti is an instance of this TemplateDeclaration, deduce the types of the parameters to this, and store those deduced types in dedtypes[].

MATCH matchWithInstance (
  dmd.dscope.Scope* sc,
  TemplateDeclaration td,
  TemplateInstance ti,
  ref dmd.root.array.Array!(dmd.rootobject.RootObject) dedtypes,
  ArgumentList argumentList,
  int flag
);

Parameters

NameDescription
sc context
td template
ti instance of td
dedtypes fill in with deduced types
argumentList arguments to template instance
flag 1 - don't do semantic() because of dummy types 2 - don't change types in matchArg()

Returns

match level.

Authors

Walter Bright

License

Boost License 1.0