[vector] Remove generics from Vector.Shape

John Rose john.r.rose at oracle.com
Tue Jan 30 01:51:25 UTC 2018


Generics don’t remove runtime checks but they can prove that the checks will succeed in the absence of raw types or unsafe casts. 

> On Jan 29, 2018, at 4:39 PM, Paul Sandoz <paul.sandoz at oracle.com> wrote:
> 
> we need to perform runtime checks



More information about the panama-dev mailing list