Generic methods forward their type arguments correctly

Calling another generic method from a generic method can fail with an undefined-variable error for the type parameter, even though the programme passes type checking. Forwarded explicit and inferred type arguments should use the caller's runtime type argument.