const border_top_left_radius_getterinfo: JSJitInfo;