----- Mail original ----- > De: "Brian Goetz" <[email protected]> > À: "Remi Forax" <[email protected]> > Cc: "valhalla-spec-experts" <[email protected]> > Envoyé: Vendredi 6 Décembre 2019 22:37:35 > Objet: Re: IdentityObject and InlineObject
>> You see it as painful, i see it as a feature, it means that i can replace >> Object >> by IdentityObject and still be binary backward compatible. > > OK, now we're getting to the actual problem you're concerned about -- > that you think that there will be a lot of new binary compatibility > issues as a result of this. I am less worried about that, so perhaps > you could outline where you think we're creating a problem, and we can > evaluate whether that is bad? Seems to me we may be in > solution-to-not-really-a-problem territory. Currently something typed Object represent either any or ref, we decide that most of the Object represents any, so we still have to change some of the Object that represent ref. We can not change Object at declaration site if it's not binary backward compatible. Generics in Java are binary backward compatible for that reason. Rémi
