Currently, the way that we perform inferencing inside of closures is incorrect. We set the this variable to be the type that seems like an appropriate value for delegate. This means that we loose super-type information (see
GRECLIPSE-1317). It also means that we can't easily solve GRECLIPSE-1298. And a variant of GRECLIPSE-1297 becomes possible.