Correctly generate `impl` blocks for traits with generics