List of all items
Structs
- driver::CharonCallbacks
- driver::RunCompilerNormallyCallbacks
- translate::translate_bodies::BodyTransCtx
- translate::translate_ctx::BindingLevel
- translate::translate_ctx::DepSource
- translate::translate_ctx::ErrorCtx
- translate::translate_ctx::ItemTransCtx
- translate::translate_ctx::Level
- translate::translate_ctx::TranslateCtx
Enums
- CharonFailure
- translate::translate_ctx::TransItemSource
- translate::translate_traits::PredicateLocation
Macros
- translate::translate_ctx::error_assert
- translate::translate_ctx::raise_error
- translate::translate_ctx::register_error
Functions
- driver::arg_values
- driver::def_id_debug
- driver::run_compiler_with_callbacks
- driver::run_rustc_driver
- driver::set_mir_options
- driver::set_no_codegen
- driver::set_skip_borrowck
- driver::setup_compiler
- driver::skip_borrowck_if_set
- main
- run_charon
- transformation_passes
- translate::get_mir::get_mir_for_def_id_and_level
- translate::resolve_path::def_path_def_ids
- translate::resolve_path::find_primitive_impls
- translate::translate_bodies::translate_borrow_kind
- translate::translate_bodies::translate_field_id
- translate::translate_bodies::translate_variant_id
- translate::translate_crate_to_ullbc::translate
- translate::translate_ctx::catch_sinto
- translate::translate_types::check_region_name
- translate::translate_types::translate_bound_region_kind_name
- translate::translate_types::translate_region_name