ok crap, sometimes it can infer some stuff and sometimes it can't.

Signed-off-by: Michael Donaghy <md401@srcf.ucam.org>