> 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 :)