# E0083

Warning name: `type_param_method`

Calling a trait method on a type parameter through deprecated implicit method
resolution.

When a method comes from a supertrait of the written constraint, or a type
parameter has multiple trait bounds that could supply methods, dot syntax does
not make the selected trait explicit. Use `Trait::method(value, ...)` instead.

## Erroneous example

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

## Suggestion

Qualify the method with the trait that declares it.

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