ddmd.dcast

Expression implicitCastTo(Expression e, Scope* sc, Type t);

Do an implicit cast. Issue error if it can't be done.

MATCH implicitConvTo(Expression e, Type t);

Return MATCH level of implicitly converting e to type t. Don't do the actual cast; don't change e.

Expression castTo(Expression e, Scope* sc, Type t);

Do an explicit cast. Assume that the 'this' expression does not have any indirections.

Expression inferType(Expression e, Type t, int flag = 0);

Set type inference target t Target type flag 1: don't put an error when inference fails

Expression scaleFactor(BinExp be, Scope* sc);

Scale addition/subtraction to/from pointer.

bool isVoidArrayLiteral(Expression e, Type other);

Return true if e is an empty array literal with dimensionality equal to or less than type of other array. [], [[]], [[[]]], etc. I.e., make sure that [1,2] is compatible with [], [[1,2]] is compatible with [[]], etc.

bool typeMerge(Scope* sc, TOK op, Type* pt, Expression* pe1, Expression* pe2);

Combine types.

Output: *pt merged type, if *pt is not NULL *pe1 rewritten e1 *pe2 rewritten e2

Returns:

true success false failed

Expression typeCombine(BinExp be, Scope* sc);

Bring leaves to common type.

Returns:

null on success, ErrorExp if error occurs

Expression integralPromotions(Expression e, Scope* sc);

Do integral promotions (convertchk). Don't convert to

bool arrayTypeCompatible(Loc loc, Type t1, Type t2);

See if both types are arrays that can be compared for equality. Return true if so. If they are arrays, but incompatible, issue error. This is to enable comparing things like an immutable array with a mutable one.

bool arrayTypeCompatibleWithoutCasting(Loc loc, Type t1, Type t2);

See if both types are arrays that can be compared for equality without any casting. Return true if so. This is to enable comparing things like an immutable array with a mutable one.

IntRange getIntRange(Expression e);