Simple function type resolution testing