Function flux_desugar::desugar::desugar_base_sort
source · fn desugar_base_sort<'genv>(
+desugar_base_sort in flux_desugar::desugar - Rust Function flux_desugar::desugar::desugar_base_sort
source · fn desugar_base_sort<'genv>(
genv: GlobalEnv<'genv, '_>,
resolver_output: &ResolverOutput,
bsort: &BaseSort,
diff --git a/doc/flux_desugar/desugar/fn.desugar_sort.html b/doc/flux_desugar/desugar/fn.desugar_sort.html
index aed0ebf8d7..39adfea9ff 100644
--- a/doc/flux_desugar/desugar/fn.desugar_sort.html
+++ b/doc/flux_desugar/desugar/fn.desugar_sort.html
@@ -1,4 +1,4 @@
-desugar_sort in flux_desugar::desugar - Rust Function flux_desugar::desugar::desugar_sort
source · fn desugar_sort<'genv>(
+desugar_sort in flux_desugar::desugar - Rust Function flux_desugar::desugar::desugar_sort
source · fn desugar_sort<'genv>(
genv: GlobalEnv<'genv, '_>,
resolver_output: &ResolverOutput,
sort: &Sort,
diff --git a/doc/flux_desugar/desugar/index.html b/doc/flux_desugar/desugar/index.html
index 2c2b93fed9..9c463a5795 100644
--- a/doc/flux_desugar/desugar/index.html
+++ b/doc/flux_desugar/desugar/index.html
@@ -1,2 +1,2 @@
-flux_desugar::desugar - Rust Module flux_desugar::desugar
source · Structs§
Traits§
Functions§
- Collect all sorts resolved to a generic type in a list of refinement parameters. Return the set
+
flux_desugar::desugar - Rust
\ No newline at end of file
diff --git a/doc/flux_desugar/desugar/struct.FluxItemCtxt.html b/doc/flux_desugar/desugar/struct.FluxItemCtxt.html
index dd70f1b934..1e48eefb87 100644
--- a/doc/flux_desugar/desugar/struct.FluxItemCtxt.html
+++ b/doc/flux_desugar/desugar/struct.FluxItemCtxt.html
@@ -7,7 +7,7 @@
genv: GlobalEnv<'genv, 'tcx>,
resolver_output: &'genv ResolverOutput,
owner: Symbol,
-) -> Self
Trait Implementations§
source§impl<'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for FluxItemCtxt<'genv, 'tcx>
source§fn next_fhir_id(&self) -> FhirId
source§fn genv(&self) -> GlobalEnv<'genv, 'tcx>
source§fn resolver_output(&self) -> &'genv ResolverOutput
source§fn desugar_impl_trait(
+) -> Self
Trait Implementations§
source§impl<'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for FluxItemCtxt<'genv, 'tcx>
source§fn next_fhir_id(&self) -> FhirId
source§fn genv(&self) -> GlobalEnv<'genv, 'tcx>
source§fn resolver_output(&self) -> &'genv ResolverOutput
source§fn desugar_impl_trait(
&mut self,
_: NodeId,
_: &[TraitRef],
@@ -45,45 +45,45 @@
&self,
sort: &BaseSort,
generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
-) -> Sort<'genv>
source§fn desugar_generic_args(
+) -> Sort<'genv>
source§fn desugar_generic_args(
&mut self,
res: Res,
args: &[GenericArg],
-) -> Result<(&'genv [GenericArg<'genv>], &'genv [TypeBinding<'genv>]), ErrorGuaranteed>
source§fn desugar_ty(&mut self, ty: &Ty) -> Result<Ty<'genv>, ErrorGuaranteed>
source§fn desugar_bty(
+) -> Result<(&'genv [GenericArg<'genv>], &'genv [AssocItemConstraint<'genv>]), ErrorGuaranteed>
source§fn desugar_ty(&mut self, ty: &Ty) -> Result<Ty<'genv>, ErrorGuaranteed>
source§fn desugar_bty(
&mut self,
bty: &BaseTy,
-) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_path_to_bty(
+) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_path_to_bty(
&mut self,
qself: Option<&Ty>,
path: &Path,
-) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_qpath(
+) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_qpath(
&mut self,
qself: Option<&Ty>,
path: &Path,
-) -> Result<QPath<'genv>, ErrorGuaranteed>
source§fn desugar_path_segment(
+) -> Result<QPath<'genv>, ErrorGuaranteed>
source§fn desugar_path_segment(
&mut self,
segment: &PathSegment,
-) -> Result<PathSegment<'genv>, ErrorGuaranteed>
source§fn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv>
source§fn mk_lft_hole(&self) -> Lifetime
source§fn desugar_indices(
+) -> Result<PathSegment<'genv>, ErrorGuaranteed>
source§fn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv>
source§fn mk_lft_hole(&self) -> Lifetime
source§fn desugar_indices(
&mut self,
idxs: &Indices,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn desugar_refine_arg(
+) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn desugar_refine_arg(
&mut self,
arg: &RefineArg,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
+) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
&self,
ident: Ident,
node_id: NodeId,
-) -> Option<RefineArg<'genv>>
source§fn desugar_alias_reft(
+) -> Option<RefineArg<'genv>>
source§fn desugar_alias_reft(
&mut self,
alias_reft: &AliasReft,
-) -> Result<AliasReft<'genv>, ErrorGuaranteed>
source§fn desugar_expr(&mut self, expr: &Expr) -> Result<Expr<'genv>, ErrorGuaranteed>
source§fn desugar_exprs(
+) -> Result<AliasReft<'genv>, ErrorGuaranteed>
source§fn desugar_expr(&mut self, expr: &Expr) -> Result<Expr<'genv>, ErrorGuaranteed>
source§fn desugar_exprs(
&mut self,
exprs: &[Expr],
-) -> Result<&'genv [Expr<'genv>], ErrorGuaranteed>
source§fn try_parse_int_lit(
+) -> Result<&'genv [Expr<'genv>], ErrorGuaranteed>
source§fn try_parse_int_lit(
&self,
span: Span,
s: &str,
-) -> Result<i128, ErrorGuaranteed>
source§fn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed>
source§fn emit_err(&self, err: impl Diagnostic<'genv>) -> ErrorGuaranteed
Auto Trait Implementations§
§impl<'genv, 'tcx> !Freeze for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !RefUnwindSafe for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !Send for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !Sync for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> Unpin for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !UnwindSafe for FluxItemCtxt<'genv, 'tcx>
Blanket Implementations§
source§impl<T> Any for Twhere
+) -> Result<i128, ErrorGuaranteed>source§fn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed>
source§fn emit_err(&self, err: impl Diagnostic<'genv>) -> ErrorGuaranteed
Auto Trait Implementations§
§impl<'genv, 'tcx> !Freeze for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !RefUnwindSafe for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !Send for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !Sync for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> Unpin for FluxItemCtxt<'genv, 'tcx>
§impl<'genv, 'tcx> !UnwindSafe for FluxItemCtxt<'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/desugar/struct.RustItemCtxt.html b/doc/flux_desugar/desugar/struct.RustItemCtxt.html
index 20889b1a04..7ff597a68c 100644
--- a/doc/flux_desugar/desugar/struct.RustItemCtxt.html
+++ b/doc/flux_desugar/desugar/struct.RustItemCtxt.html
@@ -87,7 +87,7 @@
lang_item: LangItem,
span: Span,
args: &'genv [GenericArg<'genv>],
- bindings: &'genv [TypeBinding<'genv>],
+ constraints: &'genv [AssocItemConstraint<'genv>],
) -> Path<'genv>sourcefn desugar_fn_ret_ty(
&mut self,
returns: &FnRetTy,
@@ -97,7 +97,7 @@
) -> Result<OpaqueTy<'genv>, ErrorGuaranteed>
sourcefn desugar_variant_ret(
&mut self,
ret: &VariantRet,
-) -> Result<VariantRet<'genv>, ErrorGuaranteed>
sourcefn check_variant_ret_path(&mut self, path: &Path) -> Option<DefId>
sourcefn insert_opaque_ty(&mut self, def_id: LocalDefId, opaque_ty: OpaqueTy<'genv>)
sourcefn emit_err<'b>(&'b self, err: impl Diagnostic<'b>) -> ErrorGuaranteed
Trait Implementations§
source§impl<'a, 'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for RustItemCtxt<'a, 'genv, 'tcx>
source§fn next_fhir_id(&self) -> FhirId
source§fn genv(&self) -> GlobalEnv<'genv, 'tcx>
source§fn resolver_output(&self) -> &'genv ResolverOutput
source§fn desugar_impl_trait(
+) -> Result<VariantRet<'genv>, ErrorGuaranteed>
sourcefn check_variant_ret_path(&mut self, path: &Path) -> Option<DefId>
sourcefn insert_opaque_ty(&mut self, def_id: LocalDefId, opaque_ty: OpaqueTy<'genv>)
sourcefn emit_err<'b>(&'b self, err: impl Diagnostic<'b>) -> ErrorGuaranteed
Trait Implementations§
source§impl<'a, 'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for RustItemCtxt<'a, 'genv, 'tcx>
source§fn next_fhir_id(&self) -> FhirId
source§fn genv(&self) -> GlobalEnv<'genv, 'tcx>
source§fn resolver_output(&self) -> &'genv ResolverOutput
source§fn desugar_impl_trait(
&mut self,
node_id: NodeId,
bounds: &[TraitRef],
@@ -135,45 +135,45 @@
&self,
sort: &BaseSort,
generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
-) -> Sort<'genv>
source§fn desugar_generic_args(
+) -> Sort<'genv>
source§fn desugar_generic_args(
&mut self,
res: Res,
args: &[GenericArg],
-) -> Result<(&'genv [GenericArg<'genv>], &'genv [TypeBinding<'genv>]), ErrorGuaranteed>
source§fn desugar_ty(&mut self, ty: &Ty) -> Result<Ty<'genv>, ErrorGuaranteed>
source§fn desugar_bty(
+) -> Result<(&'genv [GenericArg<'genv>], &'genv [AssocItemConstraint<'genv>]), ErrorGuaranteed>
source§fn desugar_ty(&mut self, ty: &Ty) -> Result<Ty<'genv>, ErrorGuaranteed>
source§fn desugar_bty(
&mut self,
bty: &BaseTy,
-) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_path_to_bty(
+) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_path_to_bty(
&mut self,
qself: Option<&Ty>,
path: &Path,
-) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_qpath(
+) -> Result<BaseTy<'genv>, ErrorGuaranteed>
source§fn desugar_qpath(
&mut self,
qself: Option<&Ty>,
path: &Path,
-) -> Result<QPath<'genv>, ErrorGuaranteed>
source§fn desugar_path_segment(
+) -> Result<QPath<'genv>, ErrorGuaranteed>
source§fn desugar_path_segment(
&mut self,
segment: &PathSegment,
-) -> Result<PathSegment<'genv>, ErrorGuaranteed>
source§fn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv>
source§fn mk_lft_hole(&self) -> Lifetime
source§fn desugar_indices(
+) -> Result<PathSegment<'genv>, ErrorGuaranteed>
source§fn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv>
source§fn mk_lft_hole(&self) -> Lifetime
source§fn desugar_indices(
&mut self,
idxs: &Indices,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn desugar_refine_arg(
+) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn desugar_refine_arg(
&mut self,
arg: &RefineArg,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
+) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
&self,
ident: Ident,
node_id: NodeId,
-) -> Option<RefineArg<'genv>>
source§fn desugar_alias_reft(
+) -> Option<RefineArg<'genv>>
source§fn desugar_alias_reft(
&mut self,
alias_reft: &AliasReft,
-) -> Result<AliasReft<'genv>, ErrorGuaranteed>
source§fn desugar_expr(&mut self, expr: &Expr) -> Result<Expr<'genv>, ErrorGuaranteed>
source§fn desugar_exprs(
+) -> Result<AliasReft<'genv>, ErrorGuaranteed>
source§fn desugar_expr(&mut self, expr: &Expr) -> Result<Expr<'genv>, ErrorGuaranteed>
source§fn desugar_exprs(
&mut self,
exprs: &[Expr],
-) -> Result<&'genv [Expr<'genv>], ErrorGuaranteed>
source§fn try_parse_int_lit(
+) -> Result<&'genv [Expr<'genv>], ErrorGuaranteed>
source§fn try_parse_int_lit(
&self,
span: Span,
s: &str,
-) -> Result<i128, ErrorGuaranteed>
source§fn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed>
source§fn emit_err(&self, err: impl Diagnostic<'genv>) -> ErrorGuaranteed
Auto Trait Implementations§
§impl<'a, 'genv, 'tcx> !Freeze for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !RefUnwindSafe for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Send for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Sync for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> Unpin for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !UnwindSafe for RustItemCtxt<'a, 'genv, 'tcx>
Blanket Implementations§
source§impl<T> Any for Twhere
+) -> Result<i128, ErrorGuaranteed>source§fn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed>
source§fn emit_err(&self, err: impl Diagnostic<'genv>) -> ErrorGuaranteed
Auto Trait Implementations§
§impl<'a, 'genv, 'tcx> !Freeze for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !RefUnwindSafe for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Send for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Sync for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> Unpin for RustItemCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !UnwindSafe for RustItemCtxt<'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/desugar/trait.DesugarCtxt.html b/doc/flux_desugar/desugar/trait.DesugarCtxt.html
index e4343a9825..bb80f7d109 100644
--- a/doc/flux_desugar/desugar/trait.DesugarCtxt.html
+++ b/doc/flux_desugar/desugar/trait.DesugarCtxt.html
@@ -1,4 +1,4 @@
-DesugarCtxt in flux_desugar::desugar - Rust Trait flux_desugar::desugar::DesugarCtxt
source · trait DesugarCtxt<'genv, 'tcx: 'genv> {
+DesugarCtxt in flux_desugar::desugar - Rust Trait flux_desugar::desugar::DesugarCtxt
source · trait DesugarCtxt<'genv, 'tcx: 'genv> {
Show 34 methods
// Required methods
fn genv(&self) -> GlobalEnv<'genv, 'tcx>;
fn resolver_output(&self) -> &'genv ResolverOutput;
@@ -64,7 +64,7 @@
&mut self,
res: Res,
args: &[GenericArg],
- ) -> Result<(&'genv [GenericArg<'genv>], &'genv [TypeBinding<'genv>]), ErrorGuaranteed> { ... }
+ ) -> Result<(&'genv [GenericArg<'genv>], &'genv [AssocItemConstraint<'genv>]), ErrorGuaranteed> { ... }
fn desugar_ty(&mut self, ty: &Ty) -> Result<Ty<'genv>, ErrorGuaranteed> { ... }
fn desugar_bty(
&mut self,
@@ -156,42 +156,42 @@
&self,
sort: &BaseSort,
generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
-) -> Sort<'genv>
sourcefn desugar_generic_args(
+) -> Sort<'genv>
sourcefn desugar_generic_args(
&mut self,
res: Res,
args: &[GenericArg],
-) -> Result<(&'genv [GenericArg<'genv>], &'genv [TypeBinding<'genv>]), ErrorGuaranteed>
sourcefn desugar_ty(&mut self, ty: &Ty) -> Result<Ty<'genv>, ErrorGuaranteed>
sourcefn desugar_bty(
+) -> Result<(&'genv [GenericArg<'genv>], &'genv [AssocItemConstraint<'genv>]), ErrorGuaranteed>
sourcefn desugar_ty(&mut self, ty: &Ty) -> Result<Ty<'genv>, ErrorGuaranteed>
sourcefn desugar_bty(
&mut self,
bty: &BaseTy,
-) -> Result<BaseTy<'genv>, ErrorGuaranteed>
sourcefn desugar_path_to_bty(
+) -> Result<BaseTy<'genv>, ErrorGuaranteed>
sourcefn desugar_path_to_bty(
&mut self,
qself: Option<&Ty>,
path: &Path,
-) -> Result<BaseTy<'genv>, ErrorGuaranteed>
sourcefn desugar_qpath(
+) -> Result<BaseTy<'genv>, ErrorGuaranteed>
sourcefn desugar_qpath(
&mut self,
qself: Option<&Ty>,
path: &Path,
-) -> Result<QPath<'genv>, ErrorGuaranteed>
sourcefn desugar_path_segment(
+) -> Result<QPath<'genv>, ErrorGuaranteed>
sourcefn desugar_path_segment(
&mut self,
segment: &PathSegment,
-) -> Result<PathSegment<'genv>, ErrorGuaranteed>
sourcefn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv>
sourcefn mk_lft_hole(&self) -> Lifetime
sourcefn desugar_indices(
+) -> Result<PathSegment<'genv>, ErrorGuaranteed>
sourcefn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv>
sourcefn mk_lft_hole(&self) -> Lifetime
sourcefn desugar_indices(
&mut self,
idxs: &Indices,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
sourcefn desugar_refine_arg(
+) -> Result<RefineArg<'genv>, ErrorGuaranteed>
sourcefn desugar_refine_arg(
&mut self,
arg: &RefineArg,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
sourcefn implicit_param_into_refine_arg(
+) -> Result<RefineArg<'genv>, ErrorGuaranteed>
sourcefn implicit_param_into_refine_arg(
&self,
ident: Ident,
node_id: NodeId,
-) -> Option<RefineArg<'genv>>
sourcefn desugar_alias_reft(
+) -> Option<RefineArg<'genv>>
sourcefn desugar_alias_reft(
&mut self,
alias_reft: &AliasReft,
-) -> Result<AliasReft<'genv>, ErrorGuaranteed>
sourcefn desugar_expr(&mut self, expr: &Expr) -> Result<Expr<'genv>, ErrorGuaranteed>
sourcefn desugar_exprs(
+) -> Result<AliasReft<'genv>, ErrorGuaranteed>
sourcefn desugar_expr(&mut self, expr: &Expr) -> Result<Expr<'genv>, ErrorGuaranteed>
sourcefn desugar_exprs(
&mut self,
exprs: &[Expr],
-) -> Result<&'genv [Expr<'genv>], ErrorGuaranteed>
sourcefn try_parse_int_lit(
+) -> Result<&'genv [Expr<'genv>], ErrorGuaranteed>
sourcefn try_parse_int_lit(
&self,
span: Span,
s: &str,
-) -> Result<i128, ErrorGuaranteed>
sourcefn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed>
sourcefn emit_err(&self, err: impl Diagnostic<'genv>) -> ErrorGuaranteed
Object Safety§
This trait is not object safe.Implementors§
source§impl<'a, 'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for RustItemCtxt<'a, 'genv, 'tcx>
source§impl<'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for FluxItemCtxt<'genv, 'tcx>
\ No newline at end of file
+) -> Result<i128, ErrorGuaranteed>sourcefn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed>
sourcefn emit_err(&self, err: impl Diagnostic<'genv>) -> ErrorGuaranteed
Object Safety§
This trait is not object safe.Implementors§
source§impl<'a, 'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for RustItemCtxt<'a, 'genv, 'tcx>
source§impl<'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for FluxItemCtxt<'genv, 'tcx>
\ No newline at end of file
diff --git a/doc/flux_driver/callbacks/fn.mir_borrowck.html b/doc/flux_driver/callbacks/fn.mir_borrowck.html
index b4075d3386..559b4307cd 100644
--- a/doc/flux_driver/callbacks/fn.mir_borrowck.html
+++ b/doc/flux_driver/callbacks/fn.mir_borrowck.html
@@ -1,4 +1,4 @@
-mir_borrowck in flux_driver::callbacks - Rust Function flux_driver::callbacks::mir_borrowck
source · fn mir_borrowck<'tcx>(
+mir_borrowck in flux_driver::callbacks - Rust Function flux_driver::callbacks::mir_borrowck
source · fn mir_borrowck<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: LocalDefId,
) -> ProvidedValue<'_>
\ No newline at end of file
diff --git a/doc/flux_driver/callbacks/index.html b/doc/flux_driver/callbacks/index.html
index d2a20c0cc8..cf9afec53a 100644
--- a/doc/flux_driver/callbacks/index.html
+++ b/doc/flux_driver/callbacks/index.html
@@ -1 +1 @@
-flux_driver::callbacks - Rust Module flux_driver::callbacks
source · Structs§
Functions§
\ No newline at end of file
+flux_driver::callbacks - Rust Module flux_driver::callbacks
source · Structs§
Functions§
\ 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 072a3509ee..65a93c2656 100644
--- a/doc/flux_driver/callbacks/struct.CrateChecker.html
+++ b/doc/flux_driver/callbacks/struct.CrateChecker.html
@@ -2,10 +2,10 @@
genv: GlobalEnv<'genv, 'tcx>,
cache: QueryCache,
checker_config: CheckerConfig,
-}
Fields§
§genv: GlobalEnv<'genv, 'tcx>
§cache: QueryCache
§checker_config: CheckerConfig
Implementations§
source§impl<'genv, 'tcx> CrateChecker<'genv, 'tcx>
sourcefn new(genv: GlobalEnv<'genv, 'tcx>) -> Self
sourcefn matches_check_def(&self, def_id: LocalDefId) -> bool
sourcefn check_def_catching_bugs(
+}Fields§
§genv: GlobalEnv<'genv, 'tcx>
§cache: QueryCache
§checker_config: CheckerConfig
Implementations§
source§impl<'genv, 'tcx> CrateChecker<'genv, 'tcx>
sourcefn new(genv: GlobalEnv<'genv, 'tcx>) -> Self
sourcefn matches_check_def(&self, def_id: LocalDefId) -> bool
sourcefn check_def_catching_bugs(
&mut self,
def_id: LocalDefId,
-) -> Result<(), ErrorGuaranteed>
sourcefn check_def(&mut self, def_id: LocalDefId) -> Result<(), ErrorGuaranteed>
Auto Trait Implementations§
§impl<'genv, 'tcx> Freeze for CrateChecker<'genv, 'tcx>
§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> Any for Twhere
+) -> Result<(), ErrorGuaranteed>sourcefn check_def(&mut self, def_id: LocalDefId) -> Result<(), ErrorGuaranteed>
Auto Trait Implementations§
§impl<'genv, 'tcx> Freeze for CrateChecker<'genv, 'tcx>
§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> 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/errors/index.html b/doc/flux_fhir_analysis/conv/errors/index.html
index 60fefc46f5..7f4ca41968 100644
--- a/doc/flux_fhir_analysis/conv/errors/index.html
+++ b/doc/flux_fhir_analysis/conv/errors/index.html
@@ -1 +1 @@
-flux_fhir_analysis::conv::errors - Rust Module flux_fhir_analysis::conv::errors
source · Structs§
\ No newline at end of file
+flux_fhir_analysis::conv::errors - Rust Module flux_fhir_analysis::conv::errors
source · Structs§
\ No newline at end of file
diff --git a/doc/flux_fhir_analysis/conv/errors/struct.AmbiguousAssocType.html b/doc/flux_fhir_analysis/conv/errors/struct.AmbiguousAssocType.html
index e969100208..f253ce5433 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.AmbiguousAssocType.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.AmbiguousAssocType.html
@@ -1,8 +1,8 @@
-AmbiguousAssocType in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::AmbiguousAssocType
source · pub(super) struct AmbiguousAssocType {
+AmbiguousAssocType in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::AmbiguousAssocType
source · pub(super) struct AmbiguousAssocType {
span: Span,
name: Ident,
-}
Fields§
§span: Span
§name: Ident
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for AmbiguousAssocTypewhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for AmbiguousAssocType
§impl RefUnwindSafe for AmbiguousAssocType
§impl Send for AmbiguousAssocType
§impl Sync for AmbiguousAssocType
§impl Unpin for AmbiguousAssocType
§impl UnwindSafe for AmbiguousAssocType
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
§name: Ident
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for AmbiguousAssocTypewhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for AmbiguousAssocType
§impl RefUnwindSafe for AmbiguousAssocType
§impl Send for AmbiguousAssocType
§impl Sync for AmbiguousAssocType
§impl Unpin for AmbiguousAssocType
§impl UnwindSafe for AmbiguousAssocType
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/errors/struct.AssocTypeNotFound.html b/doc/flux_fhir_analysis/conv/errors/struct.AssocTypeNotFound.html
index a25a2332ef..5348c0214f 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.AssocTypeNotFound.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.AssocTypeNotFound.html
@@ -1,7 +1,7 @@
-AssocTypeNotFound in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::AssocTypeNotFound
source · pub(super) struct AssocTypeNotFound {
+AssocTypeNotFound in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::AssocTypeNotFound
source · pub(super) struct AssocTypeNotFound {
span: Span,
-}
Fields§
§span: Span
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for AssocTypeNotFoundwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for AssocTypeNotFound
§impl RefUnwindSafe for AssocTypeNotFound
§impl Send for AssocTypeNotFound
§impl Sync for AssocTypeNotFound
§impl Unpin for AssocTypeNotFound
§impl UnwindSafe for AssocTypeNotFound
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for AssocTypeNotFoundwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for AssocTypeNotFound
§impl RefUnwindSafe for AssocTypeNotFound
§impl Send for AssocTypeNotFound
§impl Sync for AssocTypeNotFound
§impl Unpin for AssocTypeNotFound
§impl UnwindSafe for AssocTypeNotFound
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/errors/struct.GenericArgCountMismatch.html b/doc/flux_fhir_analysis/conv/errors/struct.GenericArgCountMismatch.html
index 6795c1acd6..ed66be98aa 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.GenericArgCountMismatch.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.GenericArgCountMismatch.html
@@ -1,15 +1,15 @@
-GenericArgCountMismatch in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericArgCountMismatch
source · pub(super) struct GenericArgCountMismatch {
+GenericArgCountMismatch in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericArgCountMismatch
source · pub(super) struct GenericArgCountMismatch {
span: Span,
found: usize,
expected: usize,
def_descr: &'static str,
-}
Fields§
§span: Span
§found: usize
§expected: usize
§def_descr: &'static str
Implementations§
source§impl GenericArgCountMismatch
sourcepub(super) fn new(
+}Fields§
§span: Span
§found: usize
§expected: usize
§def_descr: &'static str
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericArgCountMismatchwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericArgCountMismatch
§impl RefUnwindSafe for GenericArgCountMismatch
§impl Send for GenericArgCountMismatch
§impl Sync for GenericArgCountMismatch
§impl Unpin for GenericArgCountMismatch
§impl UnwindSafe for GenericArgCountMismatch
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericArgCountMismatchwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericArgCountMismatch
§impl RefUnwindSafe for GenericArgCountMismatch
§impl Send for GenericArgCountMismatch
§impl Sync for GenericArgCountMismatch
§impl Unpin for GenericArgCountMismatch
§impl UnwindSafe for GenericArgCountMismatch
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/errors/struct.InvalidBaseInstance.html b/doc/flux_fhir_analysis/conv/errors/struct.InvalidBaseInstance.html
index 21b1037c94..cf3b82dd94 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.InvalidBaseInstance.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.InvalidBaseInstance.html
@@ -1,7 +1,7 @@
-InvalidBaseInstance in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::InvalidBaseInstance
source · pub(super) struct InvalidBaseInstance {
+InvalidBaseInstance in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::InvalidBaseInstance
source · pub(super) struct InvalidBaseInstance {
span: Span,
-}
Fields§
§span: Span
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for InvalidBaseInstancewhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for InvalidBaseInstance
§impl RefUnwindSafe for InvalidBaseInstance
§impl Send for InvalidBaseInstance
§impl Sync for InvalidBaseInstance
§impl Unpin for InvalidBaseInstance
§impl UnwindSafe for InvalidBaseInstance
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for InvalidBaseInstancewhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for InvalidBaseInstance
§impl RefUnwindSafe for InvalidBaseInstance
§impl Send for InvalidBaseInstance
§impl Sync for InvalidBaseInstance
§impl Unpin for InvalidBaseInstance
§impl UnwindSafe for InvalidBaseInstance
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/errors/struct.TooFewGenericArgs.html b/doc/flux_fhir_analysis/conv/errors/struct.TooFewGenericArgs.html
index 67539aed48..dfb8c799e2 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.TooFewGenericArgs.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.TooFewGenericArgs.html
@@ -1,15 +1,15 @@
-TooFewGenericArgs in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::TooFewGenericArgs
source · pub(super) struct TooFewGenericArgs {
+TooFewGenericArgs in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::TooFewGenericArgs
source · pub(super) struct TooFewGenericArgs {
span: Span,
found: usize,
min: usize,
def_descr: &'static str,
-}
Fields§
§span: Span
§found: usize
§min: usize
§def_descr: &'static str
Implementations§
source§impl TooFewGenericArgs
sourcepub(super) fn new(
+}Fields§
§span: Span
§found: usize
§min: usize
§def_descr: &'static str
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for TooFewGenericArgswhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for TooFewGenericArgs
§impl RefUnwindSafe for TooFewGenericArgs
§impl Send for TooFewGenericArgs
§impl Sync for TooFewGenericArgs
§impl Unpin for TooFewGenericArgs
§impl UnwindSafe for TooFewGenericArgs
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for TooFewGenericArgswhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for TooFewGenericArgs
§impl RefUnwindSafe for TooFewGenericArgs
§impl Send for TooFewGenericArgs
§impl Sync for TooFewGenericArgs
§impl Unpin for TooFewGenericArgs
§impl UnwindSafe for TooFewGenericArgs
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/errors/struct.TooManyGenericArgs.html b/doc/flux_fhir_analysis/conv/errors/struct.TooManyGenericArgs.html
index c6b6d37ac2..cf36f3c0ea 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.TooManyGenericArgs.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.TooManyGenericArgs.html
@@ -1,15 +1,15 @@
-TooManyGenericArgs in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::TooManyGenericArgs
source · pub(super) struct TooManyGenericArgs {
+TooManyGenericArgs in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::TooManyGenericArgs
source · pub(super) struct TooManyGenericArgs {
span: Span,
found: usize,
max: usize,
def_descr: &'static str,
-}
Fields§
§span: Span
§found: usize
§max: usize
§def_descr: &'static str
Implementations§
source§impl TooManyGenericArgs
sourcepub(super) fn new(
+}Fields§
§span: Span
§found: usize
§max: usize
§def_descr: &'static str
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for TooManyGenericArgswhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for TooManyGenericArgs
§impl RefUnwindSafe for TooManyGenericArgs
§impl Send for TooManyGenericArgs
§impl Sync for TooManyGenericArgs
§impl Unpin for TooManyGenericArgs
§impl UnwindSafe for TooManyGenericArgs
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for TooManyGenericArgswhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for TooManyGenericArgs
§impl RefUnwindSafe for TooManyGenericArgs
§impl Send for TooManyGenericArgs
§impl Sync for TooManyGenericArgs
§impl Unpin for TooManyGenericArgs
§impl UnwindSafe for TooManyGenericArgs
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/fn.bug_on_infer_sort.html b/doc/flux_fhir_analysis/conv/fn.bug_on_infer_sort.html
index 2dfd24d8b0..6bd750eb1d 100644
--- a/doc/flux_fhir_analysis/conv/fn.bug_on_infer_sort.html
+++ b/doc/flux_fhir_analysis/conv/fn.bug_on_infer_sort.html
@@ -1 +1 @@
-bug_on_infer_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::bug_on_infer_sort
source · pub(crate) fn bug_on_infer_sort() -> Sort
\ No newline at end of file
+bug_on_infer_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::bug_on_infer_sort
source · pub(crate) fn bug_on_infer_sort() -> Sort
\ No newline at end of file
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_func_decl.html b/doc/flux_fhir_analysis/conv/fn.conv_func_decl.html
index 513367c893..f54931597d 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_func_decl.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_func_decl.html
@@ -1,4 +1,4 @@
-conv_func_decl in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_func_decl
source · pub fn conv_func_decl(
+conv_func_decl in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_func_decl
source · pub fn conv_func_decl(
genv: GlobalEnv<'_, '_>,
func: &SpecFunc<'_>,
) -> QueryResult<SpecFuncDecl>
\ No newline at end of file
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_func_sort.html b/doc/flux_fhir_analysis/conv/fn.conv_func_sort.html
index 24cdc7ad9b..03e1b98055 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_func_sort.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_func_sort.html
@@ -1,4 +1,4 @@
-conv_func_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_func_sort
source · pub(crate) fn conv_func_sort(
+conv_func_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_func_sort
source · pub(crate) fn conv_func_sort(
genv: GlobalEnv<'_, '_>,
fsort: &FuncSort<'_>,
next_infer_sort: &mut impl FnMut() -> Sort,
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_lit.html b/doc/flux_fhir_analysis/conv/fn.conv_lit.html
index fd3b555a50..7f8e56d7a9 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_lit.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_lit.html
@@ -1 +1 @@
-conv_lit in flux_fhir_analysis::conv - Rust
\ No newline at end of file
+conv_lit in flux_fhir_analysis::conv - Rust
\ No newline at end of file
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_poly_func_sort.html b/doc/flux_fhir_analysis/conv/fn.conv_poly_func_sort.html
index 25f1319617..6fca8e7d1e 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_poly_func_sort.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_poly_func_sort.html
@@ -1,4 +1,4 @@
-conv_poly_func_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_poly_func_sort
source · fn conv_poly_func_sort(
+conv_poly_func_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_poly_func_sort
source · fn conv_poly_func_sort(
genv: GlobalEnv<'_, '_>,
sort: &PolyFuncSort<'_>,
next_infer_sort: &mut impl FnMut() -> Sort,
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_sort.html b/doc/flux_fhir_analysis/conv/fn.conv_sort.html
index 3ddc8ca3b6..3779ce84db 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_sort.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_sort.html
@@ -1,4 +1,4 @@
-conv_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_sort
source · pub(crate) fn conv_sort(
+conv_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_sort
source · pub(crate) fn conv_sort(
genv: GlobalEnv<'_, '_>,
sort: &Sort<'_>,
next_infer_sort: &mut impl FnMut() -> Sort,
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_sort_path.html b/doc/flux_fhir_analysis/conv/fn.conv_sort_path.html
index cd48dae9e2..8ae9ba644e 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_sort_path.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_sort_path.html
@@ -1,4 +1,4 @@
-conv_sort_path in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_sort_path
source · fn conv_sort_path(
+conv_sort_path in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_sort_path
source · fn conv_sort_path(
genv: GlobalEnv<'_, '_>,
path: &SortPath<'_>,
next_infer_sort: &mut impl FnMut() -> Sort,
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_sorts.html b/doc/flux_fhir_analysis/conv/fn.conv_sorts.html
index ffab8cf07d..abbd945295 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_sorts.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_sorts.html
@@ -1,4 +1,4 @@
-conv_sorts in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_sorts
source · fn conv_sorts(
+conv_sorts in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_sorts
source · fn conv_sorts(
genv: GlobalEnv<'_, '_>,
sorts: &[Sort<'_>],
next_infer_sort: &mut impl FnMut() -> Sort,
diff --git a/doc/flux_fhir_analysis/conv/fn.conv_un_op.html b/doc/flux_fhir_analysis/conv/fn.conv_un_op.html
index 75c2a05046..aa5e3ae81c 100644
--- a/doc/flux_fhir_analysis/conv/fn.conv_un_op.html
+++ b/doc/flux_fhir_analysis/conv/fn.conv_un_op.html
@@ -1 +1 @@
-conv_un_op in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_un_op
source · fn conv_un_op(op: UnOp) -> UnOp
\ No newline at end of file
+conv_un_op in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::conv_un_op
source · fn conv_un_op(op: UnOp) -> UnOp
\ No newline at end of file
diff --git a/doc/flux_fhir_analysis/conv/fn.def_id_to_param_ty.html b/doc/flux_fhir_analysis/conv/fn.def_id_to_param_ty.html
index 9c8a892327..c5d606c6cd 100644
--- a/doc/flux_fhir_analysis/conv/fn.def_id_to_param_ty.html
+++ b/doc/flux_fhir_analysis/conv/fn.def_id_to_param_ty.html
@@ -1 +1 @@
-def_id_to_param_ty in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::def_id_to_param_ty
source · fn def_id_to_param_ty(genv: GlobalEnv<'_, '_>, def_id: DefId) -> ParamTy
\ No newline at end of file
+def_id_to_param_ty in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::def_id_to_param_ty
source · fn def_id_to_param_ty(genv: GlobalEnv<'_, '_>, def_id: DefId) -> ParamTy
\ No newline at end of file
diff --git a/doc/flux_fhir_analysis/conv/fn.resolve_param_sort.html b/doc/flux_fhir_analysis/conv/fn.resolve_param_sort.html
index 326d8626fa..8e5ec7540d 100644
--- a/doc/flux_fhir_analysis/conv/fn.resolve_param_sort.html
+++ b/doc/flux_fhir_analysis/conv/fn.resolve_param_sort.html
@@ -1,4 +1,4 @@
-resolve_param_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::resolve_param_sort
source · pub(crate) fn resolve_param_sort(
+resolve_param_sort in flux_fhir_analysis::conv - Rust Function flux_fhir_analysis::conv::resolve_param_sort
source · pub(crate) fn resolve_param_sort(
genv: GlobalEnv<'_, '_>,
param: &RefineParam<'_>,
wfckresults: Option<&WfckResults>,
diff --git a/doc/flux_fhir_analysis/conv/index.html b/doc/flux_fhir_analysis/conv/index.html
index f0a8117ca4..e41f31a77d 100644
--- a/doc/flux_fhir_analysis/conv/index.html
+++ b/doc/flux_fhir_analysis/conv/index.html
@@ -1,4 +1,4 @@
-flux_fhir_analysis::conv - Rust Module flux_fhir_analysis::conv
source · Expand description
Conversion from types in fhir
to types in rty
+flux_fhir_analysis::conv - Rust Module flux_fhir_analysis::conv
source · Expand description
Conversion from types in fhir
to types in rty
Conversion assumes well-formedness and will panic if type are not well-formed. Among other things,
well-formedness implies:
diff --git a/doc/flux_fhir_analysis/conv/struct.ConvCtxt.html b/doc/flux_fhir_analysis/conv/struct.ConvCtxt.html
index a850f7756b..f453707481 100644
--- a/doc/flux_fhir_analysis/conv/struct.ConvCtxt.html
+++ b/doc/flux_fhir_analysis/conv/struct.ConvCtxt.html
@@ -1,10 +1,10 @@
-ConvCtxt in flux_fhir_analysis::conv - Rust Struct flux_fhir_analysis::conv::ConvCtxt
source · pub struct ConvCtxt<'a, 'genv, 'tcx> {
+ConvCtxt in flux_fhir_analysis::conv - Rust Struct flux_fhir_analysis::conv::ConvCtxt
source · pub struct ConvCtxt<'a, 'genv, 'tcx> {
genv: GlobalEnv<'genv, 'tcx>,
wfckresults: &'a WfckResults,
next_type_index: u32,
next_region_index: u32,
next_const_index: u32,
-}
Fields§
§genv: GlobalEnv<'genv, 'tcx>
§wfckresults: &'a WfckResults
§next_type_index: u32
§next_region_index: u32
§next_const_index: u32
Implementations§
source§impl<'a, 'genv, 'tcx> ConvCtxt<'a, 'genv, 'tcx>
sourcepub(crate) fn new(
+}Fields§
§genv: GlobalEnv<'genv, 'tcx>
§wfckresults: &'a WfckResults
§next_type_index: u32
§next_region_index: u32
§next_const_index: u32
Implementations§
source§impl<'a, 'genv, 'tcx> ConvCtxt<'a, 'genv, 'tcx>
sourcepub(crate) fn new(
genv: GlobalEnv<'genv, 'tcx>,
wfckresults: &'a WfckResults,
) -> Self
sourcefn conv_generic_bounds(
@@ -13,7 +13,7 @@
bounded_ty_span: Span,
bounded_ty: Ty,
bounds: GenericBounds<'_>,
-) -> QueryResult<Vec<Clause>>
sourcefn conv_poly_trait_ref(
+) -> QueryResult<Vec<Clause>>
sourcefn conv_poly_trait_ref(
&mut self,
env: &mut Env,
span: Span,
@@ -21,142 +21,138 @@
poly_trait_ref: &PolyTraitRef<'_>,
clauses: &mut Vec<Clause>,
) -> QueryResult
Converts a T: Trait<T0, ..., A0 = S0, ...>
bound
-sourcefn conv_type_binding(
+
sourcefn conv_assoc_item_constraint(
&mut self,
env: &mut Env,
- trait_ref: &TraitRef,
- binding: &TypeBinding<'_>,
+ poly_trait_ref: &PolyTraitRef,
+ constraint: &AssocItemConstraint<'_>,
clauses: &mut Vec<Clause>,
-) -> QueryResult
sourcefn conv_trait_bound_generic_param(
+) -> QueryResult
sourcefn conv_trait_bound_generic_param(
&self,
param: &GenericParam<'_>,
-) -> QueryResult<BoundVariableKind>
sourcefn conv_fn_bound(
+) -> QueryResult<BoundVariableKind>
sourcefn conv_fn_bound(
&mut self,
env: &mut Env,
self_ty: &Ty,
trait_ref: &PolyTraitRef<'_>,
kind: ClosureKind,
clauses: &mut Vec<Clause>,
-) -> QueryResult
sourcefn trait_defines_associated_item_named(
+) -> QueryResult
sourcefn trait_defines_associated_item_named(
&self,
trait_def_id: DefId,
assoc_kind: AssocKind,
assoc_name: Ident,
-) -> Option<&AssocItem>
sourcefn conv_fn_output(
+) -> Option<&AssocItem>
sourcefn conv_fn_output(
&mut self,
env: &mut Env,
output: &FnOutput<'_>,
-) -> QueryResult<Binder<FnOutput>>
sourcepub(crate) fn conv_enum_variants(
+) -> QueryResult<Binder<FnOutput>>
sourcepub(crate) fn conv_enum_variants(
genv: GlobalEnv<'_, '_>,
adt_def_id: MaybeExternId,
enum_def: &EnumDef<'_>,
wfckresults: &WfckResults,
-) -> QueryResult<Vec<PolyVariant>>
sourcefn conv_enum_variant(
+) -> QueryResult<Vec<PolyVariant>>
sourcefn conv_enum_variant(
genv: GlobalEnv<'_, '_>,
adt_def_id: MaybeExternId,
variant: &VariantDef<'_>,
wfckresults: &WfckResults,
-) -> QueryResult<PolyVariant>
sourcepub(crate) fn conv_struct_variant(
+) -> QueryResult<PolyVariant>
sourcepub(crate) fn conv_struct_variant(
genv: GlobalEnv<'_, '_>,
adt_def_id: MaybeExternId,
struct_def: &StructDef<'_>,
wfckresults: &WfckResults,
-) -> QueryResult<Opaqueness<Vec<PolyVariant>>>
sourcefn conv_requires(
+) -> QueryResult<Opaqueness<Vec<PolyVariant>>>
sourcefn conv_requires(
&mut self,
env: &mut Env,
requires: &Requires<'_>,
-) -> QueryResult<Expr>
sourcefn conv_ensures(
+) -> QueryResult<Expr>
sourcefn conv_ensures(
&mut self,
env: &mut Env,
ensures: &Ensures<'_>,
-) -> QueryResult<Ensures>
sourcefn conv_alias_reft(
+) -> QueryResult<Ensures>
sourcefn conv_alias_reft(
&mut self,
env: &mut Env,
alias: &AliasReft<'_>,
-) -> QueryResult<AliasReft>
sourcefn conv_ty(&mut self, env: &mut Env, ty: &Ty<'_>) -> QueryResult<Ty>
sourcefn conv_opaque_ty(
+) -> QueryResult<AliasReft>
sourcefn conv_ty(&mut self, env: &mut Env, ty: &Ty<'_>) -> QueryResult<Ty>
sourcefn conv_opaque_ty(
&mut self,
env: &mut Env,
item_id: ItemId,
lifetimes: &[GenericArg<'_>],
reft_args: &[RefineArg<'_>],
) -> QueryResult<Ty>
sourcefn conv_trait_object(
+
sourcefn conv_trait_object(
&mut self,
env: &mut Env,
trait_bounds: &[PolyTraitRef<'_>],
lifetime: Lifetime,
-) -> QueryResult<Ty>
sourcefn conv_base_ty(&mut self, env: &mut Env, bty: &BaseTy<'_>) -> QueryResult<Ty>
sourcefn conv_assoc_path(
+) -> QueryResult<Ty>
sourcefn conv_base_ty(&mut self, env: &mut Env, bty: &BaseTy<'_>) -> QueryResult<Ty>
sourcefn conv_assoc_path(
&mut self,
env: &mut Env,
qself: &Ty<'_>,
assoc_segment: &PathSegment<'_>,
-) -> QueryResult<Ty>
sourcefn generics_of_owner(&self) -> QueryResult<Generics>
Return the generics of the containing owner item
-sourcefn probe_type_param_bounds(
+) -> QueryResult<Ty>
sourcefn generics_of_owner(&self) -> QueryResult<Generics>
Return the generics of the containing owner item
+sourcefn probe_type_param_bounds(
&self,
param_did: LocalDefId,
assoc_ident: Ident,
-) -> GenericPredicates<'tcx>
sourcefn probe_single_bound_for_assoc_item<I>(
+) -> GenericPredicates<'tcx>
sourcefn probe_single_bound_for_assoc_item<I>(
&self,
all_candidates: impl Fn() -> I,
assoc_ident: Ident,
-) -> Result<TraitRef<'tcx>, ErrorGuaranteed>where
- I: Iterator<Item = PolyTraitRef<'tcx>>,
sourcefn refine_trait_ref(
- &self,
- item_generics: &Generics,
- trait_ref: TraitRef<'tcx>,
-) -> QueryResult<TraitRef>
sourcefn conv_lifetime(&mut self, env: &Env, lft: Lifetime) -> Region
sourcefn conv_const_arg(&mut self, cst: ConstArg) -> Const
sourcefn conv_ty_ctor(
+) -> Result<PolyTraitRef<'tcx>, ErrorGuaranteed>where
+ I: Iterator<Item = PolyTraitRef<'tcx>>,
sourcefn conv_lifetime(&mut self, env: &Env, lft: Lifetime) -> Region
sourcefn conv_const_arg(&mut self, cst: ConstArg) -> Const
sourcefn conv_ty_ctor(
&mut self,
env: &mut Env,
path: &Path<'_>,
-) -> QueryResult<TyCtor>
sourcepub fn conv_generic_args(
+) -> QueryResult<TyCtor>
sourcepub fn conv_generic_args(
&mut self,
env: &mut Env,
def_id: DefId,
segment: &PathSegment<'_>,
-) -> QueryResult<Vec<GenericArg>>
sourcefn conv_generic_args_into(
+) -> QueryResult<Vec<GenericArg>>
sourcefn conv_generic_args_into(
&mut self,
env: &mut Env,
def_id: DefId,
segment: &PathSegment<'_>,
into: &mut Vec<GenericArg>,
-) -> QueryResult
sourcefn check_generic_arg_count(
+) -> QueryResult
sourcefn check_generic_arg_count(
&mut self,
generics: &Generics,
def_id: DefId,
segment: &PathSegment<'_>,
-) -> QueryResult
sourcefn fill_generic_args_defaults(
+) -> QueryResult
sourcefn fill_generic_args_defaults(
&self,
def_id: DefId,
into: &mut Vec<GenericArg>,
-) -> QueryResult
sourcefn conv_ty_to_generic_arg(
+) -> QueryResult
sourcefn conv_ty_to_generic_arg(
&mut self,
env: &mut Env,
param: &GenericParamDef,
ty: &Ty<'_>,
-) -> QueryResult<GenericArg>
sourcefn ty_to_generic_arg(
+) -> QueryResult<GenericArg>
sourcefn ty_to_generic_arg(
&self,
kind: GenericParamDefKind,
span: Span,
ty: &Ty,
-) -> QueryResult<GenericArg>
sourcefn ty_to_base_generic(&self, span: Span, ty: &Ty) -> QueryResult<GenericArg>
Convert an rty::Ty
into a rty::GenericArg::Base
if possible or raise an error
+) -> QueryResult<GenericArg>sourcefn ty_to_base_generic(&self, span: Span, ty: &Ty) -> QueryResult<GenericArg>
Convert an rty::Ty
into a rty::GenericArg::Base
if possible or raise an error
if the type cannot be converted into a rty::SubsetTy
.
-sourcefn resolve_param_sort(&self, param: &RefineParam<'_>) -> QueryResult<Sort>
sourcefn next_type_vid(&mut self) -> TyVid
sourcefn next_region_vid(&mut self) -> RegionVid
sourcefn next_const_vid(&mut self) -> ConstVid
sourcefn emit<'b>(&'b self, err: impl Diagnostic<'b>) -> ErrorGuaranteed
source§impl ConvCtxt<'_, '_, '_>
sourcefn owner(&self) -> FluxOwnerId
sourcefn conv_refine_arg(
+
sourcefn resolve_param_sort(&self, param: &RefineParam<'_>) -> QueryResult<Sort>
sourcefn next_type_vid(&mut self) -> TyVid
sourcefn next_region_vid(&mut self) -> RegionVid
sourcefn next_const_vid(&mut self) -> ConstVid
sourcefn emit<'b>(&'b self, err: impl Diagnostic<'b>) -> ErrorGuaranteed
source§impl ConvCtxt<'_, '_, '_>
sourcefn owner(&self) -> FluxOwnerId
sourcefn conv_refine_arg(
&mut self,
env: &mut Env,
arg: &RefineArg<'_>,
-) -> QueryResult<Expr>
sourcefn conv_expr(&mut self, env: &mut Env, expr: &Expr<'_>) -> QueryResult<Expr>
sourcefn conv_bin_op(&self, op: BinOp, fhir_id: FhirId) -> BinOp
sourcefn bin_rel_sort(&self, fhir_id: FhirId) -> Sort
sourcefn conv_func(&self, env: &Env, func: &PathExpr<'_>) -> Expr
sourcefn conv_exprs(
+) -> QueryResult<Expr>
sourcefn conv_expr(&mut self, env: &mut Env, expr: &Expr<'_>) -> QueryResult<Expr>
sourcefn conv_bin_op(&self, op: BinOp, fhir_id: FhirId) -> BinOp
sourcefn bin_rel_sort(&self, fhir_id: FhirId) -> Sort
sourcefn conv_func(&self, env: &Env, func: &PathExpr<'_>) -> Expr
sourcefn conv_exprs(
&mut self,
env: &mut Env,
exprs: &[Expr<'_>],
-) -> QueryResult<List<Expr>>
sourcefn conv_invariants(
+) -> QueryResult<List<Expr>>
sourcefn conv_invariants(
&mut self,
env: &mut Env,
invariants: &[Expr<'_>],
-) -> QueryResult<Vec<Invariant>>
sourcefn conv_invariant(
+) -> QueryResult<Vec<Invariant>>
sourcefn conv_invariant(
&mut self,
env: &mut Env,
invariant: &Expr<'_>,
-) -> QueryResult<Invariant>
sourcefn add_coercions(&self, expr: Expr, fhir_id: FhirId) -> Expr
Auto Trait Implementations§
§impl<'a, 'genv, 'tcx> Freeze for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !RefUnwindSafe for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Send for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Sync for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> Unpin for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !UnwindSafe for ConvCtxt<'a, 'genv, 'tcx>
Blanket Implementations§
source§impl<T> Any for Twhere
+) -> QueryResult<Invariant>sourcefn add_coercions(&self, expr: Expr, fhir_id: FhirId) -> Expr
Auto Trait Implementations§
§impl<'a, 'genv, 'tcx> Freeze for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !RefUnwindSafe for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Send for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !Sync for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> Unpin for ConvCtxt<'a, 'genv, 'tcx>
§impl<'a, 'genv, 'tcx> !UnwindSafe for ConvCtxt<'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_fhir_analysis/conv/struct.Env.html b/doc/flux_fhir_analysis/conv/struct.Env.html
index ae182f4df2..49870a21fb 100644
--- a/doc/flux_fhir_analysis/conv/struct.Env.html
+++ b/doc/flux_fhir_analysis/conv/struct.Env.html
@@ -1,11 +1,11 @@
Env in flux_fhir_analysis::conv - Rust Struct flux_fhir_analysis::conv::Env
source · pub(crate) struct Env {
layers: Vec<Layer>,
early_bound: FxIndexMap<ParamId, (Symbol, Sort)>,
-}
Fields§
§layers: Vec<Layer>
§early_bound: FxIndexMap<ParamId, (Symbol, Sort)>
Implementations§
source§impl Env
sourcepub(crate) fn new(
+}Fields§
§layers: Vec<Layer>
§early_bound: FxIndexMap<ParamId, (Symbol, Sort)>
Implementations§
source§impl Env
sourcepub(crate) fn new(
genv: GlobalEnv<'_, '_>,
early_bound: &[RefineParam<'_>],
wfckresults: &WfckResults,
-) -> QueryResult<Self>
sourcefn depth(&self) -> usize
sourcefn push_layer(&mut self, layer: Layer)
sourcefn pop_layer(&mut self) -> Layer
sourcefn top_layer(&self) -> &Layer
sourcefn lookup(&self, var: &PathExpr<'_>) -> LookupResult<'_>
sourcefn to_early_bound_vars(&self) -> List<Expr>
Auto Trait Implementations§
§impl Freeze for Env
§impl RefUnwindSafe for Env
§impl Send for Env
§impl Sync for Env
§impl Unpin for Env
§impl UnwindSafe for Env
Blanket Implementations§
Auto Trait Implementations§
§impl Freeze for Env
§impl RefUnwindSafe for Env
§impl Send for Env
§impl Sync for Env
§impl Unpin for Env
§impl UnwindSafe for Env
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.Layer.html b/doc/flux_fhir_analysis/conv/struct.Layer.html
index e166427d06..82595dc809 100644
--- a/doc/flux_fhir_analysis/conv/struct.Layer.html
+++ b/doc/flux_fhir_analysis/conv/struct.Layer.html
@@ -1,25 +1,25 @@
Layer in flux_fhir_analysis::conv - Rust