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 53dacd8e04..c8bbbf2709 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 62164808b0..7b0b7aeb9f 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
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],
@@ -79,11 +79,11 @@
) -> 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 889990164d..54c8e1ad58 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],
@@ -180,11 +180,11 @@
) -> 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 e365434d24..9552cb1078 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;
@@ -190,8 +190,8 @@
) -> 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>
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/help.html b/doc/help.html
index 16b24c57d9..99ab7624d4 100644
--- a/doc/help.html
+++ b/doc/help.html
@@ -1 +1 @@
-Help Rustdoc help
BackHelp Rustdoc help
BackIndex of crates Index of crates Settings Rustdoc settings
BackSettings Rustdoc settings
Backuse std::iter;
use flux_common::{bug, dbg, index::IndexGen, iter::IterExt, span_bug};
@@ -2993,6 +2994,7 @@
}
fn try_parse_int_lit(&self, span: Span, s: &str) -> Result<i128> {
+ let s = s.replace("_", "");
let parsed_int = if s.len() <= 2 {
s.parse::<i128>()
} else {