basic implementation of #1127 for base expressions
implement #1127 for qualified function refs
inference for indirect invocations #1127
stupid javac
do a TODO for #1127
properly handle value parameters and variadics for #1127
tests for #1127
sync new code with usual type arg inference algorithm
handle static attribute references for #1127
cleanup after #1127
extra test