Re: Both Collector.of() are not correctly typed

2018-12-05 Thread Stuart Marks
Hi Rémi, I can sponsor this for you. Can you file a bug report? Thanks, s'marks On 11/25/18 12:10 PM, Remi Forax wrote: ping ! Rémi - Mail original - De: "Remi Forax" À: "core-libs-dev" Envoyé: Mardi 13 Novembre 2018 15:47:54 Objet: Both Collector.of() are

Re: Both Collector.of() are not correctly typed

2018-11-25 Thread Remi Forax
ping ! Rémi - Mail original - > De: "Remi Forax" > À: "core-libs-dev" > Envoyé: Mardi 13 Novembre 2018 15:47:54 > Objet: Both Collector.of() are not correctly typed > Last year, > a student of mine as remarked that the two variants of Co

Both Collector.of() are not correctly typed

2018-11-13 Thread Remi Forax
Last year, a student of mine as remarked that the two variants of Collector.of() are not correctly typed (the wildcards are missing) and obviously, this year it's one of my teaching assistant that has found exactly the same issue. So let's fix this issue. Adding the wildcards is both source and