# dmd.initsem

Semantic analysis of initializers.

#### Authors

Walter Bright

#### License

Boost License 1.0

Source: initsem.d

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

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

- `toAssocArrayLiteral`

  #### Declaration

  `Expression `toAssocArrayLiteral`(ArrayInitializer `ai`);`

  If possible, convert array initializer to associative array initializer.

  #### Parameters

  `ArrayInitializer `ai`` | array initializer to be converted

  #### Return Value

  The converted associative array initializer or ErrorExp if ``ai`` is not an associative array initializer.

- `initializerSemantic`

  #### Declaration

  `Initializer `initializerSemantic`(Initializer `init`, Scope* `sc`, ref Type `tx`, NeedInterpret `needInterpret`);`

  Perform semantic analysis on `init`.

  #### Parameters

  `Initializer `init`` | Initializer AST node
  `Scope* `sc`` | context
  `Type `tx`` | type that the initializer needs to become. If `tx` is an incomplete type and the initializer completes it, it is updated to be the complete type. ImportC has incomplete types
  `NeedInterpret `needInterpret`` | if CTFE needs to be run on this, such as if it is the initializer for a const declaration

  #### Return Value

  `Initializer` with completed semantic analysis, `ErrorInitializer` if errors were encountered

- `inferType`

  #### Declaration

  `Initializer `inferType`(Initializer `init`, Scope* `sc`);`

  Translate `init` to an `Expression` in order to infer the type.

  #### Parameters

  `Initializer `init`` | `Initializer` AST node
  `Scope* `sc`` | context

  #### Return Value

  an equivalent `ExpInitializer` if successful, or `ErrorInitializer` if it cannot be translated

- `initializerToExpression`

  #### Declaration

  `Expression `initializerToExpression`(Initializer `init`, Type `itype` = null);`

  Translate `init` to an `Expression`.

  #### Parameters

  `Initializer `init`` | `Initializer` AST node
  `Type `itype`` | if not `null`, type to coerce expression to

  #### Return Value

  `Expression` created, `null` if cannot, `ErrorExp` for other errors