const border_bottom_getterinfo: JSJitInfo;