const borderTopRightRadius_getterinfo: JSJitInfo;