Function flux_desugar::desugar::resolve_num_const
source · fn resolve_num_const(typ: Ident, name: Ident) -> Option<QPathRes<'static>>For example if you have code like in path/to/file.rs
+#![allow(unused)] +fn main() { +#[extern_spec] +#[flux::refined_by(elems: Set<T>)] +struct HashSet<T, S = RandomState>; +}
and you want to see what the extern_spec macro expands it out to, then run
cargo x run -- -Zunpretty=expanded path/to/file.rs
+Or you can run the xtask command directly
cargo x expand path/to/file.rs
fn resolve_num_const(typ: Ident, name: Ident) -> Option<QPathRes<'static>>fn resolve_num_const(typ: Ident, name: Ident) -> Option<QPathRes<'static>>macro_rules! define_resolve_num_const { +define_resolve_num_const in 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 25675d0133..8f0af6637c 100644 --- a/doc/flux_desugar/desugar/struct.FluxItemCtxt.html +++ b/doc/flux_desugar/desugar/struct.FluxItemCtxt.html @@ -2,7 +2,7 @@ genv: &'a GlobalEnv<'a, 'tcx>, local_id_gen: IndexGen<ItemLocalId>, owner: Symbol, -}
genv: &'a GlobalEnv<'a, 'tcx>§local_id_gen: IndexGen<ItemLocalId>§owner: Symbolgenv: &'a GlobalEnv<'a, 'tcx>§local_id_gen: IndexGen<ItemLocalId>§owner: SymbolReturns the argument unchanged.
diff --git a/doc/flux_desugar/desugar/struct.RustItemCtxt.html b/doc/flux_desugar/desugar/struct.RustItemCtxt.html index beeafa62ac..1c7aed6315 100644 --- a/doc/flux_desugar/desugar/struct.RustItemCtxt.html +++ b/doc/flux_desugar/desugar/struct.RustItemCtxt.html @@ -189,7 +189,7 @@ &mut self, ret: &VariantRet, env: &mut Env<Param> -) -> Result<VariantRet, ErrorGuaranteed>Returns the argument unchanged.
diff --git a/doc/flux_desugar/desugar/trait.DesugarCtxt.html b/doc/flux_desugar/desugar/trait.DesugarCtxt.html index a67d735450..e61d20e6a1 100644 --- a/doc/flux_desugar/desugar/trait.DesugarCtxt.html +++ b/doc/flux_desugar/desugar/trait.DesugarCtxt.html @@ -1,4 +1,4 @@ -trait DesugarCtxt<'a, 'tcx: 'a> {
+DesugarCtxt in flux_desugar::desugar - Rust Trait flux_desugar::desugar::DesugarCtxt
source · trait DesugarCtxt<'a, 'tcx: 'a> {
// Required methods
fn genv(&self) -> &'a GlobalEnv<'a, 'tcx>;
fn next_fhir_id(&self) -> FhirId;
@@ -14,6 +14,11 @@
env: &mut Env<Param>,
exprs: &[Expr]
) -> Result<Vec<Expr>, ErrorGuaranteed> { ... }
+ fn try_parse_int_lit(
+ &self,
+ span: Span,
+ s: &str
+ ) -> Result<i128, ErrorGuaranteed> { ... }
fn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed> { ... }
fn resolve_func(
&self,
@@ -39,16 +44,20 @@
&self,
env: &mut Env<Param>,
exprs: &[Expr]
-) -> Result<Vec<Expr>, ErrorGuaranteed>
sourcefn desugar_lit(&self, span: Span, lit: Lit) -> Result<Lit, ErrorGuaranteed>
sourcefn resolve_func(
+) -> Result<Vec<Expr>, 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 resolve_func(
&self,
env: &Env<Param>,
func: Ident
-) -> Result<FuncRes<'a>, ErrorGuaranteed>
sourcefn resolve_qpath(
+) -> Result<FuncRes<'a>, ErrorGuaranteed>
sourcefn resolve_qpath(
&self,
env: &Env<Param>,
qpath: &QPathExpr
-) -> Result<QPathRes<'a>, ErrorGuaranteed>
sourcefn resolve_loc(
+) -> Result<QPathRes<'a>, ErrorGuaranteed>
sourcefn resolve_loc(
&self,
env: &Env<Param>,
loc: Ident
-) -> Result<Ident, ErrorGuaranteed>
sourcefn emit_err(&self, err: impl IntoDiagnostic<'a>) -> ErrorGuaranteed
Object Safety§
This trait is not object safe.Implementors§
source§impl<'a, 'tcx> DesugarCtxt<'a, 'tcx> for FluxItemCtxt<'a, 'tcx>
source§impl<'a, 'tcx> DesugarCtxt<'a, 'tcx> for RustItemCtxt<'a, 'tcx>
tcx: TyCtxt<'tcx>§sess: &'sess FluxSession§cstore: Box<CrateStoreDyn>§map: Map§queries: Queries<'tcx>tcx: TyCtxt<'tcx>§sess: &'sess FluxSession§cstore: Box<CrateStoreDyn>§map: Map§queries: Queries<'tcx>Whether values of this sort can be compared for equality.
For now all sort constructors have equality if all the generic arguments do. In the future we may have a more fine-grained notion of equality for sort constructors.
-Returns the argument unchanged.
diff --git a/doc/flux_middle/intern/struct.Interned.html b/doc/flux_middle/intern/struct.Interned.html index cb251b7127..f369cc0ebf 100644 --- a/doc/flux_middle/intern/struct.Interned.html +++ b/doc/flux_middle/intern/struct.Interned.html @@ -42,17 +42,17 @@ generics: &Generics, mk_kind: &mut F ) -> QueryResult<()>where - F: FnMut(&GenericParamDef, &[GenericArg]) -> GenericArg,