Method invocation type checking no longer relies on obsolete TypeMemberRegistry, instead always trusting the instance type object to provide its list of known methods.