Crate flux_fhir_analysis

Modules

• compare_impl_item
• conv 🔒
  Conversion from types in fhir to types in rty
• errors 🔒
• wf 🔒
  Checks type well-formedness

Statics

• DEFAULT_LOCALE_RESOURCE
  Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.

Functions

• adt_def 🔒
• adt_sort_def_of 🔒
• assoc_refinement_def 🔒
• assoc_refinements_of 🔒
• check_crate_wf
• check_wf 🔒
• default_assoc_refinement_def 🔒
• fn_sig 🔒
• generics_of 🔒
• impl_assoc_refinement_def 🔒
• invariants_of 🔒
• item_bounds 🔒
• normalize 🔒
• predicates_of 🔒
• provide
• qualifiers 🔒
• refinement_generics_of 🔒
• sort_of_assoc_reft 🔒
• spec_func_decl 🔒
• spec_func_defns 🔒
• ty_param_owner 🔒
• type_of 🔒
• variants_of 🔒