RFR: 8257600: [type-restrictions] Implement RestrictedField in C1 [v2]
github.com+828220+forax at openjdk.java.net
Thu Dec 3 15:50:11 UTC 2020
On Thu, 3 Dec 2020 15:28:21 GMT, Frederic Parain <fparain at openjdk.org> wrote:
>> Lois, Tobias,
>> thank you for your reviews.
>> Lois' comments have been addressed in the latest commit.
> The current goal of the type restrictions branch is to measure the impact and the cost of type restrictions checks, so features are being added incrementally (not a full model yet). The current goal is not to provide a support for full reification, and some models being proposed on top of type restrictions are relying on the fact that type restrictions can only be applied to primitive classes.
> For the first phase of this exploration, we should stick to the simple model until we reach the first mile-stone: full support of RestrictedField and RestrictedMethod in the interpreter, C1 and C2.
> By the time we implement this first step, we hope we'll have a better understanding on how to evolve the model, relaxing constraints, keeping them or modifying them.
nevermind, in the meantime, i can patch the attribute name so if it's not a record the attribute itself will not be recognized
More information about the valhalla-dev