test/regression/0500/0582.unit

>>>
void fn() {
  List<String> a;
  // NOTICE THE TYPE PARAMETER
  a.fold<int>(0, (memo, s) {
    return max(memo, s.length);
  });
}
<<<
void fn() {
  List<String> a;
  // NOTICE THE TYPE PARAMETER
  a.fold<int>(0, (memo, s) {
    return max(memo, s.length);
  });
}