pub fn default_static_ty(
genv: GlobalEnv<'_, '_>,
def_id: DefId,
) -> QueryResult<Ty>Expand description
The type of a static without a flux spec: the default refinement of its rust type. Reads of
such a static use this type too, so e.g. the field specs of a struct are assumed when reading
from the static, and thus must be checked in its initializer.