On 7/12/2018 6:55 am, Kim Barrett wrote: >> On Dec 6, 2018, at 7:56 AM, David Holmes <david.holmes at oracle.com> wrote: >> Pity there is no way to detect when we use something like that which we shouldn’t. > > You asked for it: > https://bugs.openjdk.java.net/browse/JDK-8214976 > :) I like it! Thanks, David