Module Hax_engine.Impl_infos

type t = {
  1. trait_goal : Ast.Rust.trait_goal Prelude.option;
    (*

    The trait implemented by the impl block or None if the impl block is an inherent impl.

    *)
  2. typ : Ast.Rust.ty;
    (*

    The type implemented by the impl block.

    *)
  3. clauses : Ast.Rust.trait_goal Prelude.list;
    (*

    The clauses that constraint this impl block.

    *)
}

metadata of an impl block

Lookup the implementation informations given a concrete ident. Returns Some _ if and only if the supplied identifier points to an Impl.

WARNING: due to issue 363, when looking up certain identifiers generated by the engine, this function may return None even though the supplied identifier points to an Impl block.