ExprTraitCallNode Type
Example: `(^T : (member Get : unit -> int) t)` — a statically-resolved type parameter (SRTP) trait call. Invokes `MemberDefn` on value `Expr` constrained to type `Type` at compile time.
Constructors
| Constructor |
Description
|
Full Usage:
ExprTraitCallNode(t, md, expr, range)
Parameters:
Type
md : MemberDefn
expr : Expr
range : range
Returns: ExprTraitCallNode
|
|
Instance members
| Instance member |
Description
|
|
|
|
|
|
fantomas