Apply constraints to arguments too