Richard Eisenberg authored Mar 09, 2020 and Marge Bot committed Mar 10, 2020

Previously, anyRewritableTyVar looked only at the arg and res
of `arg -> res`, but their RuntimeReps are also subject to
rewriting. Easy to fix.

Test case: typecheck/should_compile/T17024

Fixes #17024.