Oops, meant to replace the 'has' (which I changed to 'needs' in the typeck code).