# E4023

The trait is not found.

## Erroneous Example

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

The example above tries to cast a boolean value to an object
of the `Sh0w` trait, but this trait is not found in the current scope,
giving the following error on line 1:

```
The trait Sh0w is not found.
```

## Suggestion

Make sure the trait name is correct:

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