improve inference of type.super