specialize subtyping inversion to empty context