# E0073

Warning name: `unnecessary_annotation`

Unnecessary type or package annotation.

MoonBit reports this warning when a type or package qualifier repeats
information that is already known from context. Removing the qualifier keeps the
code shorter without changing the meaning.

## Erroneous example

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

## Suggestion

Remove the redundant annotation.

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