[T] Expression

type Expression =
  | ArrayExpressionNode
  | MemberExpressionNode
  | ModelExpressionNode
  | ModelDeclarationExpressionNode
  | EnumDeclarationExpressionNode
  | UnionDeclarationExpressionNode
  | ScalarDeclarationExpressionNode
  | ObjectLiteralNode
  | ArrayLiteralNode
  | TupleExpressionNode
  | UnionExpressionNode
  | IntersectionExpressionNode
  | TypeReferenceNode
  | ValueOfExpressionNode
  | TypeOfExpressionNode
  | CallExpressionNode
  | StringLiteralNode
  | NumericLiteralNode
  | BooleanLiteralNode
  | StringTemplateExpressionNode
  | VoidKeywordNode
  | NeverKeywordNode
  | AnyKeywordNode
  | FunctionTypeExpressionNode;

Syntax accepted in expression positions, including type expressions and value-producing syntax. Whether an expression denotes a type, value, or constraint is determined during checking.