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...