Incorrect inherent method resolution with multiple impls #9938
Labels
A-ty
type system / type inference / traits / method resolution
S-actionable
Someone could pick this issue up and work on it right now
This gets a false-positive
mismatched-arg-count
diagnostic, because we choose the firstimpl
block (despite the missing(): Tr
impl), while the second one is actually correct.This causes issues when using wasmer or wasm3, since they expose function handles with impls like these.
The text was updated successfully, but these errors were encountered: