@witty-crayon-22786: the information that bars is a List<Bar> is available in the classfile, so type erasure is not an excuse for zinc not to know this...