Type Inference Regression

See my response here. It is not intended that this should work.