const borderTopLeftRadius_setterinfo: JSJitInfo;