inserting cast to untyped function
field inference
field inference