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 c8bbbf2709..d9c53e4d07 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 7b0b7aeb9f..7a6a834c4b 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 6d1dea7f93..ecc6e1397f 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],
@@ -31,59 +31,59 @@
) -> impl ExactSizeIterator<Item = (Ident, ParamId, ParamKind)>
source§fn implicit_params_to_params(
&self,
scope: NodeId,
-) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn implicit_params_to_args(&self, scope: NodeId) -> &'genv [RefineArg<'genv>]
source§fn desugar_refine_params(
+) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn implicit_params_to_args(&self, scope: NodeId) -> &'genv [Expr<'genv>]
source§fn desugar_refine_params(
&self,
params: &[RefineParam],
-) -> &'genv [RefineParam<'genv>]
source§fn desugar_refine_params_iter(
+) -> &'genv [RefineParam<'genv>]
source§fn desugar_refine_params_iter(
&self,
params: &[RefineParam],
-) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn desugar_sort(
+) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn desugar_sort(
&self,
sort: &Sort,
generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
-) -> Sort<'genv>
source§fn desugar_base_sort(
+) -> Sort<'genv>
source§fn desugar_base_sort(
&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 [AssocItemConstraint<'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<Expr<'genv>, ErrorGuaranteed>
source§fn desugar_refine_arg(
&mut self,
arg: &RefineArg,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
+) -> Result<Expr<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
&self,
ident: Ident,
node_id: NodeId,
-) -> Option<RefineArg<'genv>>
source§fn desugar_alias_reft(
+) -> Option<Expr<'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 54c8e1ad58..04387cccb7 100644
--- a/doc/flux_desugar/desugar/struct.RustItemCtxt.html
+++ b/doc/flux_desugar/desugar/struct.RustItemCtxt.html
@@ -108,7 +108,7 @@
) -> Result<Item<'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: Item<'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: Item<'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],
@@ -132,59 +132,59 @@
) -> impl ExactSizeIterator<Item = (Ident, ParamId, ParamKind)>
source§fn implicit_params_to_params(
&self,
scope: NodeId,
-) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn implicit_params_to_args(&self, scope: NodeId) -> &'genv [RefineArg<'genv>]
source§fn desugar_refine_params(
+) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn implicit_params_to_args(&self, scope: NodeId) -> &'genv [Expr<'genv>]
source§fn desugar_refine_params(
&self,
params: &[RefineParam],
-) -> &'genv [RefineParam<'genv>]
source§fn desugar_refine_params_iter(
+) -> &'genv [RefineParam<'genv>]
source§fn desugar_refine_params_iter(
&self,
params: &[RefineParam],
-) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn desugar_sort(
+) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
source§fn desugar_sort(
&self,
sort: &Sort,
generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
-) -> Sort<'genv>
source§fn desugar_base_sort(
+) -> Sort<'genv>
source§fn desugar_base_sort(
&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 [AssocItemConstraint<'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<Expr<'genv>, ErrorGuaranteed>
source§fn desugar_refine_arg(
&mut self,
arg: &RefineArg,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
+) -> Result<Expr<'genv>, ErrorGuaranteed>
source§fn implicit_param_into_refine_arg(
&self,
ident: Ident,
node_id: NodeId,
-) -> Option<RefineArg<'genv>>
source§fn desugar_alias_reft(
+) -> Option<Expr<'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 9552cb1078..96c0f112cd 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;
@@ -38,10 +38,7 @@
&self,
scope: NodeId,
) -> impl ExactSizeIterator<Item = RefineParam<'genv>> { ... }
- fn implicit_params_to_args(
- &self,
- scope: NodeId,
- ) -> &'genv [RefineArg<'genv>] { ... }
+ fn implicit_params_to_args(&self, scope: NodeId) -> &'genv [Expr<'genv>] { ... }
fn desugar_refine_params(
&self,
params: &[RefineParam],
@@ -89,16 +86,16 @@
fn desugar_indices(
&mut self,
idxs: &Indices,
- ) -> Result<RefineArg<'genv>, ErrorGuaranteed> { ... }
+ ) -> Result<Expr<'genv>, ErrorGuaranteed> { ... }
fn desugar_refine_arg(
&mut self,
arg: &RefineArg,
- ) -> Result<RefineArg<'genv>, ErrorGuaranteed> { ... }
+ ) -> Result<Expr<'genv>, ErrorGuaranteed> { ... }
fn implicit_param_into_refine_arg(
&self,
ident: Ident,
node_id: NodeId,
- ) -> Option<RefineArg<'genv>> { ... }
+ ) -> Option<Expr<'genv>> { ... }
fn desugar_alias_reft(
&mut self,
alias_reft: &AliasReft,
@@ -142,56 +139,56 @@
) -> impl ExactSizeIterator<Item = (Ident, ParamId, ParamKind)>
sourcefn implicit_params_to_params(
&self,
scope: NodeId,
-) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
sourcefn implicit_params_to_args(&self, scope: NodeId) -> &'genv [RefineArg<'genv>]
sourcefn desugar_refine_params(
+) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
sourcefn implicit_params_to_args(&self, scope: NodeId) -> &'genv [Expr<'genv>]
sourcefn desugar_refine_params(
&self,
params: &[RefineParam],
-) -> &'genv [RefineParam<'genv>]
sourcefn desugar_refine_params_iter(
+) -> &'genv [RefineParam<'genv>]
sourcefn desugar_refine_params_iter(
&self,
params: &[RefineParam],
-) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
sourcefn desugar_sort(
+) -> impl ExactSizeIterator<Item = RefineParam<'genv>>
sourcefn desugar_sort(
&self,
sort: &Sort,
generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
-) -> Sort<'genv>
sourcefn desugar_base_sort(
+) -> Sort<'genv>
sourcefn desugar_base_sort(
&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 [AssocItemConstraint<'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<Expr<'genv>, ErrorGuaranteed>
sourcefn desugar_refine_arg(
&mut self,
arg: &RefineArg,
-) -> Result<RefineArg<'genv>, ErrorGuaranteed>
sourcefn implicit_param_into_refine_arg(
+) -> Result<Expr<'genv>, ErrorGuaranteed>
sourcefn implicit_param_into_refine_arg(
&self,
ident: Ident,
node_id: NodeId,
-) -> Option<RefineArg<'genv>>
sourcefn desugar_alias_reft(
+) -> Option<Expr<'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_fhir_analysis/conv/errors/index.html b/doc/flux_fhir_analysis/conv/errors/index.html
index 012f5265e6..e970619154 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 25518bbf07..56bb33a2d1 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 3dcd0b7ca6..5455016a00 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 9ab516ba63..3d4db084a1 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.GenericsOnPrimitiveSort.html b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnPrimitiveSort.html
index b9342363ae..f6b6dbd895 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnPrimitiveSort.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnPrimitiveSort.html
@@ -1,15 +1,15 @@
-GenericsOnPrimitiveSort in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericsOnPrimitiveSort
source · pub(super) struct GenericsOnPrimitiveSort {
+GenericsOnPrimitiveSort in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericsOnPrimitiveSort
source · pub(super) struct GenericsOnPrimitiveSort {
span: Span,
name: &'static str,
found: usize,
expected: usize,
-}
Fields§
§span: Span
§name: &'static str
§found: usize
§expected: usize
Implementations§
source§impl GenericsOnPrimitiveSort
sourcepub(super) fn new(
+}Fields§
§span: Span
§name: &'static str
§found: usize
§expected: usize
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnPrimitiveSortwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnPrimitiveSort
§impl RefUnwindSafe for GenericsOnPrimitiveSort
§impl Send for GenericsOnPrimitiveSort
§impl Sync for GenericsOnPrimitiveSort
§impl Unpin for GenericsOnPrimitiveSort
§impl UnwindSafe for GenericsOnPrimitiveSort
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnPrimitiveSortwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnPrimitiveSort
§impl RefUnwindSafe for GenericsOnPrimitiveSort
§impl Send for GenericsOnPrimitiveSort
§impl Sync for GenericsOnPrimitiveSort
§impl Unpin for GenericsOnPrimitiveSort
§impl UnwindSafe for GenericsOnPrimitiveSort
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.GenericsOnSelf.html b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnSelf.html
index 9d7acd4a01..625ade2454 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnSelf.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnSelf.html
@@ -1,8 +1,8 @@
-GenericsOnSelf in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericsOnSelf
source · pub(super) struct GenericsOnSelf {
+GenericsOnSelf in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericsOnSelf
source · pub(super) struct GenericsOnSelf {
span: Span,
found: usize,
-}
Fields§
§span: Span
§found: usize
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnSelfwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnSelf
§impl RefUnwindSafe for GenericsOnSelf
§impl Send for GenericsOnSelf
§impl Sync for GenericsOnSelf
§impl Unpin for GenericsOnSelf
§impl UnwindSafe for GenericsOnSelf
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
§found: usize
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnSelfwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnSelf
§impl RefUnwindSafe for GenericsOnSelf
§impl Send for GenericsOnSelf
§impl Sync for GenericsOnSelf
§impl Unpin for GenericsOnSelf
§impl UnwindSafe for GenericsOnSelf
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.GenericsOnTyParam.html b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnTyParam.html
index 159c4c2a77..4b1cea22eb 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnTyParam.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnTyParam.html
@@ -1,8 +1,8 @@
-GenericsOnTyParam in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericsOnTyParam
source · pub(super) struct GenericsOnTyParam {
+GenericsOnTyParam in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::GenericsOnTyParam
source · pub(super) struct GenericsOnTyParam {
span: Span,
found: usize,
-}
Fields§
§span: Span
§found: usize
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnTyParamwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnTyParam
§impl RefUnwindSafe for GenericsOnTyParam
§impl Send for GenericsOnTyParam
§impl Sync for GenericsOnTyParam
§impl Unpin for GenericsOnTyParam
§impl UnwindSafe for GenericsOnTyParam
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
§found: usize
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnTyParamwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnTyParam
§impl RefUnwindSafe for GenericsOnTyParam
§impl Send for GenericsOnTyParam
§impl Sync for GenericsOnTyParam
§impl Unpin for GenericsOnTyParam
§impl UnwindSafe for GenericsOnTyParam
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.GenericsOnUserDefinedOpaqueSort.html b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnUserDefinedOpaqueSort.html
index b1ccbd50dd..9429eae069 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnUserDefinedOpaqueSort.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.GenericsOnUserDefinedOpaqueSort.html
@@ -1,8 +1,8 @@
-GenericsOnUserDefinedOpaqueSort in flux_fhir_analysis::conv::errors - Rust pub(super) struct GenericsOnUserDefinedOpaqueSort {
+GenericsOnUserDefinedOpaqueSort in flux_fhir_analysis::conv::errors - Rust pub(super) struct GenericsOnUserDefinedOpaqueSort {
span: Span,
found: usize,
-}
Fields§
§span: Span
§found: usize
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnUserDefinedOpaqueSortwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnUserDefinedOpaqueSort
§impl RefUnwindSafe for GenericsOnUserDefinedOpaqueSort
§impl Send for GenericsOnUserDefinedOpaqueSort
§impl Sync for GenericsOnUserDefinedOpaqueSort
§impl Unpin for GenericsOnUserDefinedOpaqueSort
§impl UnwindSafe for GenericsOnUserDefinedOpaqueSort
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
§found: usize
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for GenericsOnUserDefinedOpaqueSortwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for GenericsOnUserDefinedOpaqueSort
§impl RefUnwindSafe for GenericsOnUserDefinedOpaqueSort
§impl Send for GenericsOnUserDefinedOpaqueSort
§impl Sync for GenericsOnUserDefinedOpaqueSort
§impl Unpin for GenericsOnUserDefinedOpaqueSort
§impl UnwindSafe for GenericsOnUserDefinedOpaqueSort
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 0001d210c8..f818e7512a 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.RefinedUnrefinableType.html b/doc/flux_fhir_analysis/conv/errors/struct.RefinedUnrefinableType.html
index 3eca929054..a25d1cd2b1 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.RefinedUnrefinableType.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.RefinedUnrefinableType.html
@@ -1,7 +1,7 @@
-RefinedUnrefinableType in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::RefinedUnrefinableType
source · pub(super) struct RefinedUnrefinableType {
+RefinedUnrefinableType in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::RefinedUnrefinableType
source · pub(super) struct RefinedUnrefinableType {
span: Span,
-}
Fields§
§span: Span
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for RefinedUnrefinableTypewhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for RefinedUnrefinableType
§impl RefUnwindSafe for RefinedUnrefinableType
§impl Send for RefinedUnrefinableType
§impl Sync for RefinedUnrefinableType
§impl Unpin for RefinedUnrefinableType
§impl UnwindSafe for RefinedUnrefinableType
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for RefinedUnrefinableTypewhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for RefinedUnrefinableType
§impl RefUnwindSafe for RefinedUnrefinableType
§impl Send for RefinedUnrefinableType
§impl Sync for RefinedUnrefinableType
§impl Unpin for RefinedUnrefinableType
§impl UnwindSafe for RefinedUnrefinableType
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 d370e94cf4..99d63eb31e 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 b5c85ad2a2..04f1c7eb4a 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/errors/struct.TooManyGenericsOnSort.html b/doc/flux_fhir_analysis/conv/errors/struct.TooManyGenericsOnSort.html
index 43f1a815bb..14da5f1f8b 100644
--- a/doc/flux_fhir_analysis/conv/errors/struct.TooManyGenericsOnSort.html
+++ b/doc/flux_fhir_analysis/conv/errors/struct.TooManyGenericsOnSort.html
@@ -1,16 +1,16 @@
-TooManyGenericsOnSort in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::TooManyGenericsOnSort
source · pub(super) struct TooManyGenericsOnSort {
+TooManyGenericsOnSort in flux_fhir_analysis::conv::errors - Rust Struct flux_fhir_analysis::conv::errors::TooManyGenericsOnSort
source · pub(super) struct TooManyGenericsOnSort {
span: Span,
found: usize,
max: usize,
def_descr: &'static str,
-}
Fields§
§span: Span
§found: usize
§max: usize
§def_descr: &'static str
Implementations§
source§impl TooManyGenericsOnSort
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 TooManyGenericsOnSortwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for TooManyGenericsOnSort
§impl RefUnwindSafe for TooManyGenericsOnSort
§impl Send for TooManyGenericsOnSort
§impl Sync for TooManyGenericsOnSort
§impl Unpin for TooManyGenericsOnSort
§impl UnwindSafe for TooManyGenericsOnSort
Blanket Implementations§
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for TooManyGenericsOnSortwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for TooManyGenericsOnSort
§impl RefUnwindSafe for TooManyGenericsOnSort
§impl Send for TooManyGenericsOnSort
§impl Sync for TooManyGenericsOnSort
§impl Unpin for TooManyGenericsOnSort
§impl UnwindSafe for TooManyGenericsOnSort
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 ececcd90c1..533856ea8b 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::