For each prime $p$, fix a place of $\bar{\mathbb{Q}}$ extending $p$ so we can reduce elements of $\bar{\mathbb{Q}}$ which are integral over $\mathbb Z$ and get elements of $\bar{\mathbb{F}}_p$. Now let $X$ be a smooth projective variety over $\bar{\mathbb{Q}}(t)$. For all but finitely many $p$ we can reduce the coefficients (of the coefficients in $t$) of the equations defining $X$ modulo $p$ and get $X_p$ defined over $\bar{\mathbb{F}}_p(t)$.
Is the following true/known: $X(\bar{\mathbb{Q}}(t)) = \emptyset$ if and only if $X_p(\bar{\mathbb{F}}_p(t)) = \emptyset$ for all but finitely many $p$?
Note that this is a somewhat non-standard local-global principle, as I am not using the places of $\bar{\mathbb{Q}}(t)/\bar{\mathbb{Q}}$.
I have an attempted proof that doesn't quite work. The set $\{P \in X(k(t)) \mid h(P) \le N\}$, for an algebraically closed field $k$, integer $N$ and some height function $h$ is a variety over $k$ and whether it is empty or not can be described by some polynomial identities, by the Nullstellensatz. So, this set is empty for $k=\bar{\mathbb{Q}}$ if and only if it is empty for $k=\bar{\mathbb{F}}_p$ for all but finitely many $p$. But that's not enough to solve my problem because I may have to apply it to $N$ depending on $p$. If, however, one has an a priori bound on $N$, then it works. For example, the above local-global principle works for non-isotrivial curves, since a result of Szpiro provides a bound on $N$.
Also, this will not work without the algebraic closures of the constant fields as counterexamples for the Hasse principle will work here too.
