disallow, for now, invocations where type arg inference results in
an unknown type (force explicit specification of type args) #604