added function signature dump to function type inference failure error msg