Generate actual arg types for both branches in call inference