the type a constructor was sought on.
, for each actual argument (in order), every JVM/Kotlin type it could have been converted into.