Parameter type inference can now extract information when the parameter is used in a function call.