widen generics in ErrorCollector

This brings the signatures in line with others like Assert.assertThat.

Especially the checkSucceeds would be hardly usable in languages with
target typing (Java8/Xtend) otherwise.