8945: fix: Make expected type work in more situations r=flodiebold a=flodiebold Also makes call info show the correct types for generic methods.   Co-authored-by: Florian Diebold <flodiebold@gmail.com>