const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_DuplicateParam: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_DuplicateParam: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_IllegalBinder: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_IllegalBinder: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_InvalidUnrefinedParam: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_InvalidUnrefinedParam: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnresolvedSort: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnresolvedSort: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnresolvedVar: ();const _DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnresolvedVar: ();pub(super) struct DuplicateParam {
+DuplicateParam in flux_desugar::resolver::refinement_resolver::errors - Rust Struct flux_desugar::resolver::refinement_resolver::errors::DuplicateParam
source · pub(super) struct DuplicateParam {
span: Span,
name: Symbol,
first_use: Span,
-}
Fields§
§span: Span§name: Symbol§first_use: SpanImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for DuplicateParamwhere
- G: EmissionGuarantee,
source§fn into_diagnostic(
+}Fields§
§span: Span§name: Symbol§first_use: SpanImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for DuplicateParamwhere
+ G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
) -> DiagnosticBuilder<'__diagnostic_handler_sess, G>
Write out as a diagnostic out of Handler.Auto Trait Implementations§
§impl RefUnwindSafe for DuplicateParam
§impl Send for DuplicateParam
§impl Sync for DuplicateParam
§impl Unpin for DuplicateParam
§impl UnwindSafe for DuplicateParam
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.IllegalBinder.html b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.IllegalBinder.html
index 10431374af..095b85086a 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.IllegalBinder.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.IllegalBinder.html
@@ -1,8 +1,8 @@
-IllegalBinder in flux_desugar::resolver::refinement_resolver::errors - Rust Struct flux_desugar::resolver::refinement_resolver::errors::IllegalBinder
source · pub(super) struct IllegalBinder {
+IllegalBinder in flux_desugar::resolver::refinement_resolver::errors - Rust Struct flux_desugar::resolver::refinement_resolver::errors::IllegalBinder
source · pub(super) struct IllegalBinder {
span: Span,
kind: &'static str,
-}
Fields§
§span: Span§kind: &'static strImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for IllegalBinderwhere
- G: EmissionGuarantee,
source§fn into_diagnostic(
+}Fields§
§span: Span§kind: &'static strImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for IllegalBinderwhere
+ G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
) -> DiagnosticBuilder<'__diagnostic_handler_sess, G>
Write out as a diagnostic out of Handler.Auto Trait Implementations§
§impl RefUnwindSafe for IllegalBinder
§impl Send for IllegalBinder
§impl Sync for IllegalBinder
§impl Unpin for IllegalBinder
§impl UnwindSafe for IllegalBinder
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.InvalidUnrefinedParam.html b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.InvalidUnrefinedParam.html
index 9689fa7192..6ef88e8d8b 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.InvalidUnrefinedParam.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.InvalidUnrefinedParam.html
@@ -1,8 +1,8 @@
-InvalidUnrefinedParam in flux_desugar::resolver::refinement_resolver::errors - Rust pub(super) struct InvalidUnrefinedParam {
+InvalidUnrefinedParam in flux_desugar::resolver::refinement_resolver::errors - Rust pub(super) struct InvalidUnrefinedParam {
span: Span,
var: Ident,
-}
Fields§
§span: Span§var: IdentImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for InvalidUnrefinedParamwhere
- G: EmissionGuarantee,
source§fn into_diagnostic(
+}Fields§
§span: Span§var: IdentImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for InvalidUnrefinedParamwhere
+ G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
) -> DiagnosticBuilder<'__diagnostic_handler_sess, G>
Write out as a diagnostic out of Handler.Auto Trait Implementations§
§impl RefUnwindSafe for InvalidUnrefinedParam
§impl Send for InvalidUnrefinedParam
§impl Sync for InvalidUnrefinedParam
§impl Unpin for InvalidUnrefinedParam
§impl UnwindSafe for InvalidUnrefinedParam
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedSort.html b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedSort.html
index eb34c67966..dab3123fde 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedSort.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedSort.html
@@ -1,8 +1,8 @@
-UnresolvedSort in flux_desugar::resolver::refinement_resolver::errors - Rust Struct flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort
source · pub(super) struct UnresolvedSort {
+UnresolvedSort in flux_desugar::resolver::refinement_resolver::errors - Rust Struct flux_desugar::resolver::refinement_resolver::errors::UnresolvedSort
source · pub(super) struct UnresolvedSort {
span: Span,
sort: Ident,
-}
Fields§
§span: Span§sort: IdentImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for UnresolvedSortwhere
- G: EmissionGuarantee,
source§fn into_diagnostic(
+}Fields§
§span: Span§sort: IdentImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for UnresolvedSortwhere
+ G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
) -> DiagnosticBuilder<'__diagnostic_handler_sess, G>
Write out as a diagnostic out of Handler.Auto Trait Implementations§
§impl RefUnwindSafe for UnresolvedSort
§impl Send for UnresolvedSort
§impl Sync for UnresolvedSort
§impl Unpin for UnresolvedSort
§impl UnwindSafe for UnresolvedSort
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedVar.html b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedVar.html
index e93dd1d5d3..1c82855308 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedVar.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/errors/struct.UnresolvedVar.html
@@ -1,9 +1,9 @@
-UnresolvedVar in flux_desugar::resolver::refinement_resolver::errors - Rust Struct flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar
source · pub(super) struct UnresolvedVar {
+UnresolvedVar in flux_desugar::resolver::refinement_resolver::errors - Rust Struct flux_desugar::resolver::refinement_resolver::errors::UnresolvedVar
source · pub(super) struct UnresolvedVar {
span: Span,
var: String,
kind: String,
-}
Fields§
§span: Span§var: String§kind: StringImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for UnresolvedVarwhere
- G: EmissionGuarantee,
source§fn into_diagnostic(
+}Fields§
§span: Span§var: String§kind: StringImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for UnresolvedVarwhere
+ G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
) -> DiagnosticBuilder<'__diagnostic_handler_sess, G>
Write out as a diagnostic out of Handler.Auto Trait Implementations§
§impl RefUnwindSafe for UnresolvedVar
§impl Send for UnresolvedVar
§impl Sync for UnresolvedVar
§impl Unpin for UnresolvedVar
§impl UnwindSafe for UnresolvedVar
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/doc/flux_desugar/resolver/refinement_resolver/fn.resolve_num_const.html b/doc/flux_desugar/resolver/refinement_resolver/fn.resolve_num_const.html
index c0a40e7244..e7cbd68cd6 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/fn.resolve_num_const.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/fn.resolve_num_const.html
@@ -1 +1 @@
-resolve_num_const in flux_desugar::resolver::refinement_resolver - Rust Function flux_desugar::resolver::refinement_resolver::resolve_num_const
source · fn resolve_num_const(typ: Ident, name: Ident) -> Option<ExprRes>
resolve_num_const in flux_desugar::resolver::refinement_resolver - Rust Function flux_desugar::resolver::refinement_resolver::resolve_num_const
source · fn resolve_num_const(typ: Ident, name: Ident) -> Option<ExprRes>
flux_desugar::resolver::refinement_resolver - Rust flux_desugar::resolver::refinement_resolver - Rust define_resolve_num_const in flux_desugar::resolver::refinement_resolver - Rust macro_rules! define_resolve_num_const {
+define_resolve_num_const in flux_desugar::resolver::refinement_resolver - Rust macro_rules! define_resolve_num_const {
($($typ:ident),*) => { ... };
}
SORTS in flux_desugar::resolver::refinement_resolver - Rust Static flux_desugar::resolver::refinement_resolver::SORTS
source · pub(crate) static SORTS: LazyLock<Sorts>
SORTS in flux_desugar::resolver::refinement_resolver - Rust Static flux_desugar::resolver::refinement_resolver::SORTS
source · pub(crate) static SORTS: LazyLock<Sorts>
IllegalBinderVisitor in flux_desugar::resolver::refinement_resolver - Rust struct IllegalBinderVisitor<'a, 'genv, 'tcx> {
+IllegalBinderVisitor in flux_desugar::resolver::refinement_resolver - Rust struct IllegalBinderVisitor<'a, 'genv, 'tcx> {
scopes: Vec<ScopeKind>,
resolver: &'a CrateResolver<'genv, 'tcx>,
errors: Errors<'genv>,
-}
Fields§
§scopes: Vec<ScopeKind>§resolver: &'a CrateResolver<'genv, 'tcx>§errors: Errors<'genv>Implementations§
source§impl<'a, 'genv, 'tcx> IllegalBinderVisitor<'a, 'genv, 'tcx>
sourcefn new(resolver: &'a mut CrateResolver<'genv, 'tcx>) -> Self
sourcefn run(
+}Fields§
§scopes: Vec<ScopeKind>§resolver: &'a CrateResolver<'genv, 'tcx>§errors: Errors<'genv>Implementations§
source§impl<'a, 'genv, 'tcx> IllegalBinderVisitor<'a, 'genv, 'tcx>
sourcefn new(resolver: &'a mut CrateResolver<'genv, 'tcx>) -> Self
sourcefn run(
self,
f: impl FnOnce(&mut ScopedVisitorWrapper<Self>)
-) -> Result<(), ErrorGuaranteed>
Trait Implementations§
source§impl ScopedVisitor for IllegalBinderVisitor<'_, '_, '_>
source§fn is_box(&self, segment: &PathSegment) -> bool
source§fn enter_scope(&mut self, kind: ScopeKind) -> ControlFlow<()>
source§fn exit_scope(&mut self)
source§fn on_implicit_param(&mut self, ident: Ident, param_kind: ParamKind, _: NodeId)
source§fn wrap(self) -> ScopedVisitorWrapper<Self>
source§fn on_generic_param(&mut self, _param: &GenericParam)
source§fn on_refine_param(&mut self, _name: Ident, _node_id: NodeId)
source§fn on_enum_variant(&mut self, _variant: &VariantDef)
source§fn on_fn_sig(&mut self, _fn_sig: &FnSig)
source§fn on_fn_output(&mut self, _output: &FnOutput)
source§fn on_loc(&mut self, _loc: Ident, _node_id: NodeId)
source§fn on_func(&mut self, _func: Ident, _node_id: NodeId)
source§fn on_path(&mut self, _path: &PathExpr)
source§fn on_base_sort(&mut self, _sort: &BaseSort)
Auto Trait Implementations§
§impl<'a, 'genv, 'tcx> !RefUnwindSafe for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Send for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Sync for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> Unpin for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !UnwindSafe for IllegalBinderVisitor<'a, 'genv, 'tcx>
Blanket Implementations§
Trait Implementations§
source§impl ScopedVisitor for IllegalBinderVisitor<'_, '_, '_>
source§fn is_box(&self, segment: &PathSegment) -> bool
source§fn enter_scope(&mut self, kind: ScopeKind) -> ControlFlow<()>
source§fn exit_scope(&mut self)
source§fn on_implicit_param(&mut self, ident: Ident, param_kind: ParamKind, _: NodeId)
source§fn wrap(self) -> ScopedVisitorWrapper<Self>
source§fn on_generic_param(&mut self, _param: &GenericParam)
source§fn on_refine_param(&mut self, _name: Ident, _node_id: NodeId)
source§fn on_enum_variant(&mut self, _variant: &VariantDef)
source§fn on_fn_sig(&mut self, _fn_sig: &FnSig)
source§fn on_fn_output(&mut self, _output: &FnOutput)
source§fn on_loc(&mut self, _loc: Ident, _node_id: NodeId)
source§fn on_func(&mut self, _func: Ident, _node_id: NodeId)
source§fn on_path(&mut self, _path: &PathExpr)
source§fn on_base_sort(&mut self, _sort: &BaseSort)
Auto Trait Implementations§
§impl<'a, 'genv, 'tcx> !RefUnwindSafe for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Send for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Sync for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> Unpin for IllegalBinderVisitor<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !UnwindSafe for IllegalBinderVisitor<'a, 'genv, '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_desugar/resolver/refinement_resolver/struct.RefinementResolver.html b/doc/flux_desugar/resolver/refinement_resolver/struct.RefinementResolver.html
index e76c55f58e..f91158282c 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/struct.RefinementResolver.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/struct.RefinementResolver.html
@@ -5,55 +5,55 @@
resolver: &'a mut CrateResolver<'genv, 'tcx>,
path_res_map: FxHashMap<NodeId, ExprRes<NodeId>>,
errors: Errors<'genv>,
-}Fields§
§scopes: Vec<Scope>§sorts_res: UnordMap<Symbol, SortRes>§param_defs: FxIndexMap<NodeId, ParamDef>§resolver: &'a mut CrateResolver<'genv, 'tcx>§path_res_map: FxHashMap<NodeId, ExprRes<NodeId>>§errors: Errors<'genv>Implementations§
source§impl<'a, 'genv, 'tcx> RefinementResolver<'a, 'genv, 'tcx>
sourcepub(crate) fn for_flux_item(
+}Fields§
§scopes: Vec<Scope>§sorts_res: UnordMap<Symbol, SortRes>§param_defs: FxIndexMap<NodeId, ParamDef>§resolver: &'a mut CrateResolver<'genv, 'tcx>§path_res_map: FxHashMap<NodeId, ExprRes<NodeId>>§errors: Errors<'genv>Implementations§
source§impl<'a, 'genv, 'tcx> RefinementResolver<'a, 'genv, 'tcx>
sourcepub(crate) fn for_flux_item(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
sort_params: &[Ident]
-) -> Self
sourcepub(crate) fn for_rust_item(
+) -> Self
sourcepub(crate) fn for_rust_item(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
owner: OwnerId
-) -> Self
sourcepub(crate) fn resolve_qualifier(
+) -> Self
sourcepub(crate) fn resolve_qualifier(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
qualifier: &Qualifier
-) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_defn(
+) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_defn(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
defn: &SpecFunc
-) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_fn_sig(
+) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_fn_sig(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
owner_id: OwnerId,
fn_sig: &FnSig
-) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_struct_def(
+) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_struct_def(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
owner_id: OwnerId,
struct_def: &StructDef
-) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_enum_def(
+) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_enum_def(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
owner_id: OwnerId,
enum_def: &EnumDef
-) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_ty_alias(
+) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_ty_alias(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
owner_id: OwnerId,
ty_alias: &TyAlias
-) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_impl(
+) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_impl(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
owner_id: OwnerId,
impl_: &Impl
-) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_trait(
+) -> Result<(), ErrorGuaranteed>
sourcepub(crate) fn resolve_trait(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
owner_id: OwnerId,
trait_: &Trait
-) -> Result<(), ErrorGuaranteed>
sourcefn new(
+) -> Result<(), ErrorGuaranteed>
sourcefn new(
resolver: &'a mut CrateResolver<'genv, 'tcx>,
sort_res: UnordMap<Symbol, SortRes>
-) -> Self
sourcefn run(
+) -> Self
sourcefn run(
self,
f: impl FnOnce(&mut ScopedVisitorWrapper<Self>)
-) -> Result<(), ErrorGuaranteed>
sourcefn define_param(
+) -> Result<(), ErrorGuaranteed>
sourcefn define_param(
&mut self,
ident: Ident,
kind: ParamKind,
param_id: NodeId,
scope: Option<NodeId>
-)
sourcefn find(&mut self, ident: Ident) -> Option<ParamRes>
sourcefn resolve_ident(&mut self, ident: Ident, node_id: NodeId)
sourcefn resolve_sort_path(&mut self, path: &SortPath)
sourcepub(crate) fn finish(self) -> Result<(), ErrorGuaranteed>
sourcefn resolver_output(&self) -> &ResolverOutput
Trait Implementations§
source§impl<'genv> ScopedVisitor for RefinementResolver<'_, 'genv, '_>
source§fn is_box(&self, segment: &PathSegment) -> bool
source§fn enter_scope(&mut self, kind: ScopeKind) -> ControlFlow<()>
source§fn exit_scope(&mut self)
source§fn on_enum_variant(&mut self, variant: &VariantDef)
source§fn on_fn_sig(&mut self, fn_sig: &FnSig)
source§fn on_fn_output(&mut self, output: &FnOutput)
source§fn on_generic_param(&mut self, param: &GenericParam)
source§fn on_refine_param(&mut self, name: Ident, node_id: NodeId)
source§fn on_func(&mut self, func: Ident, node_id: NodeId)
source§fn on_loc(&mut self, loc: Ident, node_id: NodeId)
source§fn on_path(&mut self, path: &PathExpr)
source§fn on_base_sort(&mut self, sort: &BaseSort)
source§fn wrap(self) -> ScopedVisitorWrapper<Self>
source§fn on_implicit_param(
+)
sourcefn find(&mut self, ident: Ident) -> Option<ParamRes>
sourcefn resolve_ident(&mut self, ident: Ident, node_id: NodeId)
sourcefn resolve_sort_path(&mut self, path: &SortPath)
sourcepub(crate) fn finish(self) -> Result<(), ErrorGuaranteed>
sourcefn resolver_output(&self) -> &ResolverOutput
Trait Implementations§
source§impl<'genv> ScopedVisitor for RefinementResolver<'_, 'genv, '_>
source§fn is_box(&self, segment: &PathSegment) -> bool
source§fn enter_scope(&mut self, kind: ScopeKind) -> ControlFlow<()>
source§fn exit_scope(&mut self)
source§fn on_enum_variant(&mut self, variant: &VariantDef)
source§fn on_fn_sig(&mut self, fn_sig: &FnSig)
source§fn on_fn_output(&mut self, output: &FnOutput)
source§fn on_generic_param(&mut self, param: &GenericParam)
source§fn on_refine_param(&mut self, name: Ident, node_id: NodeId)
source§fn on_func(&mut self, func: Ident, node_id: NodeId)
source§fn on_loc(&mut self, loc: Ident, node_id: NodeId)
source§fn on_path(&mut self, path: &PathExpr)
source§fn on_base_sort(&mut self, sort: &BaseSort)
source§fn wrap(self) -> ScopedVisitorWrapper<Self>
source§fn on_implicit_param(
&mut self,
_ident: Ident,
_kind: ParamKind,
diff --git a/doc/flux_desugar/resolver/refinement_resolver/struct.Sorts.html b/doc/flux_desugar/resolver/refinement_resolver/struct.Sorts.html
index 98a8be03cd..91e693ee7d 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/struct.Sorts.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/struct.Sorts.html
@@ -1,4 +1,4 @@
-Sorts in flux_desugar::resolver::refinement_resolver - Rust Struct flux_desugar::resolver::refinement_resolver::Sorts
source · pub(crate) struct Sorts {
+Sorts in flux_desugar::resolver::refinement_resolver - Rust Struct flux_desugar::resolver::refinement_resolver::Sorts
source · pub(crate) struct Sorts {
pub int: Symbol,
pub real: Symbol,
pub set: Symbol,
diff --git a/doc/flux_desugar/resolver/refinement_resolver/trait.ScopedVisitor.html b/doc/flux_desugar/resolver/refinement_resolver/trait.ScopedVisitor.html
index 67e7af5d0f..160fe71041 100644
--- a/doc/flux_desugar/resolver/refinement_resolver/trait.ScopedVisitor.html
+++ b/doc/flux_desugar/resolver/refinement_resolver/trait.ScopedVisitor.html
@@ -26,4 +26,4 @@
_ident: Ident,
_kind: ParamKind,
_node_id: NodeId
-)
sourcefn on_generic_param(&mut self, _param: &GenericParam)
sourcefn on_refine_param(&mut self, _name: Ident, _node_id: NodeId)
sourcefn on_enum_variant(&mut self, _variant: &VariantDef)
sourcefn on_fn_sig(&mut self, _fn_sig: &FnSig)
sourcefn on_fn_output(&mut self, _output: &FnOutput)
sourcefn on_loc(&mut self, _loc: Ident, _node_id: NodeId)
sourcefn on_func(&mut self, _func: Ident, _node_id: NodeId)
sourcefn on_path(&mut self, _path: &PathExpr)
sourcefn on_base_sort(&mut self, _sort: &BaseSort)
Object Safety§
This trait is not object safe.Implementors§
source§impl ScopedVisitor for IllegalBinderVisitor<'_, '_, '_>
source§impl ScopedVisitor for ImplicitParamCollector<'_, '_>
source§impl<'genv> ScopedVisitor for RefinementResolver<'_, 'genv, '_>
sourcefn on_generic_param(&mut self, _param: &GenericParam)
sourcefn on_refine_param(&mut self, _name: Ident, _node_id: NodeId)
sourcefn on_enum_variant(&mut self, _variant: &VariantDef)
sourcefn on_fn_sig(&mut self, _fn_sig: &FnSig)
sourcefn on_fn_output(&mut self, _output: &FnOutput)
sourcefn on_loc(&mut self, _loc: Ident, _node_id: NodeId)
sourcefn on_func(&mut self, _func: Ident, _node_id: NodeId)
sourcefn on_path(&mut self, _path: &PathExpr)
sourcefn on_base_sort(&mut self, _sort: &BaseSort)
Object Safety§
This trait is not object safe.Implementors§
source§impl ScopedVisitor for IllegalBinderVisitor<'_, '_, '_>
source§impl ScopedVisitor for ImplicitParamCollector<'_, '_>
source§impl<'genv> ScopedVisitor for RefinementResolver<'_, 'genv, '_>
\ No newline at end of file
diff --git a/doc/flux_driver/callbacks/struct.CrateChecker.html b/doc/flux_driver/callbacks/struct.CrateChecker.html
index 9603e0d42d..c2f7ec116f 100644
--- a/doc/flux_driver/callbacks/struct.CrateChecker.html
+++ b/doc/flux_driver/callbacks/struct.CrateChecker.html
@@ -2,8 +2,8 @@
genv: GlobalEnv<'genv, 'tcx>,
fhir: &'genv Crate<'genv>,
cache: QueryCache,
- checker_config: CheckerConfig,
-}Fields§
§genv: GlobalEnv<'genv, 'tcx>§fhir: &'genv Crate<'genv>§cache: QueryCache§checker_config: CheckerConfigImplementations§
source§impl<'genv, 'tcx> CrateChecker<'genv, 'tcx>
sourcefn new(genv: GlobalEnv<'genv, 'tcx>, fhir: &'genv Crate<'genv>) -> Self
sourcefn is_ignored(&self, def_id: LocalDefId) -> bool
is_ignored transitively follows the def_id’s parent-chain to check if
+ checker_config: CheckerConfig,
+}
Fields§
§genv: GlobalEnv<'genv, 'tcx>§fhir: &'genv Crate<'genv>§cache: QueryCache§checker_config: CheckerConfigImplementations§
source§impl<'genv, 'tcx> CrateChecker<'genv, 'tcx>
sourcefn new(genv: GlobalEnv<'genv, 'tcx>, fhir: &'genv Crate<'genv>) -> Self
sourcefn is_ignored(&self, def_id: LocalDefId) -> bool
is_ignored transitively follows the def_id’s parent-chain to check if
any enclosing mod has been marked as ignore
sourcefn matches_check_def(&self, def_id: LocalDefId) -> bool
sourcefn check_def(&mut self, def_id: LocalDefId) -> Result<(), ErrorGuaranteed>
Auto Trait Implementations§
§impl<'genv, 'tcx> !RefUnwindSafe for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> !Send for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> !Sync for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> Unpin for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> !UnwindSafe for CrateChecker<'genv, 'tcx>
Blanket Implementations§
source§impl<T> Borrow<T> for Twhere
diff --git a/doc/flux_fhir_analysis/annot_check/errors/struct.ArrayLenMismatch.html b/doc/flux_fhir_analysis/annot_check/errors/struct.ArrayLenMismatch.html
index 46eac67c1c..b79f28223b 100644
--- a/doc/flux_fhir_analysis/annot_check/errors/struct.ArrayLenMismatch.html
+++ b/doc/flux_fhir_analysis/annot_check/errors/struct.ArrayLenMismatch.html
@@ -3,7 +3,7 @@
len: usize,
expected_span: Span,
expected_len: usize,
-}Fields§
§span: Span§len: usize§expected_span: Span§expected_len: usizeImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for ArrayLenMismatchwhere
+}Fields§
§span: Span§len: usize§expected_span: Span§expected_len: usizeImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for ArrayLenMismatchwhere
G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
diff --git a/doc/flux_fhir_analysis/annot_check/errors/struct.FieldCountMismatch.html b/doc/flux_fhir_analysis/annot_check/errors/struct.FieldCountMismatch.html
index 6af9ac357c..10254da552 100644
--- a/doc/flux_fhir_analysis/annot_check/errors/struct.FieldCountMismatch.html
+++ b/doc/flux_fhir_analysis/annot_check/errors/struct.FieldCountMismatch.html
@@ -4,8 +4,8 @@
expected_span: Span,
expected_fields: usize,
}Fields§
§span: Span§fields: usize§expected_span: Span§expected_fields: usizeImplementations§
source§impl FieldCountMismatch
sourcepub(super) fn from_variants(
- variant: &VariantDef<'_>,
- expected_variant: &VariantDef<'_>
+ variant: &VariantDef<'_>,
+ expected_variant: &VariantDef<'_>
) -> Self
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for FieldCountMismatchwhere
G: EmissionGuarantee,
source§fn into_diagnostic(
self,
diff --git a/doc/flux_fhir_analysis/annot_check/errors/struct.FunArgCountMismatch.html b/doc/flux_fhir_analysis/annot_check/errors/struct.FunArgCountMismatch.html
index c89f35e988..6629b9d485 100644
--- a/doc/flux_fhir_analysis/annot_check/errors/struct.FunArgCountMismatch.html
+++ b/doc/flux_fhir_analysis/annot_check/errors/struct.FunArgCountMismatch.html
@@ -3,7 +3,7 @@
args: usize,
expected_span: Span,
expected_args: usize,
-}Fields§
§span: Span§args: usize§expected_span: Span§expected_args: usizeImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for FunArgCountMismatchwhere
+}Fields§
§span: Span§args: usize§expected_span: Span§expected_args: usizeImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for FunArgCountMismatchwhere
G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
diff --git a/doc/flux_fhir_analysis/annot_check/errors/struct.GenericArgCountMismatch.html b/doc/flux_fhir_analysis/annot_check/errors/struct.GenericArgCountMismatch.html
index c87e0b9f04..05a2496f8f 100644
--- a/doc/flux_fhir_analysis/annot_check/errors/struct.GenericArgCountMismatch.html
+++ b/doc/flux_fhir_analysis/annot_check/errors/struct.GenericArgCountMismatch.html
@@ -4,7 +4,7 @@
expected: usize,
def_descr: &'static str,
expected_span: Span,
-}Fields§
§span: Span§found: usize§expected: usize§def_descr: &'static str§expected_span: SpanImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for GenericArgCountMismatchwhere
+}Fields§
§span: Span§found: usize§expected: usize§def_descr: &'static str§expected_span: SpanImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for GenericArgCountMismatchwhere
G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
diff --git a/doc/flux_fhir_analysis/annot_check/errors/struct.InvalidRefinement.html b/doc/flux_fhir_analysis/annot_check/errors/struct.InvalidRefinement.html
index 8c330b649b..baec8be484 100644
--- a/doc/flux_fhir_analysis/annot_check/errors/struct.InvalidRefinement.html
+++ b/doc/flux_fhir_analysis/annot_check/errors/struct.InvalidRefinement.html
@@ -4,7 +4,7 @@
expected_ty: String,
has_note: Option<()>,
note: String,
-}Fields§
§span: Span§expected_span: Span§expected_ty: String§has_note: Option<()>§note: StringImplementations§
source§impl InvalidRefinement
sourcepub(super) fn from_tys(ty: &Ty<'_>, expected_ty: &Ty<'_>) -> Self
sourcepub(super) fn from_paths(path: &Path<'_>, expected_path: &Path<'_>) -> Self
sourcepub(super) fn from_btys(bty: &BaseTy<'_>, expected_bty: &BaseTy<'_>) -> Self
sourcepub(super) fn from_qpaths(qpath: &QPath<'_>, expected_qpath: &QPath<'_>) -> Self
sourcepub(super) fn with_note(self, note: impl ToString) -> Self
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for InvalidRefinementwhere
+}Fields§
§span: Span§expected_span: Span§expected_ty: String§has_note: Option<()>§note: StringImplementations§
source§impl InvalidRefinement
sourcepub(super) fn from_tys(ty: &Ty<'_>, expected_ty: &Ty<'_>) -> Self
sourcepub(super) fn from_paths(path: &Path<'_>, expected_path: &Path<'_>) -> Self
sourcepub(super) fn from_btys(bty: &BaseTy<'_>, expected_bty: &BaseTy<'_>) -> Self
sourcepub(super) fn from_qpaths(qpath: &QPath<'_>, expected_qpath: &QPath<'_>) -> Self
sourcepub(super) fn with_note(self, note: impl ToString) -> Self
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for InvalidRefinementwhere
G: EmissionGuarantee,
source§fn into_diagnostic(
self,
sess: &'__diagnostic_handler_sess Handler
diff --git a/doc/flux_fhir_analysis/annot_check/fn.check_enum_def.html b/doc/flux_fhir_analysis/annot_check/fn.check_enum_def.html
index b37d8a6268..afe54ce577 100644
--- a/doc/flux_fhir_analysis/annot_check/fn.check_enum_def.html
+++ b/doc/flux_fhir_analysis/annot_check/fn.check_enum_def.html
@@ -1,6 +1,6 @@
check_enum_def in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_enum_def
source · pub(crate) fn check_enum_def<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
owner_id: OwnerId,
- enum_def: &EnumDef<'_>
+ enum_def: &EnumDef<'_>
) -> Result<(), ErrorGuaranteed>
check_fn_sig in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_fn_sig
source · pub(crate) fn check_fn_sig<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
owner_id: OwnerId,
- fn_sig: &FnSig<'_>
+ fn_sig: &FnSig<'_>
) -> Result<(), ErrorGuaranteed>
check_impl_item in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_impl_item
source · fn check_impl_item<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
- impl_item: &ImplItem<'_>
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
+ impl_item: &ImplItem<'_>
) -> Result<(), ErrorGuaranteed>
check_item in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_item
source · fn check_item<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
- item: &Item<'_>
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
+ item: &Item<'_>
) -> Result<(), ErrorGuaranteed>
check_node in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_node
source · pub(crate) fn check_node<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
- node: &Node<'_>
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
+ node: &Node<'_>
) -> Result<(), ErrorGuaranteed>
check_struct_def in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_struct_def
source · pub(crate) fn check_struct_def<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
owner_id: OwnerId,
- struct_def: &StructDef<'_>
+ struct_def: &StructDef<'_>
) -> Result<(), ErrorGuaranteed>
check_trait_item in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_trait_item
source · fn check_trait_item<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
- trait_item: &TraitItem<'_>
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
+ trait_item: &TraitItem<'_>
) -> Result<(), ErrorGuaranteed>
check_ty_alias in flux_fhir_analysis::annot_check - Rust Function flux_fhir_analysis::annot_check::check_ty_alias
source · pub(crate) fn check_ty_alias<'genv>(
- genv: GlobalEnv<'genv, '_>,
- wfckresults: &mut WfckResults<'genv>,
+ genv: GlobalEnv<'genv, '_>,
+ wfckresults: &mut WfckResults<'genv>,
owner_id: OwnerId,
- ty_alias: &TyAlias<'_>
+ ty_alias: &TyAlias<'_>
) -> Result<(), ErrorGuaranteed>
flux_fhir_analysis::annot_check - Rust Module flux_fhir_analysis::annot_check
source · Expand description
Check if an fhir annotation is a valid refinement of the corresponding rust declaration.
-To check if an fhir is valid, we first lift the hir declaration into fhir and then
+
flux_fhir_analysis::annot_check - Rust Module flux_fhir_analysis::annot_check
source · Expand description
Modules
- errors 🔒
Structs
- Zipper 🔒
Functions
Type Aliases
- LocsMap 🔒
Zipper in flux_fhir_analysis::annot_check - Rust Struct flux_fhir_analysis::annot_check::Zipper
source · struct Zipper<'zip, 'genv, 'tcx> {
- genv: GlobalEnv<'genv, 'tcx>,
- wfckresults: &'zip mut WfckResults<'genv>,
- locs: UnordMap<ParamId, Ty<'genv>>,
- self_ty: Option<Ty<'genv>>,
-}
Fields§
§genv: GlobalEnv<'genv, 'tcx>§wfckresults: &'zip mut WfckResults<'genv>§locs: UnordMap<ParamId, Ty<'genv>>§self_ty: Option<Ty<'genv>>Implementations§
source§impl<'zip, 'genv, 'tcx> Zipper<'zip, 'genv, 'tcx>
sourcefn new(
- genv: GlobalEnv<'genv, 'tcx>,
- wfckresults: &'zip mut WfckResults<'genv>,
- self_ty: Option<Ty<'genv>>
+ genv: GlobalEnv<'genv, 'tcx>,
+ wfckresults: &'zip mut WfckResults<'genv>,
+ locs: UnordMap<ParamId, Ty<'genv>>,
+ self_ty: Option<Ty<'genv>>,
+}Fields§
§genv: GlobalEnv<'genv, 'tcx>§wfckresults: &'zip mut WfckResults<'genv>§locs: UnordMap<ParamId, Ty<'genv>>§self_ty: Option<Ty<'genv>>Implementations§
source§impl<'zip, 'genv, 'tcx> Zipper<'zip, 'genv, 'tcx>
sourcefn new(
+ genv: GlobalEnv<'genv, 'tcx>,
+ wfckresults: &'zip mut WfckResults<'genv>,
+ self_ty: Option<Ty<'genv>>
) -> Self
sourcefn zip_enum_variant(
&mut self,
- variant: &VariantDef<'_>,
- expected_variant: &VariantDef<'genv>
+ variant: &VariantDef<'_>,
+ expected_variant: &VariantDef<'genv>
) -> Result<(), ErrorGuaranteed>
sourcefn zip_fn_decl(
&mut self,
- fn_decl: &FnDecl<'_>,
- expected_fn_sig: &FnDecl<'genv>
+ fn_decl: &FnDecl<'_>,
+ expected_fn_sig: &FnDecl<'genv>
) -> Result<(), ErrorGuaranteed>
sourcefn zip_constraints(
&mut self,
- constrs: &[Constraint<'_>]
+ constrs: &[Constraint<'_>]
) -> Result<(), ErrorGuaranteed>
sourcefn zip_tys(
&mut self,
- tys: &[Ty<'_>],
- expected_tys: &[Ty<'genv>]
+ tys: &[Ty<'_>],
+ expected_tys: &[Ty<'genv>]
) -> Result<(), ErrorGuaranteed>
sourcefn zip_ty(
&mut self,
- ty: &Ty<'_>,
- expected_ty: &Ty<'genv>
+ ty: &Ty<'_>,
+ expected_ty: &Ty<'genv>
) -> Result<(), ErrorGuaranteed>
sourcefn zip_generic_arg(
&mut self,
- arg1: &GenericArg<'_>,
- arg2: &GenericArg<'genv>
-) -> Result<(), ErrorGuaranteed>
sourcefn zip_lifetime(&mut self, lft: Lifetime, expected_lft: Lifetime)
sourcefn zip_bty(
+ arg1: &GenericArg<'_>,
+ arg2: &GenericArg<'genv>
+) -> Result<(), ErrorGuaranteed>
sourcefn zip_lifetime(&mut self, lft: Lifetime, expected_lft: Lifetime)
sourcefn zip_bty(
&mut self,
- bty: &BaseTy<'_>,
- expected_bty: &BaseTy<'genv>
+ bty: &BaseTy<'_>,
+ expected_bty: &BaseTy<'genv>
) -> Result<(), ErrorGuaranteed>
sourcefn zip_qpath(
&mut self,
- qpath: &QPath<'_>,
- expected_qpath: &QPath<'genv>
-) -> Result<(), ErrorGuaranteed>
sourcefn is_same_res(&self, res: Res, expected: Res) -> bool
sourcefn zip_path(
+ qpath: &QPath<'_>,
+ expected_qpath: &QPath<'genv>
+) -> Result<(), ErrorGuaranteed>
sourcefn is_same_res(&self, res: Res, expected: Res) -> bool
sourcefn zip_path(
&mut self,
- path: &Path<'_>,
- expected_path: &Path<'genv>
+ path: &Path<'_>,
+ expected_path: &Path<'genv>
) -> Result<(), ErrorGuaranteed>
sourcefn emit_err<'a>(&'a self, err: impl IntoDiagnostic<'a>) -> ErrorGuaranteed
Auto Trait Implementations§
§impl<'zip, 'genv, 'tcx> !RefUnwindSafe for Zipper<'zip, 'genv, 'tcx>
§impl<'zip, 'genv, 'tcx> !Send for Zipper<'zip, 'genv, 'tcx>
§impl<'zip, 'genv, 'tcx> !Sync for Zipper<'zip, 'genv, 'tcx>
§impl<'zip, 'genv, 'tcx> Unpin for Zipper<'zip, 'genv, 'tcx>
§impl<'zip, 'genv, 'tcx> !UnwindSafe for Zipper<'zip, 'genv, 'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/doc/flux_fhir_analysis/annot_check/type.LocsMap.html b/doc/flux_fhir_analysis/annot_check/type.LocsMap.html
index 1f3e356c67..84d05c649d 100644
--- a/doc/flux_fhir_analysis/annot_check/type.LocsMap.html
+++ b/doc/flux_fhir_analysis/annot_check/type.LocsMap.html
@@ -1,3 +1,3 @@
-LocsMap in flux_fhir_analysis::annot_check - Rust Type Alias flux_fhir_analysis::annot_check::LocsMap
source · type LocsMap<'genv> = UnordMap<ParamId, Ty<'genv>>;
Aliased Type§
struct LocsMap<'genv> {
- inner: HashMap<ParamId, Ty<'genv>, BuildHasherDefault<FxHasher>>,
-}
Fields§
§inner: HashMap<ParamId, Ty<'genv>, BuildHasherDefault<FxHasher>>LocsMap in flux_fhir_analysis::annot_check - Rust Type Alias flux_fhir_analysis::annot_check::LocsMap
source · type LocsMap<'genv> = UnordMap<ParamId, Ty<'genv>>;
Aliased Type§
struct LocsMap<'genv> {
+ inner: HashMap<ParamId, Ty<'genv>, BuildHasherDefault<FxHasher>>,
+}
Fields§
§inner: HashMap<ParamId, Ty<'genv>, BuildHasherDefault<FxHasher>>IncompatibleSort in flux_fhir_analysis::compare_impl_item::errors - Rust pub(super) struct IncompatibleSort {
span: Span,
name: Symbol,
- expected: FuncSort,
- found: FuncSort,
-}
Fields§
§span: Span§name: Symbol§expected: FuncSort§found: FuncSortImplementations§
source§impl IncompatibleSort
sourcepub(super) fn new(
+ expected: FuncSort,
+ found: FuncSort,
+}Fields§
§span: Span§name: Symbol§expected: FuncSort§found: FuncSortImplementations§
Trait Implementations§
source§impl<'__diagnostic_handler_sess, G> IntoDiagnostic<'__diagnostic_handler_sess, G> for IncompatibleSortwhere
G: EmissionGuarantee,
source§fn into_diagnostic(
self,
diff --git a/doc/flux_fhir_analysis/compare_impl_item/fn.check_assoc_reft.html b/doc/flux_fhir_analysis/compare_impl_item/fn.check_assoc_reft.html
index 66a48ceb0b..21f5b36992 100644
--- a/doc/flux_fhir_analysis/compare_impl_item/fn.check_assoc_reft.html
+++ b/doc/flux_fhir_analysis/compare_impl_item/fn.check_assoc_reft.html
@@ -1,5 +1,5 @@
check_assoc_reft in flux_fhir_analysis::compare_impl_item - Rust Function flux_fhir_analysis::compare_impl_item::check_assoc_reft
source · fn check_assoc_reft(
- genv: GlobalEnv<'_, '_>,
+ genv: GlobalEnv<'_, '_>,
impl_id: LocalDefId,
trait_id: DefId,
name: Symbol
diff --git a/doc/flux_fhir_analysis/compare_impl_item/fn.check_impl_against_trait.html b/doc/flux_fhir_analysis/compare_impl_item/fn.check_impl_against_trait.html
index 4de49b5619..132ba731f4 100644
--- a/doc/flux_fhir_analysis/compare_impl_item/fn.check_impl_against_trait.html
+++ b/doc/flux_fhir_analysis/compare_impl_item/fn.check_impl_against_trait.html
@@ -1,4 +1,4 @@
check_impl_against_trait in flux_fhir_analysis::compare_impl_item - Rust pub fn check_impl_against_trait(
- genv: GlobalEnv<'_, '_>,
+ genv: GlobalEnv<'_, '_>,
impl_id: LocalDefId
) -> Result<(), ErrorGuaranteed>
Entry in flux_fhir_analysis::conv - Rust Enum flux_fhir_analysis::conv::Entry
source · enum Entry {
Sort {
- infer_mode: InferMode,
+ infer_mode: InferMode,
name: Symbol,
- sort: Sort,
+ sort: Sort,
idx: u32,
},
Unit(Symbol),
-}
Variants§
§Sort
Fields
§idx: u32The index of the entry in the layer skipping all Entry::Unit if Layer::filter_unit
+}
Variants§
§Sort
Fields
§infer_mode: InferMode§sort: Sort§idx: u32The index of the entry in the layer skipping all Entry::Unit if Layer::filter_unit
is true
§Unit(Symbol)
We track parameters of unit sort separately because we avoid creating bound variables for them
in function signatures.
-Implementations§
Trait Implementations§
Auto Trait Implementations§
§impl RefUnwindSafe for Entry
§impl Send for Entry
§impl Sync for Entry
§impl Unpin for Entry
§impl UnwindSafe for Entry
Blanket Implementations§
Implementations§
Trait Implementations§
Auto Trait Implementations§
§impl RefUnwindSafe for Entry
§impl Send for Entry
§impl Sync for Entry
§impl Unpin for Entry
§impl UnwindSafe for Entry
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/enum.LookupResultKind.html b/doc/flux_fhir_analysis/conv/enum.LookupResultKind.html
index ee087ae057..313e07ec34 100644
--- a/doc/flux_fhir_analysis/conv/enum.LookupResultKind.html
+++ b/doc/flux_fhir_analysis/conv/enum.LookupResultKind.html
@@ -7,9 +7,9 @@
EarlyParam {
idx: u32,
name: Symbol,
- sort: Sort,
+ sort: Sort,
},
-}Variants§