Function static_info 

pub(crate) fn static_info(
    genv: GlobalEnv<'_, '_>,
    def_id: MaybeExternId,
) -> QueryResult<Ty>

The type of a static: its spec if it has one, or the default refinement of its rust type.