Neal Gafter a écrit : > Remi- > > Do you have any evidence that this is a sound extension of the type system? > I don't think the rule about generics interfaces is here to ensure that the type system is sound or not. It's about avoiding clash between bridges that as you know contains code. Rémi