Error code E0276
A trait implementation has stricter requirements than the trait definition.
Erroneous code example:
ⓘ
Here, all types implementing Foo
must have a method foo<T>(x: T)
which can
take any type T
. However, in the impl
for bool
, we have added an extra
bound that T
is Copy
, which isn't compatible with the original trait.
Consider removing the bound from the method or adding the bound to the original method definition in the trait.