Using subtyping cache properly, MPS-19261