Function check_invariant

fn check_invariant(
    genv: GlobalEnv<'_, '_>,
    cache: &mut QueryCache,
    def_id: MaybeExternId,
    adt_def: &AdtDef,
    span: Span,
    invariant: &Invariant,
    checker_config: CheckerConfig,
) -> Result<(), ErrorGuaranteed>