Lib.rs

› hax-frontend-exporter › Features

Cargo Features

[dependencies]
hax-frontend-exporter = { version = "0.1.0-rc.1", default-features = false, features = ["extract_names_mode", "rustc"] }
default = rustc

The rustc feature is set by default whenever hax-frontend-exporter is added without default-features = false somewhere in the dependency tree.

extract_names_mode
rustc default

Enables the conversion bridges from rustc types (and AST) to the ones defined in this crate. Enabling rustc adds a dependency to librustc_driver.

Affects prelude::rustc, traits::super_clause_to_clause_and_impl_expr, traits::solve_trait, traits::solve_item_required_traits, traits::solve_item_implied_traits, traits::self_clause_for_item, full_def::get_def_kind, full_def::get_def_span, span::Span.rust_span_data, thir::ExprKindExt…