Suzanne Millstein
Results
62
comments of
Suzanne Millstein
(This is a note for fixing this in the future.) There's a bug in AtmLubVisitor#lubTypeArgument where when lubing: `@Tainted List` and `@Tainted Object` is `capture#01 extends @Tainted Object super @Tainted...
This is a true positive. `putIfAbsent` will throw a NPE if the provided supplier returns a null object. To fix the error, annotate `putIfAbsent` in `ServiceRegistry` like so: ``` public...