Lib.rs

› hax-frontend-exporter › Features

Cargo Features

[dependencies]
hax-frontend-exporter = { version = "0.1.0-alpha.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::rustc, traits::super_clause_to_clause_and_impl_expr, copied::Span.rust_span_data, copied::ExprKindExt…