The inverse Galois problem is known for (or in Jarden's and Fried's terminology, the following fields are universally admissible) function fields over henselian fields (like $\mathbb{Q}_p(x)$); function fields over large fields (like $\mathbb{C}(x)$); and large Hilbertian fields (conjecturally $\mathbb{Q}^{ab}$, although I'm not certain that any field is known to be in this category).

## Clarification:

A large field $K$ (a.k.a. an ample field) is a field such that if $V$ is a variety of dimension $\geq 1$ over $K$ with at least one smooth $K$-rational point, then it has infinitely many smooth $K$-rational points. For example any algebraically closed field is large.

A Hilbertian field is more difficult to explain, but it suffices to say that any number field and any function field (over any field) is Hilbertian.

## My question is:

Is there a proof (not a conjecture) that there exists a field $K$ which is neither a function field over a henselian field, nor a function field over a large field, nor a large Hilbertian field, such that the inverse Galois problem is true over that field? (i.e. that every finite group is realizable as a Galois group over that field)