# dmd.dcast

Semantic analysis for cast-expressions.

#### Authors

Walter Bright

#### License

Boost License 1.0

Source: dcast.d

Documentation: https://dlang.org/phobos/dmd_dcast.html

Coverage: https://codecov.io/gh/dlang/dmd/src/master/src/dmd/dcast.d

- `implicitCastTo`

  #### Declaration

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

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

- `implicitConvTo`

  #### Declaration

  `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`.

- `castTo`

  #### Declaration

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

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

- `inferType`

  #### Declaration

  `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

- `scaleFactor`

  #### Declaration

  `Expression `scaleFactor`(BinExp `be`, Scope* `sc`);`

  Scale addition/subtraction to/from pointer.

- `typeMerge`

  #### Declaration

  `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

  #### Return Value

  `true` success `false` failed

- `typeCombine`

  #### Declaration

  `Expression `typeCombine`(BinExp `be`, Scope* `sc`);`

  Bring leaves to common type.

  #### Return Value

  `null` on success, ErrorExp if error occurs

- `integralPromotions`

  #### Declaration

  `Expression `integralPromotions`(Expression `e`, Scope* `sc`);`

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

- `fix16997`

  #### Declaration

  `void `fix16997`(Scope* `sc`, UnaExp `ue`);`

  This provides a transition from the non-promoting behavior of unary + - ~ to the C-like integral promotion behavior.

  #### Parameters

  `Scope* `sc`` | context
  `UnaExp `ue`` | NegExp, UAddExp, or ComExp which is revised per rules

  References: https://issues.dlang.org/show_bug.cgi?id=16997

- `arrayTypeCompatibleWithoutCasting`

  #### Declaration

  `bool `arrayTypeCompatibleWithoutCasting`(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.

- `getIntRange`

  #### Declaration

  `IntRange `getIntRange`(Expression `e`);`