Explicit_def_id.ImplInfoStoreval init : (Types.def_id * Types.impl_infos) Prelude.list -> Prelude.unitval lookup_raw : t -> Types.impl_infos Prelude.optionLookup the (raw1) implementation information given a concrete ident. Returns `Some _` if and only if the supplied identifier points to an `Impl`.
1: those are raw THIR types.
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.