Missing F* implicit argument with multiple impl args

[maximebuyse]

fn f(arg1: impl Clone, arg2: impl Clone) {}

Open this code snippet in the playground

The generated F* for this is:

let f
      (#impl_517411079_ #impl_517411079_:
          Type0)
      (#[FStar.Tactics.Typeclasses.tcresolve
            ()]
          i2:
          Core.Clone.t_Clone
          impl_517411079_)
      (#[FStar.Tactics.Typeclasses.tcresolve
            ()]
          i3:
          Core.Clone.t_Clone
          impl_330573305_)
      (arg1: impl_517411079_)
      (arg2: impl_330573305_)
    : Prims.unit = ()

impl_517411079_ is declared twice and impl_330573305_ is never declared.