njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.
MIT License
0 stars 5 forks source link

Don't create raw types #237

Closed kelloggm closed 3 months ago

kelloggm commented 3 months ago

Previously, the synthetic method for containsAll in Baz had the parameter type com.example.Baz (without the <?>, meaning it is a raw type). There are two problems with that:

Based on an example I found while investigating cf-691.