Struct flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch
source · pub(super) struct FieldCountMismatch {
+FieldCountMismatch in flux_fhir_analysis::conv::struct_compat::errors - Rust Struct flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch
source · pub(super) struct FieldCountMismatch {
span: Span,
fields: usize,
expected_span: Span,
expected_fields: usize,
-}
Fields§
§span: Span§fields: usize§expected_span: Span§expected_fields: usizeImplementations§
source§impl FieldCountMismatch
sourcepub(super) fn new(
+}Fields§
§span: Span§fields: usize§expected_span: Span§expected_fields: usizeImplementations§
source§impl FieldCountMismatch
sourcepub(super) fn new(
genv: GlobalEnv<'_, '_>,
found: usize,
adt_def_id: MaybeExternId,
variant_idx: VariantIdx,
-) -> Self
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for FieldCountMismatchwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for FieldCountMismatch
§impl RefUnwindSafe for FieldCountMismatch
§impl Send for FieldCountMismatch
§impl Sync for FieldCountMismatch
§impl Unpin for FieldCountMismatch
§impl UnwindSafe for FieldCountMismatch
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for FieldCountMismatchwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for FieldCountMismatch
§impl RefUnwindSafe for FieldCountMismatch
§impl Send for FieldCountMismatch
§impl Sync for FieldCountMismatch
§impl Unpin for FieldCountMismatch
§impl UnwindSafe for FieldCountMismatch
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleParamCount.html b/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleParamCount.html
index 16e7f4c3b6..d99a2d6250 100644
--- a/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleParamCount.html
+++ b/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleParamCount.html
@@ -1,15 +1,15 @@
-IncompatibleParamCount in flux_fhir_analysis::conv::struct_compat::errors - Rust pub(super) struct IncompatibleParamCount {
+IncompatibleParamCount in flux_fhir_analysis::conv::struct_compat::errors - Rust pub(super) struct IncompatibleParamCount {
span: Span,
found: usize,
expected_span: Span,
expected: usize,
def_descr: &'static str,
-}
Fields§
§span: Span§found: usize§expected_span: Span§expected: usize§def_descr: &'static strImplementations§
source§impl IncompatibleParamCount
sourcepub(super) fn new(
+}Fields§
§span: Span§found: usize§expected_span: Span§expected: usize§def_descr: &'static strImplementations§
source§impl IncompatibleParamCount
sourcepub(super) fn new(
genv: GlobalEnv<'_, '_>,
decl: &FnDecl<'_>,
def_id: MaybeExternId,
-) -> Self
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleParamCountwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for IncompatibleParamCount
§impl RefUnwindSafe for IncompatibleParamCount
§impl Send for IncompatibleParamCount
§impl Sync for IncompatibleParamCount
§impl Unpin for IncompatibleParamCount
§impl UnwindSafe for IncompatibleParamCount
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleParamCountwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for IncompatibleParamCount
§impl RefUnwindSafe for IncompatibleParamCount
§impl Send for IncompatibleParamCount
§impl Sync for IncompatibleParamCount
§impl Unpin for IncompatibleParamCount
§impl UnwindSafe for IncompatibleParamCount
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleRefinement.html b/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleRefinement.html
index 6144679f28..b489ebd027 100644
--- a/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleRefinement.html
+++ b/doc/flux_fhir_analysis/conv/struct_compat/errors/struct.IncompatibleRefinement.html
@@ -1,34 +1,34 @@
-IncompatibleRefinement in flux_fhir_analysis::conv::struct_compat::errors - Rust pub(super) struct IncompatibleRefinement {
+IncompatibleRefinement in flux_fhir_analysis::conv::struct_compat::errors - Rust pub(super) struct IncompatibleRefinement<'tcx> {
span: Span,
expected_span: Option<Span>,
- expected_ty: String,
+ expected_ty: Ty<'tcx>,
def_descr: &'static str,
-}
Fields§
§span: Span§expected_span: Option<Span>§expected_ty: String§def_descr: &'static strImplementations§
source§impl IncompatibleRefinement
sourcepub(super) fn type_alias(
- genv: GlobalEnv<'_, '_>,
+}Fields§
§span: Span§expected_span: Option<Span>§expected_ty: Ty<'tcx>§def_descr: &'static strImplementations§
source§impl<'tcx> IncompatibleRefinement<'tcx>
sourcepub(super) fn type_alias(
+ genv: GlobalEnv<'_, 'tcx>,
def_id: MaybeExternId,
type_alias: &TyAlias<'_>,
-) -> Self
sourcepub(super) fn fn_input(
- genv: GlobalEnv<'_, '_>,
+) -> Self
sourcepub(super) fn fn_input(
+ genv: GlobalEnv<'_, 'tcx>,
fn_id: MaybeExternId,
decl: &FnDecl<'_>,
pos: usize,
-) -> Self
sourcepub(super) fn fn_output(
- genv: GlobalEnv<'_, '_>,
+) -> Self
sourcepub(super) fn fn_output(
+ genv: GlobalEnv<'_, 'tcx>,
fn_id: MaybeExternId,
decl: &FnDecl<'_>,
-) -> Self
sourcepub(super) fn ensures(
- genv: GlobalEnv<'_, '_>,
+) -> Self
sourcepub(super) fn ensures(
+ genv: GlobalEnv<'_, 'tcx>,
fn_id: MaybeExternId,
decl: &FnDecl<'_>,
expected: &Ty,
i: usize,
-) -> Self
sourcepub(super) fn field(
- genv: GlobalEnv<'_, '_>,
+) -> Self
sourcepub(super) fn field(
+ genv: GlobalEnv<'_, 'tcx>,
adt_id: MaybeExternId,
variant_idx: VariantIdx,
field_idx: FieldIdx,
-) -> Self
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleRefinementwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for IncompatibleRefinement
§impl RefUnwindSafe for IncompatibleRefinement
§impl Send for IncompatibleRefinement
§impl Sync for IncompatibleRefinement
§impl Unpin for IncompatibleRefinement
§impl UnwindSafe for IncompatibleRefinement
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, 'tcx, G> Diagnostic<'_sess, G> for IncompatibleRefinement<'tcx>where
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl<'tcx> Freeze for IncompatibleRefinement<'tcx>
§impl<'tcx> !RefUnwindSafe for IncompatibleRefinement<'tcx>
§impl<'tcx> Send for IncompatibleRefinement<'tcx>
§impl<'tcx> Sync for IncompatibleRefinement<'tcx>
§impl<'tcx> Unpin for IncompatibleRefinement<'tcx>
§impl<'tcx> !UnwindSafe for IncompatibleRefinement<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_fhir_analysis/conv/struct_compat/index.html b/doc/flux_fhir_analysis/conv/struct_compat/index.html
index 0121cd81d8..67639c8e52 100644
--- a/doc/flux_fhir_analysis/conv/struct_compat/index.html
+++ b/doc/flux_fhir_analysis/conv/struct_compat/index.html
@@ -1,4 +1,4 @@
-flux_fhir_analysis::conv::struct_compat - Rust Module flux_fhir_analysis::conv::struct_compat
source · Expand description
Check whether two refinemnt types/signatures are structurally compatible.
+flux_fhir_analysis::conv::struct_compat - Rust Module flux_fhir_analysis::conv::struct_compat
source · Expand description
Check whether two refinemnt types/signatures are structurally compatible.
Used to check if a user spec is compatible with the underlying rust type. The code also
infer types annotated with _ in the surface syntax.
Modules§
- errors 🔒
Structs§
Enums§
- FnSig
Err 🔒
Functions§
flux_fhir_analysis::errors - Rust Module flux_fhir_analysis::errors
source · Structs§
flux_fhir_analysis::errors - Rust Module flux_fhir_analysis::errors
source · Structs§
DefinitionCycle in flux_fhir_analysis::errors - Rust Struct flux_fhir_analysis::errors::DefinitionCycle
source · pub struct DefinitionCycle {
+DefinitionCycle in flux_fhir_analysis::errors - Rust Struct flux_fhir_analysis::errors::DefinitionCycle
source · pub struct DefinitionCycle {
span: Span,
msg: String,
-}
Fields§
§span: Span§msg: StringImplementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for DefinitionCyclewhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for DefinitionCycle
§impl RefUnwindSafe for DefinitionCycle
§impl Send for DefinitionCycle
§impl Sync for DefinitionCycle
§impl Unpin for DefinitionCycle
§impl UnwindSafe for DefinitionCycle
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span§msg: StringImplementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for DefinitionCyclewhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for DefinitionCycle
§impl RefUnwindSafe for DefinitionCycle
§impl Send for DefinitionCycle
§impl Sync for DefinitionCycle
§impl Unpin for DefinitionCycle
§impl UnwindSafe for DefinitionCycle
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_fhir_analysis/fn.adt_def.html b/doc/flux_fhir_analysis/fn.adt_def.html
index 3fe37ba230..f849f5a879 100644
--- a/doc/flux_fhir_analysis/fn.adt_def.html
+++ b/doc/flux_fhir_analysis/fn.adt_def.html
@@ -1,4 +1,4 @@
-adt_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::adt_def
source · pub(crate) fn adt_def(
+adt_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::adt_def
source · pub(crate) fn adt_def(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
) -> QueryResult<AdtDef>
adt_sort_def_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::adt_sort_def_of
source · pub(crate) fn adt_sort_def_of(
+adt_sort_def_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::adt_sort_def_of
source · pub(crate) fn adt_sort_def_of(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
) -> QueryResult<AdtSortDef>
assoc_refinement_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::assoc_refinement_def
source · pub(crate) fn assoc_refinement_def(
+assoc_refinement_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::assoc_refinement_def
source · pub(crate) fn assoc_refinement_def(
genv: GlobalEnv<'_, '_>,
impl_id: LocalDefId,
name: Symbol,
diff --git a/doc/flux_fhir_analysis/fn.assoc_refinements_of.html b/doc/flux_fhir_analysis/fn.assoc_refinements_of.html
index 49f4438d08..8bd168b928 100644
--- a/doc/flux_fhir_analysis/fn.assoc_refinements_of.html
+++ b/doc/flux_fhir_analysis/fn.assoc_refinements_of.html
@@ -1,4 +1,4 @@
-assoc_refinements_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::assoc_refinements_of
source · pub(crate) fn assoc_refinements_of(
+assoc_refinements_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::assoc_refinements_of
source · pub(crate) fn assoc_refinements_of(
genv: GlobalEnv<'_, '_>,
local_id: LocalDefId,
) -> QueryResult<AssocRefinements>
check_crate_wf in flux_fhir_analysis - Rust Function flux_fhir_analysis::check_crate_wf
source · pub fn check_crate_wf(genv: GlobalEnv<'_, '_>) -> Result<(), ErrorGuaranteed>
check_crate_wf in flux_fhir_analysis - Rust Function flux_fhir_analysis::check_crate_wf
source · pub fn check_crate_wf(genv: GlobalEnv<'_, '_>) -> Result<(), ErrorGuaranteed>
check_wf in flux_fhir_analysis - Rust Function flux_fhir_analysis::check_wf
source · pub(crate) fn check_wf(
+check_wf in flux_fhir_analysis - Rust Function flux_fhir_analysis::check_wf
source · pub(crate) fn check_wf(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
) -> QueryResult<Rc<WfckResults>>
default_assoc_refinement_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::default_assoc_refinement_def
source · pub(crate) fn default_assoc_refinement_def(
+default_assoc_refinement_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::default_assoc_refinement_def
source · pub(crate) fn default_assoc_refinement_def(
genv: GlobalEnv<'_, '_>,
trait_id: LocalDefId,
name: Symbol,
diff --git a/doc/flux_fhir_analysis/fn.fn_sig.html b/doc/flux_fhir_analysis/fn.fn_sig.html
index 7ecb5e31ac..3a2b91a4a0 100644
--- a/doc/flux_fhir_analysis/fn.fn_sig.html
+++ b/doc/flux_fhir_analysis/fn.fn_sig.html
@@ -1,4 +1,4 @@
-fn_sig in flux_fhir_analysis - Rust Function flux_fhir_analysis::fn_sig
source · pub(crate) fn fn_sig(
+fn_sig in flux_fhir_analysis - Rust Function flux_fhir_analysis::fn_sig
source · pub(crate) fn fn_sig(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
) -> QueryResult<EarlyBinder<PolyFnSig>>
generics_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::generics_of
source · pub(crate) fn generics_of(
+generics_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::generics_of
source · pub(crate) fn generics_of(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
) -> QueryResult<Generics>
impl_assoc_refinement_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::impl_assoc_refinement_def
source · pub(crate) fn impl_assoc_refinement_def(
+impl_assoc_refinement_def in flux_fhir_analysis - Rust Function flux_fhir_analysis::impl_assoc_refinement_def
source · pub(crate) fn impl_assoc_refinement_def(
genv: GlobalEnv<'_, '_>,
impl_id: LocalDefId,
name: Symbol,
diff --git a/doc/flux_fhir_analysis/fn.invariants_of.html b/doc/flux_fhir_analysis/fn.invariants_of.html
index db50e21225..968e257f8a 100644
--- a/doc/flux_fhir_analysis/fn.invariants_of.html
+++ b/doc/flux_fhir_analysis/fn.invariants_of.html
@@ -1,4 +1,4 @@
-invariants_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::invariants_of
source · pub(crate) fn invariants_of(
+invariants_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::invariants_of
source · pub(crate) fn invariants_of(
genv: GlobalEnv<'_, '_>,
item: &Item<'_>,
) -> QueryResult<Vec<Invariant>>
item_bounds in flux_fhir_analysis - Rust Function flux_fhir_analysis::item_bounds
source · pub(crate) fn item_bounds(
+item_bounds in flux_fhir_analysis - Rust Function flux_fhir_analysis::item_bounds
source · pub(crate) fn item_bounds(
genv: GlobalEnv<'_, '_>,
local_id: LocalDefId,
) -> QueryResult<EarlyBinder<Clauses>>
normalize in flux_fhir_analysis - Rust Function flux_fhir_analysis::normalize
source · pub(crate) fn normalize<T: TypeFoldable>(
+normalize in flux_fhir_analysis - Rust Function flux_fhir_analysis::normalize
source · pub(crate) fn normalize<T: TypeFoldable>(
genv: GlobalEnv<'_, '_>,
t: T,
) -> QueryResult<T>
predicates_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::predicates_of
source · pub(crate) fn predicates_of(
+predicates_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::predicates_of
source · pub(crate) fn predicates_of(
genv: GlobalEnv<'_, '_>,
local_id: LocalDefId,
) -> QueryResult<EarlyBinder<GenericPredicates>>
provide in flux_fhir_analysis - Rust Function flux_fhir_analysis::provide
source · pub fn provide(providers: &mut Providers)
provide in flux_fhir_analysis - Rust Function flux_fhir_analysis::provide
source · pub fn provide(providers: &mut Providers)
qualifiers in flux_fhir_analysis - Rust Function flux_fhir_analysis::qualifiers
source · pub(crate) fn qualifiers(genv: GlobalEnv<'_, '_>) -> QueryResult<Vec<Qualifier>>
qualifiers in flux_fhir_analysis - Rust Function flux_fhir_analysis::qualifiers
source · pub(crate) fn qualifiers(genv: GlobalEnv<'_, '_>) -> QueryResult<Vec<Qualifier>>
refinement_generics_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::refinement_generics_of
source · pub(crate) fn refinement_generics_of(
+refinement_generics_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::refinement_generics_of
source · pub(crate) fn refinement_generics_of(
genv: GlobalEnv<'_, '_>,
local_id: LocalDefId,
) -> QueryResult<RefinementGenerics>
sort_of_assoc_reft in flux_fhir_analysis - Rust Function flux_fhir_analysis::sort_of_assoc_reft
source · pub(crate) fn sort_of_assoc_reft(
+sort_of_assoc_reft in flux_fhir_analysis - Rust Function flux_fhir_analysis::sort_of_assoc_reft
source · pub(crate) fn sort_of_assoc_reft(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
name: Symbol,
diff --git a/doc/flux_fhir_analysis/fn.spec_func_decl.html b/doc/flux_fhir_analysis/fn.spec_func_decl.html
index 05897df5f9..8a7de6c233 100644
--- a/doc/flux_fhir_analysis/fn.spec_func_decl.html
+++ b/doc/flux_fhir_analysis/fn.spec_func_decl.html
@@ -1,4 +1,4 @@
-spec_func_decl in flux_fhir_analysis - Rust Function flux_fhir_analysis::spec_func_decl
source · pub(crate) fn spec_func_decl(
+spec_func_decl in flux_fhir_analysis - Rust Function flux_fhir_analysis::spec_func_decl
source · pub(crate) fn spec_func_decl(
genv: GlobalEnv<'_, '_>,
name: Symbol,
) -> QueryResult<SpecFuncDecl>
spec_func_defns in flux_fhir_analysis - Rust Function flux_fhir_analysis::spec_func_defns
source · pub(crate) fn spec_func_defns(
+spec_func_defns in flux_fhir_analysis - Rust Function flux_fhir_analysis::spec_func_defns
source · pub(crate) fn spec_func_defns(
genv: GlobalEnv<'_, '_>,
) -> QueryResult<SpecFuncDefns>
ty_param_owner in flux_fhir_analysis - Rust Function flux_fhir_analysis::ty_param_owner
source · pub(crate) fn ty_param_owner(genv: GlobalEnv<'_, '_>, def_id: DefId) -> DefId
ty_param_owner in flux_fhir_analysis - Rust Function flux_fhir_analysis::ty_param_owner
source · pub(crate) fn ty_param_owner(genv: GlobalEnv<'_, '_>, def_id: DefId) -> DefId
type_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::type_of
source · pub(crate) fn type_of(
+type_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::type_of
source · pub(crate) fn type_of(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
) -> QueryResult<EarlyBinder<TyCtor>>
variants_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::variants_of
source · pub(crate) fn variants_of(
+variants_of in flux_fhir_analysis - Rust Function flux_fhir_analysis::variants_of
source · pub(crate) fn variants_of(
genv: GlobalEnv<'_, '_>,
def_id: LocalDefId,
) -> QueryResult<Opaqueness<EarlyBinder<PolyVariants>>>
flux_fhir_analysis - Rust Crate flux_fhir_analysis
source · Modules§
Statics§
- Raw content of Fluent resource for this crate, generated by
fluent_messages macro,
+flux_fhir_analysis - Rust Crate flux_fhir_analysis
source · Modules§
Statics§
- 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§
DEFAULT_LOCALE_RESOURCE in flux_fhir_analysis - Rust pub static DEFAULT_LOCALE_RESOURCE: &'static str
Expand description
Raw content of Fluent resource for this crate, generated by fluent_messages macro,
+
DEFAULT_LOCALE_RESOURCE in flux_fhir_analysis - Rust pub static DEFAULT_LOCALE_RESOURCE: &'static str
Expand description
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.
Help Rustdoc help
BackHelp Rustdoc help
BackIndex of crates Index of crates Settings Rustdoc settings
BackSettings Rustdoc settings
Back//! Check whether two refinemnt types/signatures are structurally compatible.
//!
//! Used to check if a user spec is compatible with the underlying rust type. The code also
@@ -1283,19 +1302,20 @@
#[derive(Diagnostic)]
#[diag(fhir_analysis_incompatible_refinement, code = E0999)]
- pub(super) struct IncompatibleRefinement {
+ #[note]
+ pub(super) struct IncompatibleRefinement<'tcx> {
#[primary_span]
#[label]
span: Span,
#[label(fhir_analysis_expected_label)]
expected_span: Option<Span>,
- expected_ty: String,
+ expected_ty: rustc_middle::ty::Ty<'tcx>,
def_descr: &'static str,
}
- impl IncompatibleRefinement {
+ impl<'tcx> IncompatibleRefinement<'tcx> {
pub(super) fn type_alias(
- genv: GlobalEnv,
+ genv: GlobalEnv<'_, 'tcx>,
def_id: MaybeExternId,
type_alias: &fhir::TyAlias,
) -> Self {
@@ -1304,57 +1324,75 @@
span: type_alias.ty.span,
def_descr: tcx.def_descr(def_id.resolved_id()),
expected_span: Some(tcx.def_span(def_id)),
- expected_ty: format!("{}", tcx.type_of(def_id).skip_binder()),
+ expected_ty: tcx.type_of(def_id).skip_binder(),
}
}
pub(super) fn fn_input(
- genv: GlobalEnv,
+ genv: GlobalEnv<'_, 'tcx>,
fn_id: MaybeExternId,
decl: &fhir::FnDecl,
pos: usize,
) -> Self {
- let expected_decl = genv
+ let expected_span = match fn_id {
+ MaybeExternId::Local(local_id) => {
+ genv.tcx()
+ .hir_node_by_def_id(local_id)
+ .fn_decl()
+ .and_then(|fn_decl| fn_decl.inputs.get(pos))
+ .map(|input| input.span)
+ }
+ MaybeExternId::Extern(_, extern_id) => Some(genv.tcx().def_span(extern_id)),
+ };
+
+ let expected_ty = genv
.tcx()
- .hir_node_by_def_id(fn_id.local_id())
- .fn_decl()
- .unwrap();
+ .fn_sig(fn_id.resolved_id())
+ .skip_binder()
+ .inputs()
+ .map_bound(|inputs| inputs[pos])
+ .skip_binder();
- let expected_ty = expected_decl.inputs[pos];
Self {
span: decl.inputs[pos].span,
def_descr: genv.tcx().def_descr(fn_id.resolved_id()),
- expected_span: Some(expected_ty.span),
- expected_ty: rustc_hir_pretty::ty_to_string(&genv.tcx(), &expected_ty),
+ expected_span,
+ expected_ty,
}
}
pub(super) fn fn_output(
- genv: GlobalEnv,
+ genv: GlobalEnv<'_, 'tcx>,
fn_id: MaybeExternId,
decl: &fhir::FnDecl,
) -> Self {
- let expected_decl = genv
- .tcx()
- .hir_node_by_def_id(fn_id.local_id())
- .fn_decl()
- .unwrap();
-
- let expected_ty = match expected_decl.output {
- rustc_hir::FnRetTy::DefaultReturn(_) => "()".to_string(),
- rustc_hir::FnRetTy::Return(ty) => rustc_hir_pretty::ty_to_string(&genv.tcx(), ty),
+ let expected_span = match fn_id {
+ MaybeExternId::Local(local_id) => {
+ genv.tcx()
+ .hir_node_by_def_id(local_id)
+ .fn_decl()
+ .map(|fn_decl| fn_decl.output.span())
+ }
+ MaybeExternId::Extern(_, extern_id) => Some(genv.tcx().def_span(extern_id)),
};
+
+ let expected_ty = genv
+ .tcx()
+ .fn_sig(fn_id.resolved_id())
+ .skip_binder()
+ .output()
+ .skip_binder();
let spec_span = decl.output.ret.span;
Self {
span: spec_span,
def_descr: genv.tcx().def_descr(fn_id.resolved_id()),
- expected_span: Some(expected_decl.output.span()),
+ expected_span,
expected_ty,
}
}
pub(super) fn ensures(
- genv: GlobalEnv,
+ genv: GlobalEnv<'_, 'tcx>,
fn_id: MaybeExternId,
decl: &fhir::FnDecl,
expected: &rty::Ty,
@@ -1368,12 +1406,12 @@
span: ty.span,
def_descr: tcx.def_descr(fn_id.resolved_id()),
expected_span: None,
- expected_ty: format!("{}", expected.to_rustc(tcx)),
+ expected_ty: expected.to_rustc(tcx),
}
}
pub(super) fn field(
- genv: GlobalEnv,
+ genv: GlobalEnv<'_, 'tcx>,
adt_id: MaybeExternId,
variant_idx: VariantIdx,
field_idx: FieldIdx,
@@ -1401,7 +1439,7 @@
span,
def_descr: tcx.def_descr(field_def.did),
expected_span: Some(tcx.def_span(field_def.did)),
- expected_ty: format!("{}", tcx.type_of(field_def.did).skip_binder()),
+ expected_ty: tcx.type_of(field_def.did).skip_binder(),
}
}
}
diff --git a/doc/src/flux_fhir_analysis/lib.rs.html b/doc/src/flux_fhir_analysis/lib.rs.html
index f63d4ad250..7abaa8ca79 100644
--- a/doc/src/flux_fhir_analysis/lib.rs.html
+++ b/doc/src/flux_fhir_analysis/lib.rs.html
@@ -567,7 +567,6 @@
567
568
569
-570
#![feature(rustc_private, let_chains, box_patterns, if_let_guard, once_cell_try)]
extern crate rustc_ast;
@@ -575,7 +574,6 @@
extern crate rustc_errors;
extern crate rustc_hash;
extern crate rustc_hir;
-extern crate rustc_hir_pretty;
extern crate rustc_middle;
extern crate rustc_span;
extern crate rustc_target;
diff --git a/doc/trait.impl/core/marker/trait.Freeze.js b/doc/trait.impl/core/marker/trait.Freeze.js
index 3adb3c8f22..b4a9eb48c6 100644
--- a/doc/trait.impl/core/marker/trait.Freeze.js
+++ b/doc/trait.impl/core/marker/trait.Freeze.js
@@ -7,7 +7,7 @@
"flux_desugar":[["impl Freeze for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl Freeze for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl Freeze for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl Freeze for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl Freeze for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl Freeze for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl Freeze for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl Freeze for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl Freeze for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl Freeze for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl Freeze for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl Freeze for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl Freeze for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl Freeze for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl Freeze for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl Freeze for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl Freeze for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl Freeze for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl Freeze for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl Freeze for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl Freeze for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl Freeze for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl Freeze for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> Freeze for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> !Freeze for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> !Freeze for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> !Freeze for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> !Freeze for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> Freeze for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> !Freeze for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> Freeze for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> Freeze for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> Freeze for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> !Freeze for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> Freeze for ScopedVisitorWrapper<V>where\n V: Freeze,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl Freeze for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl Freeze for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl Freeze for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl Freeze for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl Freeze for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl Freeze for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl Freeze for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl Freeze for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl Freeze for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl Freeze for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl Freeze for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl Freeze for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl Freeze for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl Freeze for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl Freeze for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl Freeze for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl Freeze for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl Freeze for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl Freeze for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl Freeze for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl Freeze for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl Freeze for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl Freeze for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> Freeze for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> Freeze for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> !Freeze for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl !Freeze for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> !Freeze for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl Freeze for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Freeze for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Freeze for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Freeze for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Freeze for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Freeze for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Freeze for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Freeze for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Freeze for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Freeze for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Freeze for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Freeze for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Freeze for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Freeze for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Freeze for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Freeze for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Freeze for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl Freeze for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Freeze for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Freeze for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Freeze for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Freeze for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Freeze for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Freeze for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Freeze for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Freeze for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Freeze for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Freeze for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Freeze for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Freeze for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Freeze for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Freeze for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Freeze for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Freeze for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Freeze for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Freeze for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Freeze for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Freeze for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !Freeze for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !Freeze for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !Freeze for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'a, 'genv, 'tcx> Freeze for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> Freeze for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> Freeze for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> Freeze for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'genv, 'tcx> !Freeze for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> Freeze for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl Freeze for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Freeze for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Freeze for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Freeze for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Freeze for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Freeze for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Freeze for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Freeze for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Freeze for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Freeze for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Freeze for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Freeze for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Freeze for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Freeze for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Freeze for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Freeze for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Freeze for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Freeze for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Freeze for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Freeze for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Freeze for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Freeze for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Freeze for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Freeze for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Freeze for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Freeze for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Freeze for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Freeze for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Freeze for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Freeze for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Freeze for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Freeze for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Freeze for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Freeze for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Freeze for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Freeze for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Freeze for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !Freeze for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !Freeze for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !Freeze for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'a, 'genv, 'tcx> Freeze for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> Freeze for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> Freeze for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> Freeze for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'genv, 'tcx> !Freeze for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> Freeze for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> Freeze for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl !Freeze for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl Freeze for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl Freeze for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl Freeze for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl Freeze for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl Freeze for InferErr",1,["flux_infer::infer::InferErr"]],["impl Freeze for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl Freeze for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl Freeze for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl Freeze for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl Freeze for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl Freeze for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl Freeze for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl Freeze for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl Freeze for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl Freeze for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl Freeze for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl Freeze for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl Freeze for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl Freeze for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl Freeze for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl Freeze for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl Freeze for Sub",1,["flux_infer::infer::Sub"]],["impl Freeze for Tag",1,["flux_infer::infer::Tag"]],["impl Freeze for Node",1,["flux_infer::refine_tree::Node"]],["impl Freeze for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl Freeze for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl Freeze for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl Freeze for Scope",1,["flux_infer::refine_tree::Scope"]],["impl Freeze for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl Freeze for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl<'a> Freeze for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> Freeze for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> Freeze for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> !Freeze for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> !Freeze for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> !Freeze for FixpointCtxt<'genv, 'tcx, T>",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> Freeze for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> Freeze for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_macros":[["impl Freeze for DiagnosticDeriveKind",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveKind"]],["impl Freeze for DiagnosticDeriveError",1,["flux_macros::diagnostics::error::DiagnosticDeriveError"]],["impl Freeze for AllowMultipleAlternatives",1,["flux_macros::diagnostics::utils::AllowMultipleAlternatives"]],["impl Freeze for Applicability",1,["flux_macros::diagnostics::utils::Applicability"]],["impl Freeze for SubdiagnosticKind",1,["flux_macros::diagnostics::utils::SubdiagnosticKind"]],["impl Freeze for SuggestionKind",1,["flux_macros::diagnostics::utils::SuggestionKind"]],["impl Freeze for Guard",1,["flux_macros::primops::Guard"]],["impl Freeze for Output",1,["flux_macros::primops::Output"]],["impl Freeze for Mismatch",1,["flux_macros::diagnostics::diagnostic::Mismatch"]],["impl Freeze for DiagnosticDeriveVariantBuilder",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveVariantBuilder"]],["impl Freeze for KindsStatistics",1,["flux_macros::diagnostics::subdiagnostic::KindsStatistics"]],["impl Freeze for SubdiagnosticDerive",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDerive"]],["impl Freeze for SubdiagnosticVariant",1,["flux_macros::diagnostics::utils::SubdiagnosticVariant"]],["impl Freeze for requires",1,["flux_macros::primops::kw::requires"]],["impl Freeze for Arg",1,["flux_macros::primops::Arg"]],["impl Freeze for Renderer",1,["flux_macros::primops::Renderer"]],["impl Freeze for Requires",1,["flux_macros::primops::Requires"]],["impl Freeze for Rule",1,["flux_macros::primops::Rule"]],["impl Freeze for Rules",1,["flux_macros::primops::Rules"]],["impl<'a> Freeze for DiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::DiagnosticDerive"]],["impl<'a> Freeze for LintDiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::LintDiagnosticDerive"]],["impl<'a> Freeze for FieldInfo<'a>",1,["flux_macros::diagnostics::utils::FieldInfo"]],["impl<'parent, 'a> Freeze for SubdiagnosticDeriveVariantBuilder<'parent, 'a>",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDeriveVariantBuilder"]],["impl<'ty> Freeze for FieldInnerTy<'ty>",1,["flux_macros::diagnostics::utils::FieldInnerTy"]]],
"flux_metadata":[["impl Freeze for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl Freeze for CStore",1,["flux_metadata::CStore"]],["impl Freeze for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> Freeze for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> Freeze for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> Freeze for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> Freeze for Tables<K>",1,["flux_metadata::Tables"]]],
diff --git a/doc/trait.impl/core/marker/trait.Send.js b/doc/trait.impl/core/marker/trait.Send.js
index efd2f923f6..2f96d0f015 100644
--- a/doc/trait.impl/core/marker/trait.Send.js
+++ b/doc/trait.impl/core/marker/trait.Send.js
@@ -7,7 +7,7 @@
"flux_desugar":[["impl Send for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl Send for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl Send for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl Send for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl Send for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl Send for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl Send for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl Send for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl Send for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl Send for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl Send for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl Send for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl Send for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl Send for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl Send for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl Send for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl Send for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl Send for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl Send for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl Send for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl Send for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl Send for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl Send for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> Send for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> !Send for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> !Send for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> !Send for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> !Send for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> !Send for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> !Send for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> !Send for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> !Send for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> !Send for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> !Send for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> Send for ScopedVisitorWrapper<V>where\n V: Send,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl Send for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl Send for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl Send for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl Send for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl Send for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl Send for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl Send for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl Send for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl Send for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl Send for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl Send for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl Send for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl Send for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl Send for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl Send for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl Send for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl Send for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl Send for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl Send for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl Send for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl Send for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl Send for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl Send for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> !Send for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> !Send for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> !Send for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl !Send for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> !Send for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl Send for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Send for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Send for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Send for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Send for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Send for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Send for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Send for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Send for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Send for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Send for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Send for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Send for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Send for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Send for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Send for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Send for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl Send for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Send for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Send for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Send for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Send for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Send for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Send for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Send for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Send for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Send for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Send for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Send for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Send for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Send for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Send for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Send for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Send for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Send for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Send for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Send for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Send for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !Send for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !Send for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !Send for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !Send for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !Send for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !Send for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !Send for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !Send for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !Send for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl Send for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Send for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Send for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Send for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Send for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Send for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Send for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Send for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Send for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Send for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Send for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Send for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Send for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Send for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Send for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Send for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Send for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Send for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Send for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Send for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Send for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Send for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Send for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Send for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Send for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Send for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Send for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Send for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Send for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Send for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Send for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Send for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Send for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Send for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Send for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Send for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Send for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !Send for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !Send for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !Send for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !Send for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !Send for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !Send for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !Send for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !Send for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !Send for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> Send for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl !Send for Node",1,["flux_infer::refine_tree::Node"]],["impl !Send for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl !Send for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl !Send for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl !Send for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl !Send for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl Send for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl Send for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl Send for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl Send for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl Send for InferErr",1,["flux_infer::infer::InferErr"]],["impl Send for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl Send for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl Send for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl Send for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl Send for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl Send for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl Send for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl Send for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl Send for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl Send for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl Send for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl Send for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl Send for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl Send for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl Send for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl Send for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl Send for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl Send for Sub",1,["flux_infer::infer::Sub"]],["impl Send for Tag",1,["flux_infer::infer::Tag"]],["impl Send for Scope",1,["flux_infer::refine_tree::Scope"]],["impl<'a> !Send for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> !Send for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> !Send for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> !Send for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> !Send for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> !Send for FixpointCtxt<'genv, 'tcx, T>",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> !Send for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> Send for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_macros":[["impl !Send for SubdiagnosticKind",1,["flux_macros::diagnostics::utils::SubdiagnosticKind"]],["impl !Send for Guard",1,["flux_macros::primops::Guard"]],["impl !Send for Output",1,["flux_macros::primops::Output"]],["impl !Send for DiagnosticDeriveVariantBuilder",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveVariantBuilder"]],["impl !Send for SubdiagnosticDerive",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDerive"]],["impl !Send for SubdiagnosticVariant",1,["flux_macros::diagnostics::utils::SubdiagnosticVariant"]],["impl !Send for requires",1,["flux_macros::primops::kw::requires"]],["impl !Send for Arg",1,["flux_macros::primops::Arg"]],["impl !Send for Renderer",1,["flux_macros::primops::Renderer"]],["impl !Send for Requires",1,["flux_macros::primops::Requires"]],["impl !Send for Rule",1,["flux_macros::primops::Rule"]],["impl !Send for Rules",1,["flux_macros::primops::Rules"]],["impl Send for DiagnosticDeriveKind",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveKind"]],["impl Send for DiagnosticDeriveError",1,["flux_macros::diagnostics::error::DiagnosticDeriveError"]],["impl Send for AllowMultipleAlternatives",1,["flux_macros::diagnostics::utils::AllowMultipleAlternatives"]],["impl Send for Applicability",1,["flux_macros::diagnostics::utils::Applicability"]],["impl Send for SuggestionKind",1,["flux_macros::diagnostics::utils::SuggestionKind"]],["impl Send for Mismatch",1,["flux_macros::diagnostics::diagnostic::Mismatch"]],["impl Send for KindsStatistics",1,["flux_macros::diagnostics::subdiagnostic::KindsStatistics"]],["impl<'a> !Send for DiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::DiagnosticDerive"]],["impl<'a> !Send for LintDiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::LintDiagnosticDerive"]],["impl<'a> !Send for FieldInfo<'a>",1,["flux_macros::diagnostics::utils::FieldInfo"]],["impl<'parent, 'a> !Send for SubdiagnosticDeriveVariantBuilder<'parent, 'a>",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDeriveVariantBuilder"]],["impl<'ty> !Send for FieldInnerTy<'ty>",1,["flux_macros::diagnostics::utils::FieldInnerTy"]]],
"flux_metadata":[["impl Send for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl Send for CStore",1,["flux_metadata::CStore"]],["impl Send for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> Send for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> !Send for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> !Send for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> Send for Tables<K>where\n K: Send,",1,["flux_metadata::Tables"]]],
diff --git a/doc/trait.impl/core/marker/trait.Sync.js b/doc/trait.impl/core/marker/trait.Sync.js
index b2e89844c9..02d0ca5791 100644
--- a/doc/trait.impl/core/marker/trait.Sync.js
+++ b/doc/trait.impl/core/marker/trait.Sync.js
@@ -7,7 +7,7 @@
"flux_desugar":[["impl Sync for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl Sync for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl Sync for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl Sync for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl Sync for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl Sync for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl Sync for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl Sync for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl Sync for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl Sync for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl Sync for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl Sync for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl Sync for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl Sync for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl Sync for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl Sync for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl Sync for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl Sync for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl Sync for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl Sync for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl Sync for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl Sync for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl Sync for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> Sync for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> !Sync for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> !Sync for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> !Sync for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> !Sync for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> !Sync for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> !Sync for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> !Sync for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> !Sync for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> !Sync for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> !Sync for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> Sync for ScopedVisitorWrapper<V>where\n V: Sync,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl Sync for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl Sync for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl Sync for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl Sync for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl Sync for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl Sync for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl Sync for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl Sync for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl Sync for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl Sync for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl Sync for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl Sync for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl Sync for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl Sync for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl Sync for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl Sync for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl Sync for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl Sync for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl Sync for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl Sync for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl Sync for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl Sync for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl Sync for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> !Sync for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> !Sync for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> !Sync for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl !Sync for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> !Sync for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl Sync for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Sync for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Sync for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Sync for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Sync for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Sync for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Sync for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Sync for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Sync for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Sync for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Sync for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Sync for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Sync for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Sync for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Sync for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Sync for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Sync for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl Sync for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Sync for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Sync for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Sync for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Sync for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Sync for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Sync for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Sync for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Sync for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Sync for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Sync for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Sync for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Sync for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Sync for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Sync for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Sync for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Sync for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Sync for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Sync for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Sync for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Sync for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !Sync for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !Sync for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !Sync for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !Sync for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !Sync for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !Sync for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !Sync for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !Sync for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !Sync for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl Sync for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Sync for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Sync for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Sync for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Sync for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Sync for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Sync for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Sync for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Sync for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Sync for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Sync for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Sync for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Sync for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Sync for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Sync for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Sync for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Sync for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Sync for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Sync for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Sync for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Sync for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Sync for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Sync for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Sync for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Sync for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Sync for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Sync for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Sync for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Sync for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Sync for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Sync for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Sync for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Sync for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Sync for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Sync for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Sync for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Sync for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !Sync for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !Sync for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !Sync for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !Sync for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !Sync for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !Sync for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !Sync for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !Sync for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !Sync for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> Sync for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl !Sync for Node",1,["flux_infer::refine_tree::Node"]],["impl !Sync for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl !Sync for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl !Sync for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl !Sync for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl !Sync for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl Sync for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl Sync for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl Sync for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl Sync for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl Sync for InferErr",1,["flux_infer::infer::InferErr"]],["impl Sync for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl Sync for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl Sync for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl Sync for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl Sync for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl Sync for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl Sync for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl Sync for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl Sync for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl Sync for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl Sync for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl Sync for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl Sync for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl Sync for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl Sync for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl Sync for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl Sync for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl Sync for Sub",1,["flux_infer::infer::Sub"]],["impl Sync for Tag",1,["flux_infer::infer::Tag"]],["impl Sync for Scope",1,["flux_infer::refine_tree::Scope"]],["impl<'a> !Sync for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> !Sync for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> !Sync for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> !Sync for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> !Sync for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> !Sync for FixpointCtxt<'genv, 'tcx, T>",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> !Sync for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> Sync for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_macros":[["impl !Sync for SubdiagnosticKind",1,["flux_macros::diagnostics::utils::SubdiagnosticKind"]],["impl !Sync for Guard",1,["flux_macros::primops::Guard"]],["impl !Sync for Output",1,["flux_macros::primops::Output"]],["impl !Sync for DiagnosticDeriveVariantBuilder",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveVariantBuilder"]],["impl !Sync for SubdiagnosticDerive",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDerive"]],["impl !Sync for SubdiagnosticVariant",1,["flux_macros::diagnostics::utils::SubdiagnosticVariant"]],["impl !Sync for requires",1,["flux_macros::primops::kw::requires"]],["impl !Sync for Arg",1,["flux_macros::primops::Arg"]],["impl !Sync for Renderer",1,["flux_macros::primops::Renderer"]],["impl !Sync for Requires",1,["flux_macros::primops::Requires"]],["impl !Sync for Rule",1,["flux_macros::primops::Rule"]],["impl !Sync for Rules",1,["flux_macros::primops::Rules"]],["impl Sync for DiagnosticDeriveKind",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveKind"]],["impl Sync for DiagnosticDeriveError",1,["flux_macros::diagnostics::error::DiagnosticDeriveError"]],["impl Sync for AllowMultipleAlternatives",1,["flux_macros::diagnostics::utils::AllowMultipleAlternatives"]],["impl Sync for Applicability",1,["flux_macros::diagnostics::utils::Applicability"]],["impl Sync for SuggestionKind",1,["flux_macros::diagnostics::utils::SuggestionKind"]],["impl Sync for Mismatch",1,["flux_macros::diagnostics::diagnostic::Mismatch"]],["impl Sync for KindsStatistics",1,["flux_macros::diagnostics::subdiagnostic::KindsStatistics"]],["impl<'a> !Sync for DiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::DiagnosticDerive"]],["impl<'a> !Sync for LintDiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::LintDiagnosticDerive"]],["impl<'a> !Sync for FieldInfo<'a>",1,["flux_macros::diagnostics::utils::FieldInfo"]],["impl<'parent, 'a> !Sync for SubdiagnosticDeriveVariantBuilder<'parent, 'a>",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDeriveVariantBuilder"]],["impl<'ty> !Sync for FieldInnerTy<'ty>",1,["flux_macros::diagnostics::utils::FieldInnerTy"]]],
"flux_metadata":[["impl Sync for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl Sync for CStore",1,["flux_metadata::CStore"]],["impl Sync for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> Sync for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> !Sync for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> !Sync for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> Sync for Tables<K>where\n K: Sync,",1,["flux_metadata::Tables"]]],
diff --git a/doc/trait.impl/core/marker/trait.Unpin.js b/doc/trait.impl/core/marker/trait.Unpin.js
index fe35a7b691..cadcb27ae7 100644
--- a/doc/trait.impl/core/marker/trait.Unpin.js
+++ b/doc/trait.impl/core/marker/trait.Unpin.js
@@ -7,7 +7,7 @@
"flux_desugar":[["impl Unpin for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl Unpin for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl Unpin for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl Unpin for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl Unpin for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl Unpin for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl Unpin for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl Unpin for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl Unpin for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl Unpin for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl Unpin for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl Unpin for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl Unpin for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl Unpin for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl Unpin for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl Unpin for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl Unpin for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl Unpin for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl Unpin for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl Unpin for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl Unpin for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl Unpin for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl Unpin for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> Unpin for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> Unpin for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> Unpin for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> Unpin for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> Unpin for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> Unpin for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> Unpin for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> Unpin for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> Unpin for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> Unpin for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> Unpin for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> Unpin for ScopedVisitorWrapper<V>where\n V: Unpin,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl Unpin for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl Unpin for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl Unpin for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl Unpin for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl Unpin for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl Unpin for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl Unpin for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl Unpin for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl Unpin for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl Unpin for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl Unpin for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl Unpin for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl Unpin for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl Unpin for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl Unpin for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl Unpin for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl Unpin for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl Unpin for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl Unpin for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl Unpin for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl Unpin for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl Unpin for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl Unpin for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> Unpin for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> Unpin for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> Unpin for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl Unpin for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> Unpin for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl Unpin for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Unpin for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Unpin for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Unpin for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Unpin for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Unpin for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Unpin for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Unpin for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Unpin for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Unpin for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Unpin for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Unpin for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Unpin for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Unpin for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Unpin for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Unpin for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Unpin for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl Unpin for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Unpin for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Unpin for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Unpin for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Unpin for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Unpin for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Unpin for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Unpin for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Unpin for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Unpin for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Unpin for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Unpin for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Unpin for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Unpin for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Unpin for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Unpin for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Unpin for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Unpin for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Unpin for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Unpin for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Unpin for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> Unpin for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> Unpin for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> Unpin for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> Unpin for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> Unpin for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> Unpin for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> Unpin for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> Unpin for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> Unpin for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl Unpin for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl Unpin for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl Unpin for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl Unpin for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl Unpin for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl Unpin for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl Unpin for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl Unpin for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl Unpin for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl Unpin for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl Unpin for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl Unpin for Env",1,["flux_fhir_analysis::conv::Env"]],["impl Unpin for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl Unpin for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl Unpin for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl Unpin for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl Unpin for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl Unpin for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl Unpin for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl Unpin for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl Unpin for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl Unpin for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl Unpin for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl Unpin for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl Unpin for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl Unpin for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl Unpin for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl Unpin for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl Unpin for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl Unpin for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl Unpin for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> Unpin for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> Unpin for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> Unpin for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> Unpin for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> Unpin for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> Unpin for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> Unpin for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> Unpin for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> Unpin for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> Unpin for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> Unpin for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> Unpin for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> Unpin for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> Unpin for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> Unpin for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> Unpin for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl Unpin for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl Unpin for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl Unpin for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl Unpin for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl Unpin for InferErr",1,["flux_infer::infer::InferErr"]],["impl Unpin for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl Unpin for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl Unpin for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl Unpin for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl Unpin for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl Unpin for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl Unpin for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl Unpin for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl Unpin for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl Unpin for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl Unpin for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl Unpin for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl Unpin for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl Unpin for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl Unpin for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl Unpin for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl Unpin for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl Unpin for Sub",1,["flux_infer::infer::Sub"]],["impl Unpin for Tag",1,["flux_infer::infer::Tag"]],["impl Unpin for Node",1,["flux_infer::refine_tree::Node"]],["impl Unpin for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl Unpin for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl Unpin for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl Unpin for Scope",1,["flux_infer::refine_tree::Scope"]],["impl Unpin for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl Unpin for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl<'a> Unpin for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> Unpin for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> Unpin for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> Unpin for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> Unpin for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> Unpin for FixpointCtxt<'genv, 'tcx, T>where\n T: Unpin,",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> Unpin for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> Unpin for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_macros":[["impl Unpin for DiagnosticDeriveKind",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveKind"]],["impl Unpin for DiagnosticDeriveError",1,["flux_macros::diagnostics::error::DiagnosticDeriveError"]],["impl Unpin for AllowMultipleAlternatives",1,["flux_macros::diagnostics::utils::AllowMultipleAlternatives"]],["impl Unpin for Applicability",1,["flux_macros::diagnostics::utils::Applicability"]],["impl Unpin for SubdiagnosticKind",1,["flux_macros::diagnostics::utils::SubdiagnosticKind"]],["impl Unpin for SuggestionKind",1,["flux_macros::diagnostics::utils::SuggestionKind"]],["impl Unpin for Guard",1,["flux_macros::primops::Guard"]],["impl Unpin for Output",1,["flux_macros::primops::Output"]],["impl Unpin for Mismatch",1,["flux_macros::diagnostics::diagnostic::Mismatch"]],["impl Unpin for DiagnosticDeriveVariantBuilder",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveVariantBuilder"]],["impl Unpin for KindsStatistics",1,["flux_macros::diagnostics::subdiagnostic::KindsStatistics"]],["impl Unpin for SubdiagnosticDerive",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDerive"]],["impl Unpin for SubdiagnosticVariant",1,["flux_macros::diagnostics::utils::SubdiagnosticVariant"]],["impl Unpin for requires",1,["flux_macros::primops::kw::requires"]],["impl Unpin for Arg",1,["flux_macros::primops::Arg"]],["impl Unpin for Renderer",1,["flux_macros::primops::Renderer"]],["impl Unpin for Requires",1,["flux_macros::primops::Requires"]],["impl Unpin for Rule",1,["flux_macros::primops::Rule"]],["impl Unpin for Rules",1,["flux_macros::primops::Rules"]],["impl<'a> Unpin for DiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::DiagnosticDerive"]],["impl<'a> Unpin for LintDiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::LintDiagnosticDerive"]],["impl<'a> Unpin for FieldInfo<'a>",1,["flux_macros::diagnostics::utils::FieldInfo"]],["impl<'parent, 'a> Unpin for SubdiagnosticDeriveVariantBuilder<'parent, 'a>",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDeriveVariantBuilder"]],["impl<'ty> Unpin for FieldInnerTy<'ty>",1,["flux_macros::diagnostics::utils::FieldInnerTy"]]],
"flux_metadata":[["impl Unpin for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl Unpin for CStore",1,["flux_metadata::CStore"]],["impl Unpin for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> Unpin for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> Unpin for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> Unpin for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> Unpin for Tables<K>where\n K: Unpin,",1,["flux_metadata::Tables"]]],
diff --git a/doc/trait.impl/core/panic/unwind_safe/trait.RefUnwindSafe.js b/doc/trait.impl/core/panic/unwind_safe/trait.RefUnwindSafe.js
index f8951b6b77..3069784b82 100644
--- a/doc/trait.impl/core/panic/unwind_safe/trait.RefUnwindSafe.js
+++ b/doc/trait.impl/core/panic/unwind_safe/trait.RefUnwindSafe.js
@@ -7,7 +7,7 @@
"flux_desugar":[["impl RefUnwindSafe for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl RefUnwindSafe for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl RefUnwindSafe for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl RefUnwindSafe for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl RefUnwindSafe for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl RefUnwindSafe for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl RefUnwindSafe for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl RefUnwindSafe for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl RefUnwindSafe for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl RefUnwindSafe for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl RefUnwindSafe for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl RefUnwindSafe for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl RefUnwindSafe for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl RefUnwindSafe for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl RefUnwindSafe for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl RefUnwindSafe for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl RefUnwindSafe for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl RefUnwindSafe for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl RefUnwindSafe for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl RefUnwindSafe for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl RefUnwindSafe for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl RefUnwindSafe for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl RefUnwindSafe for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> RefUnwindSafe for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> !RefUnwindSafe for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> !RefUnwindSafe for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> !RefUnwindSafe for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> !RefUnwindSafe for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> !RefUnwindSafe for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> !RefUnwindSafe for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> RefUnwindSafe for ScopedVisitorWrapper<V>where\n V: RefUnwindSafe,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl RefUnwindSafe for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl RefUnwindSafe for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl RefUnwindSafe for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl RefUnwindSafe for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl RefUnwindSafe for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl RefUnwindSafe for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl RefUnwindSafe for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl RefUnwindSafe for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl RefUnwindSafe for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl RefUnwindSafe for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl RefUnwindSafe for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl RefUnwindSafe for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl RefUnwindSafe for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl RefUnwindSafe for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl RefUnwindSafe for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl RefUnwindSafe for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl RefUnwindSafe for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl RefUnwindSafe for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl RefUnwindSafe for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl RefUnwindSafe for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl RefUnwindSafe for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl RefUnwindSafe for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl RefUnwindSafe for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> !RefUnwindSafe for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> !RefUnwindSafe for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> !RefUnwindSafe for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl !RefUnwindSafe for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> !RefUnwindSafe for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl RefUnwindSafe for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl RefUnwindSafe for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl RefUnwindSafe for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl RefUnwindSafe for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl RefUnwindSafe for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl RefUnwindSafe for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl RefUnwindSafe for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl RefUnwindSafe for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl RefUnwindSafe for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl RefUnwindSafe for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl RefUnwindSafe for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl RefUnwindSafe for Env",1,["flux_fhir_analysis::conv::Env"]],["impl RefUnwindSafe for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl RefUnwindSafe for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl RefUnwindSafe for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl RefUnwindSafe for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl RefUnwindSafe for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl RefUnwindSafe for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl RefUnwindSafe for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl RefUnwindSafe for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl RefUnwindSafe for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl RefUnwindSafe for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl RefUnwindSafe for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl RefUnwindSafe for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl RefUnwindSafe for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl RefUnwindSafe for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl RefUnwindSafe for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl RefUnwindSafe for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl RefUnwindSafe for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl RefUnwindSafe for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl RefUnwindSafe for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl RefUnwindSafe for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> RefUnwindSafe for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> RefUnwindSafe for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> RefUnwindSafe for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> RefUnwindSafe for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> RefUnwindSafe for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> RefUnwindSafe for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !RefUnwindSafe for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !RefUnwindSafe for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl RefUnwindSafe for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl RefUnwindSafe for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl RefUnwindSafe for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl RefUnwindSafe for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl RefUnwindSafe for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl RefUnwindSafe for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl RefUnwindSafe for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl RefUnwindSafe for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl RefUnwindSafe for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl RefUnwindSafe for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl RefUnwindSafe for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl RefUnwindSafe for Env",1,["flux_fhir_analysis::conv::Env"]],["impl RefUnwindSafe for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl RefUnwindSafe for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl RefUnwindSafe for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl RefUnwindSafe for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl RefUnwindSafe for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl RefUnwindSafe for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl RefUnwindSafe for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl RefUnwindSafe for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl RefUnwindSafe for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl RefUnwindSafe for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl RefUnwindSafe for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl RefUnwindSafe for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl RefUnwindSafe for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl RefUnwindSafe for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl RefUnwindSafe for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl RefUnwindSafe for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl RefUnwindSafe for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl RefUnwindSafe for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl RefUnwindSafe for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> RefUnwindSafe for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> RefUnwindSafe for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> RefUnwindSafe for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> RefUnwindSafe for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> RefUnwindSafe for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> RefUnwindSafe for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !RefUnwindSafe for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !RefUnwindSafe for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !RefUnwindSafe for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> !RefUnwindSafe for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl !RefUnwindSafe for Node",1,["flux_infer::refine_tree::Node"]],["impl !RefUnwindSafe for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl !RefUnwindSafe for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl !RefUnwindSafe for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl !RefUnwindSafe for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl !RefUnwindSafe for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl RefUnwindSafe for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl RefUnwindSafe for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl RefUnwindSafe for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl RefUnwindSafe for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl RefUnwindSafe for InferErr",1,["flux_infer::infer::InferErr"]],["impl RefUnwindSafe for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl RefUnwindSafe for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl RefUnwindSafe for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl RefUnwindSafe for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl RefUnwindSafe for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl RefUnwindSafe for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl RefUnwindSafe for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl RefUnwindSafe for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl RefUnwindSafe for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl RefUnwindSafe for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl RefUnwindSafe for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl RefUnwindSafe for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl RefUnwindSafe for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl RefUnwindSafe for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl RefUnwindSafe for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl RefUnwindSafe for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl RefUnwindSafe for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl RefUnwindSafe for Sub",1,["flux_infer::infer::Sub"]],["impl RefUnwindSafe for Tag",1,["flux_infer::infer::Tag"]],["impl RefUnwindSafe for Scope",1,["flux_infer::refine_tree::Scope"]],["impl<'a> !RefUnwindSafe for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> !RefUnwindSafe for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> !RefUnwindSafe for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> !RefUnwindSafe for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> !RefUnwindSafe for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> !RefUnwindSafe for FixpointCtxt<'genv, 'tcx, T>",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> !RefUnwindSafe for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> !RefUnwindSafe for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_macros":[["impl RefUnwindSafe for DiagnosticDeriveKind",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveKind"]],["impl RefUnwindSafe for DiagnosticDeriveError",1,["flux_macros::diagnostics::error::DiagnosticDeriveError"]],["impl RefUnwindSafe for AllowMultipleAlternatives",1,["flux_macros::diagnostics::utils::AllowMultipleAlternatives"]],["impl RefUnwindSafe for Applicability",1,["flux_macros::diagnostics::utils::Applicability"]],["impl RefUnwindSafe for SubdiagnosticKind",1,["flux_macros::diagnostics::utils::SubdiagnosticKind"]],["impl RefUnwindSafe for SuggestionKind",1,["flux_macros::diagnostics::utils::SuggestionKind"]],["impl RefUnwindSafe for Guard",1,["flux_macros::primops::Guard"]],["impl RefUnwindSafe for Output",1,["flux_macros::primops::Output"]],["impl RefUnwindSafe for Mismatch",1,["flux_macros::diagnostics::diagnostic::Mismatch"]],["impl RefUnwindSafe for DiagnosticDeriveVariantBuilder",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveVariantBuilder"]],["impl RefUnwindSafe for KindsStatistics",1,["flux_macros::diagnostics::subdiagnostic::KindsStatistics"]],["impl RefUnwindSafe for SubdiagnosticDerive",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDerive"]],["impl RefUnwindSafe for SubdiagnosticVariant",1,["flux_macros::diagnostics::utils::SubdiagnosticVariant"]],["impl RefUnwindSafe for requires",1,["flux_macros::primops::kw::requires"]],["impl RefUnwindSafe for Arg",1,["flux_macros::primops::Arg"]],["impl RefUnwindSafe for Renderer",1,["flux_macros::primops::Renderer"]],["impl RefUnwindSafe for Requires",1,["flux_macros::primops::Requires"]],["impl RefUnwindSafe for Rule",1,["flux_macros::primops::Rule"]],["impl RefUnwindSafe for Rules",1,["flux_macros::primops::Rules"]],["impl<'a> RefUnwindSafe for DiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::DiagnosticDerive"]],["impl<'a> RefUnwindSafe for LintDiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::LintDiagnosticDerive"]],["impl<'a> RefUnwindSafe for FieldInfo<'a>",1,["flux_macros::diagnostics::utils::FieldInfo"]],["impl<'parent, 'a> RefUnwindSafe for SubdiagnosticDeriveVariantBuilder<'parent, 'a>",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDeriveVariantBuilder"]],["impl<'ty> RefUnwindSafe for FieldInnerTy<'ty>",1,["flux_macros::diagnostics::utils::FieldInnerTy"]]],
"flux_metadata":[["impl RefUnwindSafe for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl RefUnwindSafe for CStore",1,["flux_metadata::CStore"]],["impl RefUnwindSafe for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> !RefUnwindSafe for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> !RefUnwindSafe for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> !RefUnwindSafe for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> RefUnwindSafe for Tables<K>where\n K: RefUnwindSafe,",1,["flux_metadata::Tables"]]],
diff --git a/doc/trait.impl/core/panic/unwind_safe/trait.UnwindSafe.js b/doc/trait.impl/core/panic/unwind_safe/trait.UnwindSafe.js
index 41fa0fa92b..615dc9b1fe 100644
--- a/doc/trait.impl/core/panic/unwind_safe/trait.UnwindSafe.js
+++ b/doc/trait.impl/core/panic/unwind_safe/trait.UnwindSafe.js
@@ -7,7 +7,7 @@
"flux_desugar":[["impl UnwindSafe for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl UnwindSafe for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl UnwindSafe for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl UnwindSafe for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl UnwindSafe for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl UnwindSafe for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl UnwindSafe for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl UnwindSafe for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl UnwindSafe for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl UnwindSafe for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl UnwindSafe for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl UnwindSafe for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl UnwindSafe for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl UnwindSafe for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl UnwindSafe for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl UnwindSafe for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl UnwindSafe for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl UnwindSafe for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl UnwindSafe for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl UnwindSafe for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl UnwindSafe for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl UnwindSafe for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl UnwindSafe for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> UnwindSafe for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> !UnwindSafe for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> !UnwindSafe for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> !UnwindSafe for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> !UnwindSafe for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> !UnwindSafe for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> !UnwindSafe for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> UnwindSafe for ScopedVisitorWrapper<V>where\n V: UnwindSafe,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl UnwindSafe for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl UnwindSafe for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl UnwindSafe for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl UnwindSafe for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl UnwindSafe for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl UnwindSafe for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl UnwindSafe for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl UnwindSafe for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl UnwindSafe for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl UnwindSafe for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl UnwindSafe for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl UnwindSafe for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl UnwindSafe for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl UnwindSafe for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl UnwindSafe for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl UnwindSafe for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl UnwindSafe for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl UnwindSafe for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl UnwindSafe for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl UnwindSafe for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl UnwindSafe for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl UnwindSafe for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl UnwindSafe for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> !UnwindSafe for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> !UnwindSafe for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> !UnwindSafe for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl !UnwindSafe for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> !UnwindSafe for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl UnwindSafe for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl UnwindSafe for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl UnwindSafe for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl UnwindSafe for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl UnwindSafe for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl UnwindSafe for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl UnwindSafe for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl UnwindSafe for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl UnwindSafe for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl UnwindSafe for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl UnwindSafe for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl UnwindSafe for Env",1,["flux_fhir_analysis::conv::Env"]],["impl UnwindSafe for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl UnwindSafe for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl UnwindSafe for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl UnwindSafe for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl UnwindSafe for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl UnwindSafe for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl UnwindSafe for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl UnwindSafe for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl UnwindSafe for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl UnwindSafe for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl UnwindSafe for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl UnwindSafe for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl UnwindSafe for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl UnwindSafe for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl UnwindSafe for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl UnwindSafe for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl UnwindSafe for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl UnwindSafe for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl UnwindSafe for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl UnwindSafe for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> UnwindSafe for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> UnwindSafe for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> UnwindSafe for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> UnwindSafe for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> UnwindSafe for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> UnwindSafe for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !UnwindSafe for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !UnwindSafe for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl UnwindSafe for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl UnwindSafe for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl UnwindSafe for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl UnwindSafe for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl UnwindSafe for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl UnwindSafe for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl UnwindSafe for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl UnwindSafe for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl UnwindSafe for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl UnwindSafe for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl UnwindSafe for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl UnwindSafe for Env",1,["flux_fhir_analysis::conv::Env"]],["impl UnwindSafe for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl UnwindSafe for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl UnwindSafe for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl UnwindSafe for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl UnwindSafe for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl UnwindSafe for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl UnwindSafe for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl UnwindSafe for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl UnwindSafe for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl UnwindSafe for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl UnwindSafe for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl UnwindSafe for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl UnwindSafe for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl UnwindSafe for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl UnwindSafe for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl UnwindSafe for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl UnwindSafe for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl UnwindSafe for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl UnwindSafe for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> UnwindSafe for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> UnwindSafe for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> UnwindSafe for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> UnwindSafe for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> UnwindSafe for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> UnwindSafe for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !UnwindSafe for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !UnwindSafe for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !UnwindSafe for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> !UnwindSafe for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl !UnwindSafe for Node",1,["flux_infer::refine_tree::Node"]],["impl !UnwindSafe for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl !UnwindSafe for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl !UnwindSafe for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl !UnwindSafe for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl !UnwindSafe for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl UnwindSafe for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl UnwindSafe for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl UnwindSafe for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl UnwindSafe for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl UnwindSafe for InferErr",1,["flux_infer::infer::InferErr"]],["impl UnwindSafe for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl UnwindSafe for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl UnwindSafe for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl UnwindSafe for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl UnwindSafe for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl UnwindSafe for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl UnwindSafe for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl UnwindSafe for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl UnwindSafe for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl UnwindSafe for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl UnwindSafe for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl UnwindSafe for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl UnwindSafe for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl UnwindSafe for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl UnwindSafe for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl UnwindSafe for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl UnwindSafe for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl UnwindSafe for Sub",1,["flux_infer::infer::Sub"]],["impl UnwindSafe for Tag",1,["flux_infer::infer::Tag"]],["impl UnwindSafe for Scope",1,["flux_infer::refine_tree::Scope"]],["impl<'a> !UnwindSafe for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> !UnwindSafe for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> !UnwindSafe for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> !UnwindSafe for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> !UnwindSafe for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> !UnwindSafe for FixpointCtxt<'genv, 'tcx, T>",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> !UnwindSafe for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> !UnwindSafe for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_macros":[["impl UnwindSafe for DiagnosticDeriveKind",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveKind"]],["impl UnwindSafe for DiagnosticDeriveError",1,["flux_macros::diagnostics::error::DiagnosticDeriveError"]],["impl UnwindSafe for AllowMultipleAlternatives",1,["flux_macros::diagnostics::utils::AllowMultipleAlternatives"]],["impl UnwindSafe for Applicability",1,["flux_macros::diagnostics::utils::Applicability"]],["impl UnwindSafe for SubdiagnosticKind",1,["flux_macros::diagnostics::utils::SubdiagnosticKind"]],["impl UnwindSafe for SuggestionKind",1,["flux_macros::diagnostics::utils::SuggestionKind"]],["impl UnwindSafe for Guard",1,["flux_macros::primops::Guard"]],["impl UnwindSafe for Output",1,["flux_macros::primops::Output"]],["impl UnwindSafe for Mismatch",1,["flux_macros::diagnostics::diagnostic::Mismatch"]],["impl UnwindSafe for DiagnosticDeriveVariantBuilder",1,["flux_macros::diagnostics::diagnostic_builder::DiagnosticDeriveVariantBuilder"]],["impl UnwindSafe for KindsStatistics",1,["flux_macros::diagnostics::subdiagnostic::KindsStatistics"]],["impl UnwindSafe for SubdiagnosticDerive",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDerive"]],["impl UnwindSafe for SubdiagnosticVariant",1,["flux_macros::diagnostics::utils::SubdiagnosticVariant"]],["impl UnwindSafe for requires",1,["flux_macros::primops::kw::requires"]],["impl UnwindSafe for Arg",1,["flux_macros::primops::Arg"]],["impl UnwindSafe for Renderer",1,["flux_macros::primops::Renderer"]],["impl UnwindSafe for Requires",1,["flux_macros::primops::Requires"]],["impl UnwindSafe for Rule",1,["flux_macros::primops::Rule"]],["impl UnwindSafe for Rules",1,["flux_macros::primops::Rules"]],["impl<'a> UnwindSafe for DiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::DiagnosticDerive"]],["impl<'a> UnwindSafe for LintDiagnosticDerive<'a>",1,["flux_macros::diagnostics::diagnostic::LintDiagnosticDerive"]],["impl<'a> UnwindSafe for FieldInfo<'a>",1,["flux_macros::diagnostics::utils::FieldInfo"]],["impl<'parent, 'a> UnwindSafe for SubdiagnosticDeriveVariantBuilder<'parent, 'a>",1,["flux_macros::diagnostics::subdiagnostic::SubdiagnosticDeriveVariantBuilder"]],["impl<'ty> UnwindSafe for FieldInnerTy<'ty>",1,["flux_macros::diagnostics::utils::FieldInnerTy"]]],
"flux_metadata":[["impl UnwindSafe for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl UnwindSafe for CStore",1,["flux_metadata::CStore"]],["impl UnwindSafe for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> !UnwindSafe for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> !UnwindSafe for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> !UnwindSafe for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> UnwindSafe for Tables<K>where\n K: UnwindSafe,",1,["flux_metadata::Tables"]]],
diff --git a/doc/trait.impl/rustc_data_structures/marker/trait.DynSend.js b/doc/trait.impl/rustc_data_structures/marker/trait.DynSend.js
index 25733554c8..8e66506917 100644
--- a/doc/trait.impl/rustc_data_structures/marker/trait.DynSend.js
+++ b/doc/trait.impl/rustc_data_structures/marker/trait.DynSend.js
@@ -4,7 +4,7 @@
"flux_desugar":[["impl DynSend for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl DynSend for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl DynSend for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl DynSend for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl DynSend for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl DynSend for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl DynSend for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl DynSend for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl DynSend for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl DynSend for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl DynSend for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl DynSend for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl DynSend for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl DynSend for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl DynSend for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl DynSend for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl DynSend for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl DynSend for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl DynSend for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl DynSend for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl DynSend for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl DynSend for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl DynSend for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> DynSend for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> !DynSend for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> !DynSend for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> !DynSend for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> !DynSend for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> DynSend for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> !DynSend for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> !DynSend for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> !DynSend for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> !DynSend for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> DynSend for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> DynSend for ScopedVisitorWrapper<V>where\n V: DynSend,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl DynSend for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl DynSend for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl DynSend for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl DynSend for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl DynSend for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl DynSend for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl DynSend for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl DynSend for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl DynSend for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl DynSend for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl DynSend for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl DynSend for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl DynSend for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl DynSend for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl DynSend for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl DynSend for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl DynSend for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl DynSend for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl DynSend for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl DynSend for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl DynSend for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl DynSend for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl DynSend for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> DynSend for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> !DynSend for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> DynSend for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl DynSend for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> DynSend for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl DynSend for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl DynSend for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl DynSend for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl DynSend for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl DynSend for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl DynSend for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl DynSend for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl DynSend for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl DynSend for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl DynSend for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl DynSend for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl DynSend for Env",1,["flux_fhir_analysis::conv::Env"]],["impl DynSend for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl DynSend for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl DynSend for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl DynSend for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl DynSend for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl DynSend for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl DynSend for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl DynSend for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl DynSend for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl DynSend for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl DynSend for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl DynSend for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl DynSend for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl DynSend for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl DynSend for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl DynSend for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl DynSend for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl DynSend for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl DynSend for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl DynSend for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> DynSend for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> DynSend for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> DynSend for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> DynSend for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> DynSend for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> DynSend for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !DynSend for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !DynSend for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !DynSend for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !DynSend for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !DynSend for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !DynSend for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !DynSend for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !DynSend for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !DynSend for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl DynSend for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl DynSend for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl DynSend for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl DynSend for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl DynSend for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl DynSend for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl DynSend for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl DynSend for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl DynSend for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl DynSend for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl DynSend for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl DynSend for Env",1,["flux_fhir_analysis::conv::Env"]],["impl DynSend for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl DynSend for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl DynSend for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl DynSend for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl DynSend for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl DynSend for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl DynSend for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl DynSend for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl DynSend for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl DynSend for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl DynSend for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl DynSend for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl DynSend for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl DynSend for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl DynSend for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl DynSend for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl DynSend for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl DynSend for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl DynSend for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> DynSend for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> DynSend for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> DynSend for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> DynSend for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> DynSend for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> DynSend for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !DynSend for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !DynSend for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !DynSend for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !DynSend for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !DynSend for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !DynSend for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !DynSend for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !DynSend for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !DynSend for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> DynSend for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl !DynSend for Node",1,["flux_infer::refine_tree::Node"]],["impl !DynSend for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl !DynSend for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl !DynSend for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl !DynSend for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl !DynSend for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl DynSend for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl DynSend for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl DynSend for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl DynSend for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl DynSend for InferErr",1,["flux_infer::infer::InferErr"]],["impl DynSend for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl DynSend for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl DynSend for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl DynSend for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl DynSend for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl DynSend for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl DynSend for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl DynSend for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl DynSend for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl DynSend for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl DynSend for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl DynSend for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl DynSend for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl DynSend for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl DynSend for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl DynSend for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl DynSend for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl DynSend for Sub",1,["flux_infer::infer::Sub"]],["impl DynSend for Tag",1,["flux_infer::infer::Tag"]],["impl DynSend for Scope",1,["flux_infer::refine_tree::Scope"]],["impl<'a> !DynSend for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> !DynSend for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> !DynSend for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> !DynSend for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> !DynSend for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> !DynSend for FixpointCtxt<'genv, 'tcx, T>",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> !DynSend for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> DynSend for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_metadata":[["impl DynSend for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl DynSend for CStore",1,["flux_metadata::CStore"]],["impl DynSend for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> DynSend for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> !DynSend for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> DynSend for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> DynSend for Tables<K>where\n K: DynSend,",1,["flux_metadata::Tables"]]],
"flux_middle":[["impl DynSend for Sign",1,["flux_middle::big_int::Sign"]],["impl DynSend for ExternSpecMappingErr",1,["flux_middle::ExternSpecMappingErr"]],["impl DynSend for ResolvedDefId",1,["flux_middle::ResolvedDefId"]],["impl DynSend for ConstArgKind",1,["flux_middle::fhir::ConstArgKind"]],["impl DynSend for FluxLocalDefId",1,["flux_middle::fhir::FluxLocalDefId"]],["impl DynSend for FluxOwnerId",1,["flux_middle::fhir::FluxOwnerId"]],["impl DynSend for Ignored",1,["flux_middle::fhir::Ignored"]],["impl DynSend for InferMode",1,["flux_middle::fhir::InferMode"]],["impl DynSend for Lifetime",1,["flux_middle::fhir::Lifetime"]],["impl DynSend for Lit",1,["flux_middle::fhir::Lit"]],["impl DynSend for ParamKind",1,["flux_middle::fhir::ParamKind"]],["impl DynSend for PrimSort",1,["flux_middle::fhir::PrimSort"]],["impl DynSend for Res",1,["flux_middle::fhir::Res"]],["impl DynSend for SortRes",1,["flux_middle::fhir::SortRes"]],["impl DynSend for SpecFuncKind",1,["flux_middle::fhir::SpecFuncKind"]],["impl DynSend for TraitBoundModifier",1,["flux_middle::fhir::TraitBoundModifier"]],["impl DynSend for Trusted",1,["flux_middle::fhir::Trusted"]],["impl DynSend for KVarArgs",1,["flux_middle::pretty::KVarArgs"]],["impl DynSend for QueryErr",1,["flux_middle::queries::QueryErr"]],["impl DynSend for BoundReftKind",1,["flux_middle::rty::binder::BoundReftKind"]],["impl DynSend for BoundVariableKind",1,["flux_middle::rty::binder::BoundVariableKind"]],["impl DynSend for CanonicalTy",1,["flux_middle::rty::canonicalize::CanonicalTy"]],["impl DynSend for BaseTy",1,["flux_middle::rty::BaseTy"]],["impl DynSend for BvSize",1,["flux_middle::rty::BvSize"]],["impl DynSend for ClauseKind",1,["flux_middle::rty::ClauseKind"]],["impl DynSend for Coercion",1,["flux_middle::rty::Coercion"]],["impl DynSend for Ensures",1,["flux_middle::rty::Ensures"]],["impl DynSend for ExistentialPredicate",1,["flux_middle::rty::ExistentialPredicate"]],["impl DynSend for GenericArg",1,["flux_middle::rty::GenericArg"]],["impl DynSend for GenericParamDefKind",1,["flux_middle::rty::GenericParamDefKind"]],["impl DynSend for NumVarValue",1,["flux_middle::rty::NumVarValue"]],["impl DynSend for PtrKind",1,["flux_middle::rty::PtrKind"]],["impl DynSend for Sort",1,["flux_middle::rty::Sort"]],["impl DynSend for SortArg",1,["flux_middle::rty::SortArg"]],["impl DynSend for SortCtor",1,["flux_middle::rty::SortCtor"]],["impl DynSend for SortInfer",1,["flux_middle::rty::SortInfer"]],["impl DynSend for SortParamKind",1,["flux_middle::rty::SortParamKind"]],["impl DynSend for TyKind",1,["flux_middle::rty::TyKind"]],["impl DynSend for EVarState",1,["flux_middle::rty::evars::EVarState"]],["impl DynSend for AggregateKind",1,["flux_middle::rty::expr::AggregateKind"]],["impl DynSend for BinOp",1,["flux_middle::rty::expr::BinOp"]],["impl DynSend for Constant",1,["flux_middle::rty::expr::Constant"]],["impl DynSend for ExprKind",1,["flux_middle::rty::expr::ExprKind"]],["impl DynSend for FieldProj",1,["flux_middle::rty::expr::FieldProj"]],["impl DynSend for HoleKind",1,["flux_middle::rty::expr::HoleKind"]],["impl DynSend for Loc",1,["flux_middle::rty::expr::Loc"]],["impl DynSend for UnOp",1,["flux_middle::rty::expr::UnOp"]],["impl DynSend for Var",1,["flux_middle::rty::expr::Var"]],["impl DynSend for Precedence",1,["flux_middle::rty::expr::pretty::Precedence"]],["impl DynSend for Candidate",1,["flux_middle::rty::projections::Candidate"]],["impl DynSend for TyOrBase",1,["flux_middle::rty::refining::TyOrBase"]],["impl DynSend for BigInt",1,["flux_middle::big_int::BigInt"]],["impl DynSend for ConstArg",1,["flux_middle::fhir::ConstArg"]],["impl DynSend for FhirId",1,["flux_middle::fhir::FhirId"]],["impl DynSend for ItemLocalId",1,["flux_middle::fhir::ItemLocalId"]],["impl DynSend for ParamId",1,["flux_middle::fhir::ParamId"]],["impl DynSend for PartialRes",1,["flux_middle::fhir::PartialRes"]],["impl DynSend for SortDecl",1,["flux_middle::fhir::SortDecl"]],["impl DynSend for BoundVarName",1,["flux_middle::pretty::BoundVarName"]],["impl DynSend for Env",1,["flux_middle::pretty::Env"]],["impl DynSend for Providers",1,["flux_middle::queries::Providers"]],["impl DynSend for QueryErrAt",1,["flux_middle::queries::QueryErrAt"]],["impl DynSend for CanonicalConstrTy",1,["flux_middle::rty::canonicalize::CanonicalConstrTy"]],["impl DynSend for LocalHoister",1,["flux_middle::rty::canonicalize::LocalHoister"]],["impl DynSend for EVar",1,["flux_middle::rty::evars::EVar"]],["impl DynSend for EVarCxId",1,["flux_middle::rty::evars::EVarCxId"]],["impl DynSend for EVarSol",1,["flux_middle::rty::evars::EVarSol"]],["impl DynSend for EVid",1,["flux_middle::rty::evars::EVid"]],["impl DynSend for UnsolvedEvar",1,["flux_middle::rty::evars::UnsolvedEvar"]],["impl DynSend for AliasReft",1,["flux_middle::rty::expr::AliasReft"]],["impl DynSend for BoundReft",1,["flux_middle::rty::expr::BoundReft"]],["impl DynSend for ESpan",1,["flux_middle::rty::expr::ESpan"]],["impl DynSend for EarlyReftParam",1,["flux_middle::rty::expr::EarlyReftParam"]],["impl DynSend for Expr",1,["flux_middle::rty::expr::Expr"]],["impl DynSend for KVar",1,["flux_middle::rty::expr::KVar"]],["impl DynSend for KVid",1,["flux_middle::rty::expr::KVid"]],["impl DynSend for Lambda",1,["flux_middle::rty::expr::Lambda"]],["impl DynSend for Name",1,["flux_middle::rty::expr::Name"]],["impl DynSend for Path",1,["flux_middle::rty::expr::Path"]],["impl DynSend for Real",1,["flux_middle::rty::expr::Real"]],["impl DynSend for BaseSpanner",1,["flux_middle::rty::normalize::BaseSpanner"]],["impl DynSend for SpecFuncDefns",1,["flux_middle::rty::normalize::SpecFuncDefns"]],["impl DynSend for TVarSubst",1,["flux_middle::rty::projections::TVarSubst"]],["impl DynSend for AdtDef",1,["flux_middle::rty::AdtDef"]],["impl DynSend for AdtDefData",1,["flux_middle::rty::AdtDefData"]],["impl DynSend for AdtSortDef",1,["flux_middle::rty::AdtSortDef"]],["impl DynSend for AdtSortDefData",1,["flux_middle::rty::AdtSortDefData"]],["impl DynSend for AliasTy",1,["flux_middle::rty::AliasTy"]],["impl DynSend for AssocRefinement",1,["flux_middle::rty::AssocRefinement"]],["impl DynSend for AssocRefinements",1,["flux_middle::rty::AssocRefinements"]],["impl DynSend for BvSizeVid",1,["flux_middle::rty::BvSizeVid"]],["impl DynSend for Clause",1,["flux_middle::rty::Clause"]],["impl DynSend for ClosureOblig",1,["flux_middle::rty::ClosureOblig"]],["impl DynSend for CoroutineObligPredicate",1,["flux_middle::rty::CoroutineObligPredicate"]],["impl DynSend for ExistentialProjection",1,["flux_middle::rty::ExistentialProjection"]],["impl DynSend for ExistentialTraitRef",1,["flux_middle::rty::ExistentialTraitRef"]],["impl DynSend for FnOutput",1,["flux_middle::rty::FnOutput"]],["impl DynSend for FnSig",1,["flux_middle::rty::FnSig"]],["impl DynSend for FnTraitPredicate",1,["flux_middle::rty::FnTraitPredicate"]],["impl DynSend for FuncSort",1,["flux_middle::rty::FuncSort"]],["impl DynSend for GenericParamDef",1,["flux_middle::rty::GenericParamDef"]],["impl DynSend for GenericPredicates",1,["flux_middle::rty::GenericPredicates"]],["impl DynSend for Generics",1,["flux_middle::rty::Generics"]],["impl DynSend for Invariant",1,["flux_middle::rty::Invariant"]],["impl DynSend for NumVid",1,["flux_middle::rty::NumVid"]],["impl DynSend for ParamSort",1,["flux_middle::rty::ParamSort"]],["impl DynSend for PolyFuncSort",1,["flux_middle::rty::PolyFuncSort"]],["impl DynSend for ProjectionPredicate",1,["flux_middle::rty::ProjectionPredicate"]],["impl DynSend for Qualifier",1,["flux_middle::rty::Qualifier"]],["impl DynSend for RefineParam",1,["flux_middle::rty::RefineParam"]],["impl DynSend for RefinementGenerics",1,["flux_middle::rty::RefinementGenerics"]],["impl DynSend for SortVid",1,["flux_middle::rty::SortVid"]],["impl DynSend for SpecFunc",1,["flux_middle::rty::SpecFunc"]],["impl DynSend for SpecFuncDecl",1,["flux_middle::rty::SpecFuncDecl"]],["impl DynSend for SubsetTy",1,["flux_middle::rty::SubsetTy"]],["impl DynSend for TraitPredicate",1,["flux_middle::rty::TraitPredicate"]],["impl DynSend for TraitRef",1,["flux_middle::rty::TraitRef"]],["impl DynSend for Ty",1,["flux_middle::rty::Ty"]],["impl DynSend for VariantSig",1,["flux_middle::rty::VariantSig"]],["impl DynSend for WfckResults",1,["flux_middle::rty::WfckResults"]],["impl DynSend for ConstGenericArgs",1,["flux_middle::rty::subst::ConstGenericArgs"]],["impl DynSend for RegionSubst",1,["flux_middle::rty::subst::RegionSubst"]],["impl DynSend for PlaceTy",1,["flux_middle::PlaceTy"]],["impl DynSend for ResolverOutput",1,["flux_middle::ResolverOutput"]],["impl DynSend for Specs",1,["flux_middle::Specs"]],["impl DynSend for TheoryFunc",1,["flux_middle::TheoryFunc"]],["impl<'a> DynSend for UnsupportedHir<'a>",1,["flux_middle::fhir::lift::errors::UnsupportedHir"]],["impl<'a> DynSend for Normalizer<'a>",1,["flux_middle::rty::normalize::Normalizer"]],["impl<'a> DynSend for EVarSubstFolder<'a>",1,["flux_middle::rty::subst::EVarSubstFolder"]],["impl<'a, 'genv, 'tcx> !DynSend for LiftCtxt<'a, 'genv, 'tcx>",1,["flux_middle::fhir::lift::LiftCtxt"]],["impl<'a, 'tcx> DynSend for GenericArgsDelegate<'a, 'tcx>",1,["flux_middle::rty::subst::GenericArgsDelegate"]],["impl<'a, 'tcx, T> !DynSend for WithCx<'a, 'tcx, T>",1,["flux_middle::pretty::WithCx"]],["impl<'a, D> DynSend for GenericsSubstFolder<'a, D>where\n D: DynSend,",1,["flux_middle::rty::subst::GenericsSubstFolder"]],["impl<'a, I> DynSend for Join<'a, I>where\n I: DynSend,",1,["flux_middle::pretty::Join"]],["impl<'a, T> DynSend for Parens<'a, T>where\n T: DynSync,",1,["flux_middle::pretty::Parens"]],["impl<'a, T> DynSend for LocalTableInContext<'a, T>where\n T: DynSync,",1,["flux_middle::rty::LocalTableInContext"]],["impl<'a, T> DynSend for LocalTableInContextMut<'a, T>where\n T: DynSend,",1,["flux_middle::rty::LocalTableInContextMut"]],["impl<'fhir> DynSend for AssocItemConstraintKind<'fhir>",1,["flux_middle::fhir::AssocItemConstraintKind"]],["impl<'fhir> DynSend for BaseTyKind<'fhir>",1,["flux_middle::fhir::BaseTyKind"]],["impl<'fhir> DynSend for Ensures<'fhir>",1,["flux_middle::fhir::Ensures"]],["impl<'fhir> DynSend for ExprKind<'fhir>",1,["flux_middle::fhir::ExprKind"]],["impl<'fhir> DynSend for FluxItem<'fhir>",1,["flux_middle::fhir::FluxItem"]],["impl<'fhir> DynSend for GenericArg<'fhir>",1,["flux_middle::fhir::GenericArg"]],["impl<'fhir> DynSend for GenericBound<'fhir>",1,["flux_middle::fhir::GenericBound"]],["impl<'fhir> DynSend for GenericParamKind<'fhir>",1,["flux_middle::fhir::GenericParamKind"]],["impl<'fhir> DynSend for ImplItemKind<'fhir>",1,["flux_middle::fhir::ImplItemKind"]],["impl<'fhir> DynSend for ItemKind<'fhir>",1,["flux_middle::fhir::ItemKind"]],["impl<'fhir> DynSend for Node<'fhir>",1,["flux_middle::fhir::Node"]],["impl<'fhir> DynSend for QPath<'fhir>",1,["flux_middle::fhir::QPath"]],["impl<'fhir> DynSend for RefineArgKind<'fhir>",1,["flux_middle::fhir::RefineArgKind"]],["impl<'fhir> DynSend for Sort<'fhir>",1,["flux_middle::fhir::Sort"]],["impl<'fhir> DynSend for StructKind<'fhir>",1,["flux_middle::fhir::StructKind"]],["impl<'fhir> DynSend for TraitItemKind<'fhir>",1,["flux_middle::fhir::TraitItemKind"]],["impl<'fhir> DynSend for TyKind<'fhir>",1,["flux_middle::fhir::TyKind"]],["impl<'fhir> DynSend for AliasReft<'fhir>",1,["flux_middle::fhir::AliasReft"]],["impl<'fhir> DynSend for AssocItemConstraint<'fhir>",1,["flux_middle::fhir::AssocItemConstraint"]],["impl<'fhir> DynSend for BareFnTy<'fhir>",1,["flux_middle::fhir::BareFnTy"]],["impl<'fhir> DynSend for BaseTy<'fhir>",1,["flux_middle::fhir::BaseTy"]],["impl<'fhir> DynSend for EnumDef<'fhir>",1,["flux_middle::fhir::EnumDef"]],["impl<'fhir> DynSend for Expr<'fhir>",1,["flux_middle::fhir::Expr"]],["impl<'fhir> DynSend for FieldDef<'fhir>",1,["flux_middle::fhir::FieldDef"]],["impl<'fhir> DynSend for FluxItems<'fhir>",1,["flux_middle::fhir::FluxItems"]],["impl<'fhir> DynSend for FnDecl<'fhir>",1,["flux_middle::fhir::FnDecl"]],["impl<'fhir> DynSend for FnOutput<'fhir>",1,["flux_middle::fhir::FnOutput"]],["impl<'fhir> DynSend for FnSig<'fhir>",1,["flux_middle::fhir::FnSig"]],["impl<'fhir> DynSend for FuncSort<'fhir>",1,["flux_middle::fhir::FuncSort"]],["impl<'fhir> DynSend for GenericParam<'fhir>",1,["flux_middle::fhir::GenericParam"]],["impl<'fhir> DynSend for Generics<'fhir>",1,["flux_middle::fhir::Generics"]],["impl<'fhir> DynSend for Impl<'fhir>",1,["flux_middle::fhir::Impl"]],["impl<'fhir> DynSend for ImplAssocReft<'fhir>",1,["flux_middle::fhir::ImplAssocReft"]],["impl<'fhir> DynSend for ImplItem<'fhir>",1,["flux_middle::fhir::ImplItem"]],["impl<'fhir> DynSend for Item<'fhir>",1,["flux_middle::fhir::Item"]],["impl<'fhir> DynSend for MutTy<'fhir>",1,["flux_middle::fhir::MutTy"]],["impl<'fhir> DynSend for OpaqueTy<'fhir>",1,["flux_middle::fhir::OpaqueTy"]],["impl<'fhir> DynSend for Path<'fhir>",1,["flux_middle::fhir::Path"]],["impl<'fhir> DynSend for PathExpr<'fhir>",1,["flux_middle::fhir::PathExpr"]],["impl<'fhir> DynSend for PathSegment<'fhir>",1,["flux_middle::fhir::PathSegment"]],["impl<'fhir> DynSend for PolyFuncSort<'fhir>",1,["flux_middle::fhir::PolyFuncSort"]],["impl<'fhir> DynSend for PolyTraitRef<'fhir>",1,["flux_middle::fhir::PolyTraitRef"]],["impl<'fhir> DynSend for Qualifier<'fhir>",1,["flux_middle::fhir::Qualifier"]],["impl<'fhir> DynSend for RefineArg<'fhir>",1,["flux_middle::fhir::RefineArg"]],["impl<'fhir> DynSend for RefineParam<'fhir>",1,["flux_middle::fhir::RefineParam"]],["impl<'fhir> DynSend for RefinedBy<'fhir>",1,["flux_middle::fhir::RefinedBy"]],["impl<'fhir> DynSend for Requires<'fhir>",1,["flux_middle::fhir::Requires"]],["impl<'fhir> DynSend for SortPath<'fhir>",1,["flux_middle::fhir::SortPath"]],["impl<'fhir> DynSend for SpecFunc<'fhir>",1,["flux_middle::fhir::SpecFunc"]],["impl<'fhir> DynSend for StructDef<'fhir>",1,["flux_middle::fhir::StructDef"]],["impl<'fhir> DynSend for Trait<'fhir>",1,["flux_middle::fhir::Trait"]],["impl<'fhir> DynSend for TraitAssocReft<'fhir>",1,["flux_middle::fhir::TraitAssocReft"]],["impl<'fhir> DynSend for TraitItem<'fhir>",1,["flux_middle::fhir::TraitItem"]],["impl<'fhir> DynSend for Ty<'fhir>",1,["flux_middle::fhir::Ty"]],["impl<'fhir> DynSend for TyAlias<'fhir>",1,["flux_middle::fhir::TyAlias"]],["impl<'fhir> DynSend for VariantDef<'fhir>",1,["flux_middle::fhir::VariantDef"]],["impl<'fhir> DynSend for VariantRet<'fhir>",1,["flux_middle::fhir::VariantRet"]],["impl<'fhir> DynSend for WhereBoundPredicate<'fhir>",1,["flux_middle::fhir::WhereBoundPredicate"]],["impl<'genv, 'tcx> !DynSend for GlobalEnv<'genv, 'tcx>",1,["flux_middle::global_env::GlobalEnv"]],["impl<'genv, 'tcx> !DynSend for GlobalEnvInner<'genv, 'tcx>",1,["flux_middle::global_env::GlobalEnvInner"]],["impl<'genv, 'tcx> !DynSend for Map<'genv, 'tcx>",1,["flux_middle::global_env::Map"]],["impl<'genv, 'tcx> !DynSend for Queries<'genv, 'tcx>",1,["flux_middle::queries::Queries"]],["impl<'genv, 'tcx> !DynSend for Refiner<'genv, 'tcx>",1,["flux_middle::rty::refining::Refiner"]],["impl<'genv, 'tcx, 'cx> !DynSend for Normalizer<'genv, 'tcx, 'cx>",1,["flux_middle::rty::projections::Normalizer"]],["impl<'tcx> DynSend for PrettyCx<'tcx>",1,["flux_middle::pretty::PrettyCx"]],["impl<D> DynSend for Hoister<D>where\n D: DynSend,",1,["flux_middle::rty::canonicalize::Hoister"]],["impl<D> DynSend for BoundVarReplacer<D>where\n D: DynSend,",1,["flux_middle::rty::subst::BoundVarReplacer"]],["impl<D> DynSend for SortSubst<D>where\n D: DynSend,",1,["flux_middle::rty::subst::SortSubst"]],["impl<F, E> DynSend for GenericsSubstForSort<F, E>where\n F: DynSend,",1,["flux_middle::rty::subst::GenericsSubstForSort"]],["impl<F, G, H> DynSend for BottomUpFolder<F, G, H>",1,["flux_middle::rty::fold::BottomUpFolder"]],["impl<F1, F2> DynSend for FnMutDelegate<F1, F2>",1,["flux_middle::rty::subst::FnMutDelegate"]],["impl<Id> DynSend for MaybeExternId<Id>where\n Id: DynSend,",1,["flux_middle::MaybeExternId"]],["impl<Id> DynSend for ExprRes<Id>where\n Id: DynSend,",1,["flux_middle::fhir::ExprRes"]],["impl<T> DynSend for Opaqueness<T>where\n T: DynSend,",1,["flux_middle::rty::Opaqueness"]],["impl<T> DynSend for Binder<T>where\n T: DynSend,",1,["flux_middle::rty::binder::Binder"]],["impl<T> DynSend for EarlyBinder<T>where\n T: DynSend,",1,["flux_middle::rty::binder::EarlyBinder"]],["impl<T> DynSend for EVarCtxt<T>where\n T: DynSend,",1,["flux_middle::rty::evars::EVarCtxt"]],["impl<T> DynSend for EVarGen<T>where\n T: DynSend,",1,["flux_middle::rty::evars::EVarGen"]]],
diff --git a/doc/trait.impl/rustc_data_structures/marker/trait.DynSync.js b/doc/trait.impl/rustc_data_structures/marker/trait.DynSync.js
index 3e742c4600..bb829889de 100644
--- a/doc/trait.impl/rustc_data_structures/marker/trait.DynSync.js
+++ b/doc/trait.impl/rustc_data_structures/marker/trait.DynSync.js
@@ -4,7 +4,7 @@
"flux_desugar":[["impl DynSync for RibKind",1,["flux_desugar::resolver::RibKind"]],["impl DynSync for ScopeKind",1,["flux_desugar::resolver::refinement_resolver::ScopeKind"]],["impl DynSync for IntTooLarge",1,["flux_desugar::errors::IntTooLarge"]],["impl DynSync for InvalidAliasReft",1,["flux_desugar::errors::InvalidAliasReft"]],["impl DynSync for InvalidDotVar",1,["flux_desugar::errors::InvalidDotVar"]],["impl DynSync for InvalidFunc",1,["flux_desugar::errors::InvalidFunc"]],["impl DynSync for InvalidFuncAsVar",1,["flux_desugar::errors::InvalidFuncAsVar"]],["impl DynSync for InvalidLoc",1,["flux_desugar::errors::InvalidLoc"]],["impl DynSync for InvalidNumericSuffix",1,["flux_desugar::errors::InvalidNumericSuffix"]],["impl DynSync for InvalidVariantRet",1,["flux_desugar::errors::InvalidVariantRet"]],["impl DynSync for UnexpectedLiteral",1,["flux_desugar::errors::UnexpectedLiteral"]],["impl DynSync for UnresolvedGenericParam",1,["flux_desugar::errors::UnresolvedGenericParam"]],["impl DynSync for UnresolvedPath",1,["flux_desugar::resolver::errors::UnresolvedPath"]],["impl DynSync for DuplicateParam",1,["flux_desugar::resolver::refinement_resolver::errors::DuplicateParam"]],["impl DynSync for IllegalBinder",1,["flux_desugar::resolver::refinement_resolver::errors::IllegalBinder"]],["impl DynSync for InvalidUnrefinedParam",1,["flux_desugar::resolver::refinement_resolver::errors::InvalidUnrefinedParam"]],["impl DynSync for UnresolvedSort",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort"]],["impl DynSync for UnresolvedVar",1,["flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar"]],["impl DynSync for ParamDef",1,["flux_desugar::resolver::refinement_resolver::ParamDef"]],["impl DynSync for ParamRes",1,["flux_desugar::resolver::refinement_resolver::ParamRes"]],["impl DynSync for Scope",1,["flux_desugar::resolver::refinement_resolver::Scope"]],["impl DynSync for Sorts",1,["flux_desugar::resolver::refinement_resolver::Sorts"]],["impl DynSync for Rib",1,["flux_desugar::resolver::Rib"]],["impl<'a> DynSync for UnsupportedSignature<'a>",1,["flux_desugar::resolver::errors::UnsupportedSignature"]],["impl<'a, 'genv, 'tcx> !DynSync for RustItemCtxt<'a, 'genv, 'tcx>",1,["flux_desugar::desugar::RustItemCtxt"]],["impl<'a, 'genv, 'tcx> !DynSync for IllegalBinderVisitor<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::IllegalBinderVisitor"]],["impl<'a, 'genv, 'tcx> !DynSync for RefinementResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::RefinementResolver"]],["impl<'a, 'genv, 'tcx> !DynSync for ItemResolver<'a, 'genv, 'tcx>",1,["flux_desugar::resolver::ItemResolver"]],["impl<'a, 'tcx> DynSync for ImplicitParamCollector<'a, 'tcx>",1,["flux_desugar::resolver::refinement_resolver::ImplicitParamCollector"]],["impl<'genv, 'tcx> !DynSync for FluxItemCtxt<'genv, 'tcx>",1,["flux_desugar::desugar::FluxItemCtxt"]],["impl<'genv, 'tcx> !DynSync for CrateResolver<'genv, 'tcx>",1,["flux_desugar::resolver::CrateResolver"]],["impl<'genv, 'tcx> !DynSync for CrateDesugar<'genv, 'tcx>",1,["flux_desugar::CrateDesugar"]],["impl<'genv, 'tcx> !DynSync for DesugarCtxt<'genv, 'tcx>",1,["flux_desugar::DesugarCtxt"]],["impl<'sess> !DynSync for OpaqueTypeCollector<'sess>",1,["flux_desugar::resolver::OpaqueTypeCollector"]],["impl<V> DynSync for ScopedVisitorWrapper<V>where\n V: DynSync,",1,["flux_desugar::resolver::refinement_resolver::ScopedVisitorWrapper"]]],
"flux_driver":[["impl DynSync for FluxAttrKind",1,["flux_driver::collector::FluxAttrKind"]],["impl DynSync for FluxCallbacks",1,["flux_driver::callbacks::FluxCallbacks"]],["impl DynSync for AttrOnOpaque",1,["flux_driver::collector::errors::AttrOnOpaque"]],["impl DynSync for CFGError",1,["flux_driver::collector::errors::CFGError"]],["impl DynSync for DuplicatedAttr",1,["flux_driver::collector::errors::DuplicatedAttr"]],["impl DynSync for InvalidAttr",1,["flux_driver::collector::errors::InvalidAttr"]],["impl DynSync for MismatchedSpecName",1,["flux_driver::collector::errors::MismatchedSpecName"]],["impl DynSync for MissingVariant",1,["flux_driver::collector::errors::MissingVariant"]],["impl DynSync for SyntaxErr",1,["flux_driver::collector::errors::SyntaxErr"]],["impl DynSync for CannotResolveTraitImpl",1,["flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl"]],["impl DynSync for DupExternSpec",1,["flux_driver::collector::extern_specs::errors::DupExternSpec"]],["impl DynSync for ExternSpecForLocalDef",1,["flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef"]],["impl DynSync for InvalidImplBlock",1,["flux_driver::collector::extern_specs::errors::InvalidImplBlock"]],["impl DynSync for InvalidItemInInherentImpl",1,["flux_driver::collector::extern_specs::errors::InvalidItemInInherentImpl"]],["impl DynSync for ItemNotInTrait",1,["flux_driver::collector::extern_specs::errors::ItemNotInTrait"]],["impl DynSync for ItemNotInTraitImpl",1,["flux_driver::collector::extern_specs::errors::ItemNotInTraitImpl"]],["impl DynSync for MalformedExternSpec",1,["flux_driver::collector::extern_specs::errors::MalformedExternSpec"]],["impl DynSync for MismatchedGenerics",1,["flux_driver::collector::extern_specs::errors::MismatchedGenerics"]],["impl DynSync for ExternImplItem",1,["flux_driver::collector::extern_specs::ExternImplItem"]],["impl DynSync for CFGSetting",1,["flux_driver::collector::CFGSetting"]],["impl DynSync for FluxAttr",1,["flux_driver::collector::FluxAttr"]],["impl DynSync for FluxAttrCFG",1,["flux_driver::collector::FluxAttrCFG"]],["impl DynSync for FluxAttrs",1,["flux_driver::collector::FluxAttrs"]],["impl<'a, 'sess, 'tcx> !DynSync for ExternSpecCollector<'a, 'sess, 'tcx>",1,["flux_driver::collector::extern_specs::ExternSpecCollector"]],["impl<'genv, 'tcx> !DynSync for CrateChecker<'genv, 'tcx>",1,["flux_driver::callbacks::CrateChecker"]],["impl<'sess, 'tcx> !DynSync for SpecCollector<'sess, 'tcx>",1,["flux_driver::collector::SpecCollector"]]],
"flux_errors":[["impl DynSync for FluxSession",1,["flux_errors::FluxSession"]],["impl<'sess> !DynSync for Errors<'sess>",1,["flux_errors::Errors"]]],
-"flux_fhir_analysis":[["impl DynSync for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl DynSync for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl DynSync for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl DynSync for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl DynSync for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl DynSync for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl DynSync for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl DynSync for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl DynSync for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl DynSync for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl DynSync for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl DynSync for Env",1,["flux_fhir_analysis::conv::Env"]],["impl DynSync for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl DynSync for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl DynSync for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl DynSync for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl DynSync for IncompatibleRefinement",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]],["impl DynSync for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl DynSync for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl DynSync for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl DynSync for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl DynSync for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl DynSync for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl DynSync for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl DynSync for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl DynSync for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl DynSync for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl DynSync for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl DynSync for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl DynSync for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl DynSync for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl DynSync for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> DynSync for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> DynSync for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> DynSync for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> DynSync for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> DynSync for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> DynSync for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !DynSync for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !DynSync for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !DynSync for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !DynSync for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !DynSync for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !DynSync for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !DynSync for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !DynSync for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !DynSync for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]]],
+"flux_fhir_analysis":[["impl DynSync for LayerKind",1,["flux_fhir_analysis::conv::LayerKind"]],["impl DynSync for FnSigErr",1,["flux_fhir_analysis::conv::struct_compat::FnSigErr"]],["impl DynSync for IncompatibleSort",1,["flux_fhir_analysis::compare_impl_item::errors::IncompatibleSort"]],["impl DynSync for InvalidAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::InvalidAssocReft"]],["impl DynSync for MissingAssocReft",1,["flux_fhir_analysis::compare_impl_item::errors::MissingAssocReft"]],["impl DynSync for AmbiguousAssocType",1,["flux_fhir_analysis::conv::errors::AmbiguousAssocType"]],["impl DynSync for AssocTypeNotFound",1,["flux_fhir_analysis::conv::errors::AssocTypeNotFound"]],["impl DynSync for GenericArgCountMismatch",1,["flux_fhir_analysis::conv::errors::GenericArgCountMismatch"]],["impl DynSync for InvalidBaseInstance",1,["flux_fhir_analysis::conv::errors::InvalidBaseInstance"]],["impl DynSync for TooFewGenericArgs",1,["flux_fhir_analysis::conv::errors::TooFewGenericArgs"]],["impl DynSync for TooManyGenericArgs",1,["flux_fhir_analysis::conv::errors::TooManyGenericArgs"]],["impl DynSync for Env",1,["flux_fhir_analysis::conv::Env"]],["impl DynSync for Layer",1,["flux_fhir_analysis::conv::Layer"]],["impl DynSync for ParamEntry",1,["flux_fhir_analysis::conv::ParamEntry"]],["impl DynSync for FieldCountMismatch",1,["flux_fhir_analysis::conv::struct_compat::errors::FieldCountMismatch"]],["impl DynSync for IncompatibleParamCount",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleParamCount"]],["impl DynSync for Holes",1,["flux_fhir_analysis::conv::struct_compat::Holes"]],["impl DynSync for Mismatch",1,["flux_fhir_analysis::conv::struct_compat::Mismatch"]],["impl DynSync for DefinitionCycle",1,["flux_fhir_analysis::errors::DefinitionCycle"]],["impl DynSync for ArgCountMismatch",1,["flux_fhir_analysis::wf::errors::ArgCountMismatch"]],["impl DynSync for CannotInferSort",1,["flux_fhir_analysis::wf::errors::CannotInferSort"]],["impl DynSync for DuplicatedEnsures",1,["flux_fhir_analysis::wf::errors::DuplicatedEnsures"]],["impl DynSync for EarlyBoundArgCountMismatch",1,["flux_fhir_analysis::wf::errors::EarlyBoundArgCountMismatch"]],["impl DynSync for FieldNotFound",1,["flux_fhir_analysis::wf::errors::FieldNotFound"]],["impl DynSync for MissingEnsures",1,["flux_fhir_analysis::wf::errors::MissingEnsures"]],["impl DynSync for ParamCountMismatch",1,["flux_fhir_analysis::wf::errors::ParamCountMismatch"]],["impl DynSync for ParamNotDetermined",1,["flux_fhir_analysis::wf::errors::ParamNotDetermined"]],["impl DynSync for RefinedUnrefinableType",1,["flux_fhir_analysis::wf::errors::RefinedUnrefinableType"]],["impl DynSync for SortAnnotationNeeded",1,["flux_fhir_analysis::wf::errors::SortAnnotationNeeded"]],["impl DynSync for SortMismatch",1,["flux_fhir_analysis::wf::errors::SortMismatch"]],["impl DynSync for UnknownQualifier",1,["flux_fhir_analysis::wf::errors::UnknownQualifier"]],["impl<'a> DynSync for LookupResultKind<'a>",1,["flux_fhir_analysis::conv::LookupResultKind"]],["impl<'a> DynSync for LookupResult<'a>",1,["flux_fhir_analysis::conv::LookupResult"]],["impl<'a> DynSync for ExpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::ExpectedFun"]],["impl<'a> DynSync for InvalidParamPos<'a>",1,["flux_fhir_analysis::wf::errors::InvalidParamPos"]],["impl<'a> DynSync for InvalidPrimitiveDotAccess<'a>",1,["flux_fhir_analysis::wf::errors::InvalidPrimitiveDotAccess"]],["impl<'a> DynSync for UnexpectedFun<'a>",1,["flux_fhir_analysis::wf::errors::UnexpectedFun"]],["impl<'a, 'genv, 'tcx> !DynSync for ConvCtxt<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::conv::ConvCtxt"]],["impl<'a, 'genv, 'tcx> !DynSync for ParamUsesChecker<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::param_usage::ParamUsesChecker"]],["impl<'a, 'genv, 'tcx> !DynSync for FullResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::FullResolver"]],["impl<'a, 'genv, 'tcx> !DynSync for ImplicitParamInferer<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ImplicitParamInferer"]],["impl<'a, 'genv, 'tcx> !DynSync for OpportunisticResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::OpportunisticResolver"]],["impl<'a, 'genv, 'tcx> !DynSync for ShallowResolver<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::ShallowResolver"]],["impl<'a, 'genv, 'tcx> !DynSync for Wf<'a, 'genv, 'tcx>",1,["flux_fhir_analysis::wf::Wf"]],["impl<'genv, 'tcx> !DynSync for Zipper<'genv, 'tcx>",1,["flux_fhir_analysis::conv::struct_compat::Zipper"]],["impl<'genv, 'tcx> !DynSync for InferCtxt<'genv, 'tcx>",1,["flux_fhir_analysis::wf::sortck::InferCtxt"]],["impl<'tcx> DynSync for IncompatibleRefinement<'tcx>",1,["flux_fhir_analysis::conv::struct_compat::errors::IncompatibleRefinement"]]],
"flux_infer":[["impl !DynSync for Node",1,["flux_infer::refine_tree::Node"]],["impl !DynSync for NodePtr",1,["flux_infer::refine_tree::NodePtr"]],["impl !DynSync for ParentsIter",1,["flux_infer::refine_tree::ParentsIter"]],["impl !DynSync for RefineTree",1,["flux_infer::refine_tree::RefineTree"]],["impl !DynSync for Snapshot",1,["flux_infer::refine_tree::Snapshot"]],["impl !DynSync for WeakNodePtr",1,["flux_infer::refine_tree::WeakNodePtr"]],["impl DynSync for KVarEncoding",1,["flux_infer::fixpoint_encoding::KVarEncoding"]],["impl DynSync for DataSort",1,["flux_infer::fixpoint_encoding::fixpoint::DataSort"]],["impl DynSync for Var",1,["flux_infer::fixpoint_encoding::fixpoint::Var"]],["impl DynSync for ConstrReason",1,["flux_infer::infer::ConstrReason"]],["impl DynSync for InferErr",1,["flux_infer::infer::InferErr"]],["impl DynSync for TypeTrace",1,["flux_infer::infer::TypeTrace"]],["impl DynSync for AssumeInvariants",1,["flux_infer::refine_tree::AssumeInvariants"]],["impl DynSync for NodeKind",1,["flux_infer::refine_tree::NodeKind"]],["impl DynSync for FixpointTypes",1,["flux_infer::fixpoint_encoding::fixpoint::fixpoint_generated::FixpointTypes"]],["impl DynSync for GlobalVar",1,["flux_infer::fixpoint_encoding::fixpoint::GlobalVar"]],["impl DynSync for KVid",1,["flux_infer::fixpoint_encoding::fixpoint::KVid"]],["impl DynSync for LocalVar",1,["flux_infer::fixpoint_encoding::fixpoint::LocalVar"]],["impl DynSync for SymStr",1,["flux_infer::fixpoint_encoding::fixpoint::SymStr"]],["impl DynSync for ConstInfo",1,["flux_infer::fixpoint_encoding::ConstInfo"]],["impl DynSync for FixpointKVar",1,["flux_infer::fixpoint_encoding::FixpointKVar"]],["impl DynSync for KVarDecl",1,["flux_infer::fixpoint_encoding::KVarDecl"]],["impl DynSync for KVarEncodingCtxt",1,["flux_infer::fixpoint_encoding::KVarEncodingCtxt"]],["impl DynSync for KVarGen",1,["flux_infer::fixpoint_encoding::KVarGen"]],["impl DynSync for LocalVarEnv",1,["flux_infer::fixpoint_encoding::LocalVarEnv"]],["impl DynSync for SortEncodingCtxt",1,["flux_infer::fixpoint_encoding::SortEncodingCtxt"]],["impl DynSync for TagIdx",1,["flux_infer::fixpoint_encoding::TagIdx"]],["impl DynSync for InferCtxtInner",1,["flux_infer::infer::InferCtxtInner"]],["impl DynSync for Sub",1,["flux_infer::infer::Sub"]],["impl DynSync for Tag",1,["flux_infer::infer::Tag"]],["impl DynSync for Scope",1,["flux_infer::refine_tree::Scope"]],["impl<'a> !DynSync for RefineCtxt<'a>",1,["flux_infer::refine_tree::RefineCtxt"]],["impl<'a, 'infcx, 'genv, 'tcx> !DynSync for InferCtxtAt<'a, 'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxtAt"]],["impl<'a, 'rcx> !DynSync for Unpacker<'a, 'rcx>",1,["flux_infer::refine_tree::Unpacker"]],["impl<'genv, 'tcx> !DynSync for ExprEncodingCtxt<'genv, 'tcx>",1,["flux_infer::fixpoint_encoding::ExprEncodingCtxt"]],["impl<'genv, 'tcx> !DynSync for InferCtxtRoot<'genv, 'tcx>",1,["flux_infer::infer::InferCtxtRoot"]],["impl<'genv, 'tcx, T> !DynSync for FixpointCtxt<'genv, 'tcx, T>",1,["flux_infer::fixpoint_encoding::FixpointCtxt"]],["impl<'infcx, 'genv, 'tcx> !DynSync for InferCtxt<'infcx, 'genv, 'tcx>",1,["flux_infer::infer::InferCtxt"]],["impl<'tcx> DynSync for Key<'tcx>",1,["flux_infer::fixpoint_encoding::Key"]]],
"flux_metadata":[["impl DynSync for DuplicateSpec",1,["flux_metadata::errors::DuplicateSpec"]],["impl DynSync for CStore",1,["flux_metadata::CStore"]],["impl DynSync for CrateMetadata",1,["flux_metadata::CrateMetadata"]],["impl<'a> DynSync for DecodeFileError<'a>",1,["flux_metadata::decoder::errors::DecodeFileError"]],["impl<'a, 'tcx> !DynSync for DecodeContext<'a, 'tcx>",1,["flux_metadata::decoder::DecodeContext"]],["impl<'a, 'tcx> DynSync for EncodeContext<'a, 'tcx>",1,["flux_metadata::encoder::EncodeContext"]],["impl<K> DynSync for Tables<K>where\n K: DynSync,",1,["flux_metadata::Tables"]]],
"flux_middle":[["impl DynSync for Sign",1,["flux_middle::big_int::Sign"]],["impl DynSync for ExternSpecMappingErr",1,["flux_middle::ExternSpecMappingErr"]],["impl DynSync for ResolvedDefId",1,["flux_middle::ResolvedDefId"]],["impl DynSync for ConstArgKind",1,["flux_middle::fhir::ConstArgKind"]],["impl DynSync for FluxLocalDefId",1,["flux_middle::fhir::FluxLocalDefId"]],["impl DynSync for FluxOwnerId",1,["flux_middle::fhir::FluxOwnerId"]],["impl DynSync for Ignored",1,["flux_middle::fhir::Ignored"]],["impl DynSync for InferMode",1,["flux_middle::fhir::InferMode"]],["impl DynSync for Lifetime",1,["flux_middle::fhir::Lifetime"]],["impl DynSync for Lit",1,["flux_middle::fhir::Lit"]],["impl DynSync for ParamKind",1,["flux_middle::fhir::ParamKind"]],["impl DynSync for PrimSort",1,["flux_middle::fhir::PrimSort"]],["impl DynSync for Res",1,["flux_middle::fhir::Res"]],["impl DynSync for SortRes",1,["flux_middle::fhir::SortRes"]],["impl DynSync for SpecFuncKind",1,["flux_middle::fhir::SpecFuncKind"]],["impl DynSync for TraitBoundModifier",1,["flux_middle::fhir::TraitBoundModifier"]],["impl DynSync for Trusted",1,["flux_middle::fhir::Trusted"]],["impl DynSync for KVarArgs",1,["flux_middle::pretty::KVarArgs"]],["impl DynSync for QueryErr",1,["flux_middle::queries::QueryErr"]],["impl DynSync for BoundReftKind",1,["flux_middle::rty::binder::BoundReftKind"]],["impl DynSync for BoundVariableKind",1,["flux_middle::rty::binder::BoundVariableKind"]],["impl DynSync for CanonicalTy",1,["flux_middle::rty::canonicalize::CanonicalTy"]],["impl DynSync for BaseTy",1,["flux_middle::rty::BaseTy"]],["impl DynSync for BvSize",1,["flux_middle::rty::BvSize"]],["impl DynSync for ClauseKind",1,["flux_middle::rty::ClauseKind"]],["impl DynSync for Coercion",1,["flux_middle::rty::Coercion"]],["impl DynSync for Ensures",1,["flux_middle::rty::Ensures"]],["impl DynSync for ExistentialPredicate",1,["flux_middle::rty::ExistentialPredicate"]],["impl DynSync for GenericArg",1,["flux_middle::rty::GenericArg"]],["impl DynSync for GenericParamDefKind",1,["flux_middle::rty::GenericParamDefKind"]],["impl DynSync for NumVarValue",1,["flux_middle::rty::NumVarValue"]],["impl DynSync for PtrKind",1,["flux_middle::rty::PtrKind"]],["impl DynSync for Sort",1,["flux_middle::rty::Sort"]],["impl DynSync for SortArg",1,["flux_middle::rty::SortArg"]],["impl DynSync for SortCtor",1,["flux_middle::rty::SortCtor"]],["impl DynSync for SortInfer",1,["flux_middle::rty::SortInfer"]],["impl DynSync for SortParamKind",1,["flux_middle::rty::SortParamKind"]],["impl DynSync for TyKind",1,["flux_middle::rty::TyKind"]],["impl DynSync for EVarState",1,["flux_middle::rty::evars::EVarState"]],["impl DynSync for AggregateKind",1,["flux_middle::rty::expr::AggregateKind"]],["impl DynSync for BinOp",1,["flux_middle::rty::expr::BinOp"]],["impl DynSync for Constant",1,["flux_middle::rty::expr::Constant"]],["impl DynSync for ExprKind",1,["flux_middle::rty::expr::ExprKind"]],["impl DynSync for FieldProj",1,["flux_middle::rty::expr::FieldProj"]],["impl DynSync for HoleKind",1,["flux_middle::rty::expr::HoleKind"]],["impl DynSync for Loc",1,["flux_middle::rty::expr::Loc"]],["impl DynSync for UnOp",1,["flux_middle::rty::expr::UnOp"]],["impl DynSync for Var",1,["flux_middle::rty::expr::Var"]],["impl DynSync for Precedence",1,["flux_middle::rty::expr::pretty::Precedence"]],["impl DynSync for Candidate",1,["flux_middle::rty::projections::Candidate"]],["impl DynSync for TyOrBase",1,["flux_middle::rty::refining::TyOrBase"]],["impl DynSync for BigInt",1,["flux_middle::big_int::BigInt"]],["impl DynSync for ConstArg",1,["flux_middle::fhir::ConstArg"]],["impl DynSync for FhirId",1,["flux_middle::fhir::FhirId"]],["impl DynSync for ItemLocalId",1,["flux_middle::fhir::ItemLocalId"]],["impl DynSync for ParamId",1,["flux_middle::fhir::ParamId"]],["impl DynSync for PartialRes",1,["flux_middle::fhir::PartialRes"]],["impl DynSync for SortDecl",1,["flux_middle::fhir::SortDecl"]],["impl DynSync for BoundVarName",1,["flux_middle::pretty::BoundVarName"]],["impl DynSync for Env",1,["flux_middle::pretty::Env"]],["impl DynSync for Providers",1,["flux_middle::queries::Providers"]],["impl DynSync for QueryErrAt",1,["flux_middle::queries::QueryErrAt"]],["impl DynSync for CanonicalConstrTy",1,["flux_middle::rty::canonicalize::CanonicalConstrTy"]],["impl DynSync for LocalHoister",1,["flux_middle::rty::canonicalize::LocalHoister"]],["impl DynSync for EVar",1,["flux_middle::rty::evars::EVar"]],["impl DynSync for EVarCxId",1,["flux_middle::rty::evars::EVarCxId"]],["impl DynSync for EVarSol",1,["flux_middle::rty::evars::EVarSol"]],["impl DynSync for EVid",1,["flux_middle::rty::evars::EVid"]],["impl DynSync for UnsolvedEvar",1,["flux_middle::rty::evars::UnsolvedEvar"]],["impl DynSync for AliasReft",1,["flux_middle::rty::expr::AliasReft"]],["impl DynSync for BoundReft",1,["flux_middle::rty::expr::BoundReft"]],["impl DynSync for ESpan",1,["flux_middle::rty::expr::ESpan"]],["impl DynSync for EarlyReftParam",1,["flux_middle::rty::expr::EarlyReftParam"]],["impl DynSync for Expr",1,["flux_middle::rty::expr::Expr"]],["impl DynSync for KVar",1,["flux_middle::rty::expr::KVar"]],["impl DynSync for KVid",1,["flux_middle::rty::expr::KVid"]],["impl DynSync for Lambda",1,["flux_middle::rty::expr::Lambda"]],["impl DynSync for Name",1,["flux_middle::rty::expr::Name"]],["impl DynSync for Path",1,["flux_middle::rty::expr::Path"]],["impl DynSync for Real",1,["flux_middle::rty::expr::Real"]],["impl DynSync for BaseSpanner",1,["flux_middle::rty::normalize::BaseSpanner"]],["impl DynSync for SpecFuncDefns",1,["flux_middle::rty::normalize::SpecFuncDefns"]],["impl DynSync for TVarSubst",1,["flux_middle::rty::projections::TVarSubst"]],["impl DynSync for AdtDef",1,["flux_middle::rty::AdtDef"]],["impl DynSync for AdtDefData",1,["flux_middle::rty::AdtDefData"]],["impl DynSync for AdtSortDef",1,["flux_middle::rty::AdtSortDef"]],["impl DynSync for AdtSortDefData",1,["flux_middle::rty::AdtSortDefData"]],["impl DynSync for AliasTy",1,["flux_middle::rty::AliasTy"]],["impl DynSync for AssocRefinement",1,["flux_middle::rty::AssocRefinement"]],["impl DynSync for AssocRefinements",1,["flux_middle::rty::AssocRefinements"]],["impl DynSync for BvSizeVid",1,["flux_middle::rty::BvSizeVid"]],["impl DynSync for Clause",1,["flux_middle::rty::Clause"]],["impl DynSync for ClosureOblig",1,["flux_middle::rty::ClosureOblig"]],["impl DynSync for CoroutineObligPredicate",1,["flux_middle::rty::CoroutineObligPredicate"]],["impl DynSync for ExistentialProjection",1,["flux_middle::rty::ExistentialProjection"]],["impl DynSync for ExistentialTraitRef",1,["flux_middle::rty::ExistentialTraitRef"]],["impl DynSync for FnOutput",1,["flux_middle::rty::FnOutput"]],["impl DynSync for FnSig",1,["flux_middle::rty::FnSig"]],["impl DynSync for FnTraitPredicate",1,["flux_middle::rty::FnTraitPredicate"]],["impl DynSync for FuncSort",1,["flux_middle::rty::FuncSort"]],["impl DynSync for GenericParamDef",1,["flux_middle::rty::GenericParamDef"]],["impl DynSync for GenericPredicates",1,["flux_middle::rty::GenericPredicates"]],["impl DynSync for Generics",1,["flux_middle::rty::Generics"]],["impl DynSync for Invariant",1,["flux_middle::rty::Invariant"]],["impl DynSync for NumVid",1,["flux_middle::rty::NumVid"]],["impl DynSync for ParamSort",1,["flux_middle::rty::ParamSort"]],["impl DynSync for PolyFuncSort",1,["flux_middle::rty::PolyFuncSort"]],["impl DynSync for ProjectionPredicate",1,["flux_middle::rty::ProjectionPredicate"]],["impl DynSync for Qualifier",1,["flux_middle::rty::Qualifier"]],["impl DynSync for RefineParam",1,["flux_middle::rty::RefineParam"]],["impl DynSync for RefinementGenerics",1,["flux_middle::rty::RefinementGenerics"]],["impl DynSync for SortVid",1,["flux_middle::rty::SortVid"]],["impl DynSync for SpecFunc",1,["flux_middle::rty::SpecFunc"]],["impl DynSync for SpecFuncDecl",1,["flux_middle::rty::SpecFuncDecl"]],["impl DynSync for SubsetTy",1,["flux_middle::rty::SubsetTy"]],["impl DynSync for TraitPredicate",1,["flux_middle::rty::TraitPredicate"]],["impl DynSync for TraitRef",1,["flux_middle::rty::TraitRef"]],["impl DynSync for Ty",1,["flux_middle::rty::Ty"]],["impl DynSync for VariantSig",1,["flux_middle::rty::VariantSig"]],["impl DynSync for WfckResults",1,["flux_middle::rty::WfckResults"]],["impl DynSync for ConstGenericArgs",1,["flux_middle::rty::subst::ConstGenericArgs"]],["impl DynSync for RegionSubst",1,["flux_middle::rty::subst::RegionSubst"]],["impl DynSync for PlaceTy",1,["flux_middle::PlaceTy"]],["impl DynSync for ResolverOutput",1,["flux_middle::ResolverOutput"]],["impl DynSync for Specs",1,["flux_middle::Specs"]],["impl DynSync for TheoryFunc",1,["flux_middle::TheoryFunc"]],["impl<'a> DynSync for UnsupportedHir<'a>",1,["flux_middle::fhir::lift::errors::UnsupportedHir"]],["impl<'a> DynSync for Normalizer<'a>",1,["flux_middle::rty::normalize::Normalizer"]],["impl<'a> DynSync for EVarSubstFolder<'a>",1,["flux_middle::rty::subst::EVarSubstFolder"]],["impl<'a, 'genv, 'tcx> !DynSync for LiftCtxt<'a, 'genv, 'tcx>",1,["flux_middle::fhir::lift::LiftCtxt"]],["impl<'a, 'tcx> DynSync for GenericArgsDelegate<'a, 'tcx>",1,["flux_middle::rty::subst::GenericArgsDelegate"]],["impl<'a, 'tcx, T> !DynSync for WithCx<'a, 'tcx, T>",1,["flux_middle::pretty::WithCx"]],["impl<'a, D> DynSync for GenericsSubstFolder<'a, D>where\n D: DynSync,",1,["flux_middle::rty::subst::GenericsSubstFolder"]],["impl<'a, I> !DynSync for Join<'a, I>",1,["flux_middle::pretty::Join"]],["impl<'a, T> DynSync for Parens<'a, T>where\n T: DynSync,",1,["flux_middle::pretty::Parens"]],["impl<'a, T> DynSync for LocalTableInContext<'a, T>where\n T: DynSync,",1,["flux_middle::rty::LocalTableInContext"]],["impl<'a, T> DynSync for LocalTableInContextMut<'a, T>where\n T: DynSync,",1,["flux_middle::rty::LocalTableInContextMut"]],["impl<'fhir> DynSync for AssocItemConstraintKind<'fhir>",1,["flux_middle::fhir::AssocItemConstraintKind"]],["impl<'fhir> DynSync for BaseTyKind<'fhir>",1,["flux_middle::fhir::BaseTyKind"]],["impl<'fhir> DynSync for Ensures<'fhir>",1,["flux_middle::fhir::Ensures"]],["impl<'fhir> DynSync for ExprKind<'fhir>",1,["flux_middle::fhir::ExprKind"]],["impl<'fhir> DynSync for FluxItem<'fhir>",1,["flux_middle::fhir::FluxItem"]],["impl<'fhir> DynSync for GenericArg<'fhir>",1,["flux_middle::fhir::GenericArg"]],["impl<'fhir> DynSync for GenericBound<'fhir>",1,["flux_middle::fhir::GenericBound"]],["impl<'fhir> DynSync for GenericParamKind<'fhir>",1,["flux_middle::fhir::GenericParamKind"]],["impl<'fhir> DynSync for ImplItemKind<'fhir>",1,["flux_middle::fhir::ImplItemKind"]],["impl<'fhir> DynSync for ItemKind<'fhir>",1,["flux_middle::fhir::ItemKind"]],["impl<'fhir> DynSync for Node<'fhir>",1,["flux_middle::fhir::Node"]],["impl<'fhir> DynSync for QPath<'fhir>",1,["flux_middle::fhir::QPath"]],["impl<'fhir> DynSync for RefineArgKind<'fhir>",1,["flux_middle::fhir::RefineArgKind"]],["impl<'fhir> DynSync for Sort<'fhir>",1,["flux_middle::fhir::Sort"]],["impl<'fhir> DynSync for StructKind<'fhir>",1,["flux_middle::fhir::StructKind"]],["impl<'fhir> DynSync for TraitItemKind<'fhir>",1,["flux_middle::fhir::TraitItemKind"]],["impl<'fhir> DynSync for TyKind<'fhir>",1,["flux_middle::fhir::TyKind"]],["impl<'fhir> DynSync for AliasReft<'fhir>",1,["flux_middle::fhir::AliasReft"]],["impl<'fhir> DynSync for AssocItemConstraint<'fhir>",1,["flux_middle::fhir::AssocItemConstraint"]],["impl<'fhir> DynSync for BareFnTy<'fhir>",1,["flux_middle::fhir::BareFnTy"]],["impl<'fhir> DynSync for BaseTy<'fhir>",1,["flux_middle::fhir::BaseTy"]],["impl<'fhir> DynSync for EnumDef<'fhir>",1,["flux_middle::fhir::EnumDef"]],["impl<'fhir> DynSync for Expr<'fhir>",1,["flux_middle::fhir::Expr"]],["impl<'fhir> DynSync for FieldDef<'fhir>",1,["flux_middle::fhir::FieldDef"]],["impl<'fhir> DynSync for FluxItems<'fhir>",1,["flux_middle::fhir::FluxItems"]],["impl<'fhir> DynSync for FnDecl<'fhir>",1,["flux_middle::fhir::FnDecl"]],["impl<'fhir> DynSync for FnOutput<'fhir>",1,["flux_middle::fhir::FnOutput"]],["impl<'fhir> DynSync for FnSig<'fhir>",1,["flux_middle::fhir::FnSig"]],["impl<'fhir> DynSync for FuncSort<'fhir>",1,["flux_middle::fhir::FuncSort"]],["impl<'fhir> DynSync for GenericParam<'fhir>",1,["flux_middle::fhir::GenericParam"]],["impl<'fhir> DynSync for Generics<'fhir>",1,["flux_middle::fhir::Generics"]],["impl<'fhir> DynSync for Impl<'fhir>",1,["flux_middle::fhir::Impl"]],["impl<'fhir> DynSync for ImplAssocReft<'fhir>",1,["flux_middle::fhir::ImplAssocReft"]],["impl<'fhir> DynSync for ImplItem<'fhir>",1,["flux_middle::fhir::ImplItem"]],["impl<'fhir> DynSync for Item<'fhir>",1,["flux_middle::fhir::Item"]],["impl<'fhir> DynSync for MutTy<'fhir>",1,["flux_middle::fhir::MutTy"]],["impl<'fhir> DynSync for OpaqueTy<'fhir>",1,["flux_middle::fhir::OpaqueTy"]],["impl<'fhir> DynSync for Path<'fhir>",1,["flux_middle::fhir::Path"]],["impl<'fhir> DynSync for PathExpr<'fhir>",1,["flux_middle::fhir::PathExpr"]],["impl<'fhir> DynSync for PathSegment<'fhir>",1,["flux_middle::fhir::PathSegment"]],["impl<'fhir> DynSync for PolyFuncSort<'fhir>",1,["flux_middle::fhir::PolyFuncSort"]],["impl<'fhir> DynSync for PolyTraitRef<'fhir>",1,["flux_middle::fhir::PolyTraitRef"]],["impl<'fhir> DynSync for Qualifier<'fhir>",1,["flux_middle::fhir::Qualifier"]],["impl<'fhir> DynSync for RefineArg<'fhir>",1,["flux_middle::fhir::RefineArg"]],["impl<'fhir> DynSync for RefineParam<'fhir>",1,["flux_middle::fhir::RefineParam"]],["impl<'fhir> DynSync for RefinedBy<'fhir>",1,["flux_middle::fhir::RefinedBy"]],["impl<'fhir> DynSync for Requires<'fhir>",1,["flux_middle::fhir::Requires"]],["impl<'fhir> DynSync for SortPath<'fhir>",1,["flux_middle::fhir::SortPath"]],["impl<'fhir> DynSync for SpecFunc<'fhir>",1,["flux_middle::fhir::SpecFunc"]],["impl<'fhir> DynSync for StructDef<'fhir>",1,["flux_middle::fhir::StructDef"]],["impl<'fhir> DynSync for Trait<'fhir>",1,["flux_middle::fhir::Trait"]],["impl<'fhir> DynSync for TraitAssocReft<'fhir>",1,["flux_middle::fhir::TraitAssocReft"]],["impl<'fhir> DynSync for TraitItem<'fhir>",1,["flux_middle::fhir::TraitItem"]],["impl<'fhir> DynSync for Ty<'fhir>",1,["flux_middle::fhir::Ty"]],["impl<'fhir> DynSync for TyAlias<'fhir>",1,["flux_middle::fhir::TyAlias"]],["impl<'fhir> DynSync for VariantDef<'fhir>",1,["flux_middle::fhir::VariantDef"]],["impl<'fhir> DynSync for VariantRet<'fhir>",1,["flux_middle::fhir::VariantRet"]],["impl<'fhir> DynSync for WhereBoundPredicate<'fhir>",1,["flux_middle::fhir::WhereBoundPredicate"]],["impl<'genv, 'tcx> !DynSync for GlobalEnv<'genv, 'tcx>",1,["flux_middle::global_env::GlobalEnv"]],["impl<'genv, 'tcx> !DynSync for GlobalEnvInner<'genv, 'tcx>",1,["flux_middle::global_env::GlobalEnvInner"]],["impl<'genv, 'tcx> !DynSync for Map<'genv, 'tcx>",1,["flux_middle::global_env::Map"]],["impl<'genv, 'tcx> !DynSync for Queries<'genv, 'tcx>",1,["flux_middle::queries::Queries"]],["impl<'genv, 'tcx> !DynSync for Refiner<'genv, 'tcx>",1,["flux_middle::rty::refining::Refiner"]],["impl<'genv, 'tcx, 'cx> !DynSync for Normalizer<'genv, 'tcx, 'cx>",1,["flux_middle::rty::projections::Normalizer"]],["impl<'tcx> !DynSync for PrettyCx<'tcx>",1,["flux_middle::pretty::PrettyCx"]],["impl<D> DynSync for Hoister<D>where\n D: DynSync,",1,["flux_middle::rty::canonicalize::Hoister"]],["impl<D> DynSync for BoundVarReplacer<D>where\n D: DynSync,",1,["flux_middle::rty::subst::BoundVarReplacer"]],["impl<D> DynSync for SortSubst<D>where\n D: DynSync,",1,["flux_middle::rty::subst::SortSubst"]],["impl<F, E> DynSync for GenericsSubstForSort<F, E>where\n F: DynSync,",1,["flux_middle::rty::subst::GenericsSubstForSort"]],["impl<F, G, H> DynSync for BottomUpFolder<F, G, H>",1,["flux_middle::rty::fold::BottomUpFolder"]],["impl<F1, F2> DynSync for FnMutDelegate<F1, F2>",1,["flux_middle::rty::subst::FnMutDelegate"]],["impl<Id> DynSync for MaybeExternId<Id>where\n Id: DynSync,",1,["flux_middle::MaybeExternId"]],["impl<Id> DynSync for ExprRes<Id>where\n Id: DynSync,",1,["flux_middle::fhir::ExprRes"]],["impl<T> DynSync for Opaqueness<T>where\n T: DynSync,",1,["flux_middle::rty::Opaqueness"]],["impl<T> DynSync for Binder<T>where\n T: DynSync,",1,["flux_middle::rty::binder::Binder"]],["impl<T> DynSync for EarlyBinder<T>where\n T: DynSync,",1,["flux_middle::rty::binder::EarlyBinder"]],["impl<T> DynSync for EVarCtxt<T>where\n T: DynSync,",1,["flux_middle::rty::evars::EVarCtxt"]],["impl<T> DynSync for EVarGen<T>where\n T: DynSync,",1,["flux_middle::rty::evars::EVarGen"]]],
diff --git a/doc/trait.impl/rustc_errors/diagnostic/trait.Diagnostic.js b/doc/trait.impl/rustc_errors/diagnostic/trait.Diagnostic.js
index 38bc8a2f9f..22ebd364d1 100644
--- a/doc/trait.impl/rustc_errors/diagnostic/trait.Diagnostic.js
+++ b/doc/trait.impl/rustc_errors/diagnostic/trait.Diagnostic.js
@@ -1,7 +1,7 @@
(function() {var implementors = {
"flux_desugar":[["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for UnsupportedSignature<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for IntTooLargewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidAliasReftwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidDotVarwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidFuncwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidFuncAsVarwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidLocwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidNumericSuffixwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidVariantRetwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnexpectedLiteralwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnresolvedGenericParamwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnresolvedPathwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DuplicateParamwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for IllegalBinderwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidUnrefinedParamwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnresolvedSortwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnresolvedVarwhere\n G: EmissionGuarantee,"]],
"flux_driver":[["impl<'_sess, G> Diagnostic<'_sess, G> for AttrOnOpaquewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for CFGErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DuplicatedAttrwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidAttrwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MismatchedSpecNamewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MissingVariantwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for SyntaxErrwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for CannotResolveTraitImplwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DupExternSpecwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ExternSpecForLocalDefwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidImplBlockwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidItemInInherentImplwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ItemNotInTraitwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ItemNotInTraitImplwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MalformedExternSpecwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MismatchedGenericswhere\n G: EmissionGuarantee,"]],
-"flux_fhir_analysis":[["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for ExpectedFun<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for InvalidParamPos<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for InvalidPrimitiveDotAccess<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for UnexpectedFun<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleSortwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidAssocReftwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MissingAssocReftwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for AmbiguousAssocTypewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for AssocTypeNotFoundwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for GenericArgCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidBaseInstancewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for TooFewGenericArgswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for TooManyGenericArgswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for FieldCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleParamCountwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleRefinementwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DefinitionCyclewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ArgCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for CannotInferSortwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DuplicatedEnsureswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for EarlyBoundArgCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for FieldNotFoundwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MissingEnsureswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ParamCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ParamNotDeterminedwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for RefinedUnrefinableTypewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for SortAnnotationNeededwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for SortMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnknownQualifierwhere\n G: EmissionGuarantee,"]],
+"flux_fhir_analysis":[["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for ExpectedFun<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for InvalidParamPos<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for InvalidPrimitiveDotAccess<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for UnexpectedFun<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, 'tcx, G> Diagnostic<'_sess, G> for IncompatibleRefinement<'tcx>where\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleSortwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidAssocReftwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MissingAssocReftwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for AmbiguousAssocTypewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for AssocTypeNotFoundwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for GenericArgCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for InvalidBaseInstancewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for TooFewGenericArgswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for TooManyGenericArgswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for FieldCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for IncompatibleParamCountwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DefinitionCyclewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ArgCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for CannotInferSortwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DuplicatedEnsureswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for EarlyBoundArgCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for FieldNotFoundwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for MissingEnsureswhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ParamCountMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ParamNotDeterminedwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for RefinedUnrefinableTypewhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for SortAnnotationNeededwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for SortMismatchwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnknownQualifierwhere\n G: EmissionGuarantee,"]],
"flux_metadata":[["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for DecodeFileError<'a>where\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DuplicateSpecwhere\n G: EmissionGuarantee,"]],
"flux_middle":[["impl<'_sess, 'a, G> Diagnostic<'_sess, G> for UnsupportedHir<'a>where\n G: EmissionGuarantee,"],["impl<'a> Diagnostic<'a> for QueryErr"],["impl<'a> Diagnostic<'a> for QueryErrAt"]],
"flux_refineck":[["impl<'_sess, G> Diagnostic<'_sess, G> for AssertErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for AssignErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for DivErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for ExpectedNegwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for FoldErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for GotoErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for OverflowErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for RefineErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for RemErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for UnknownErrorwhere\n G: EmissionGuarantee,"],["impl<'_sess, G> Diagnostic<'_sess, G> for Invalidwhere\n G: EmissionGuarantee,"],["impl<'a> Diagnostic<'a> for CheckerError"]],