Function invariants_of

pub(crate) fn invariants_of<'genv>(
    genv: GlobalEnv<'genv, '_>,
    item: &Item<'genv>,
) -> QueryResult<Vec<Invariant>>