Properly localize require ancestors in Typing_subtype