# E4034

Multiple possible struct types detected, please add more annotation.

## Erroneous Example

```{literalinclude} /sources/error_codes/4034_error/top.mbt
:language: moonbit
```

The example above tries to assign a struct with fields `x` and `y` to a variable `c`,
but this field combination matches both `S` and `T` types, giving the following error on line 4:

```
Multiple possible struct types detected: T, S, please add more annotation.
```

## Suggestion

Disambiguate the struct type by adding a type annotation:

```{literalinclude} /sources/error_codes/4034_fixed/top.mbt
:language: moonbit
```