From ff7ed3c656229cc256badedf301be8a6ca0c9f18 Mon Sep 17 00:00:00 2001 From: nilehmann Date: Tue, 16 Jul 2024 21:02:27 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20flux-rs/?= =?UTF-8?q?flux@a101c6d82e349f0cee2f1f4ab21a9b5586143fdd=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/flux_middle/intern/struct.Interned.html | 2 +- doc/flux_middle/intern/type.List.html | 2 +- doc/flux_middle/pretty/enum.KVarArgs.html | 4 +-- .../pretty/fn.def_id_to_string.html | 2 +- .../pretty/fn.pprint_with_default_cx.html | 2 +- doc/flux_middle/pretty/index.html | 2 +- doc/flux_middle/pretty/macro.set_opts.html | 2 +- .../pretty/struct.BoundVarName.html | 28 ++++++++-------- doc/flux_middle/pretty/struct.Env.html | 4 +-- doc/flux_middle/pretty/struct.Join.html | 8 ++--- doc/flux_middle/pretty/struct.Parens.html | 6 ++-- doc/flux_middle/pretty/struct.PrettyCx.html | 10 +++--- doc/flux_middle/pretty/struct.WithCx.html | 4 +-- doc/flux_middle/pretty/trait.FromOpt.html | 4 +-- doc/flux_middle/pretty/trait.Pretty.html | 8 ++--- .../rty/canonicalize/enum.CanonicalTy.html | 2 +- .../struct.CanonicalConstrTy.html | 2 +- doc/flux_middle/rty/enum.BaseTy.html | 2 +- doc/flux_middle/rty/enum.BinOp.html | 2 +- doc/flux_middle/rty/enum.BoundRegionKind.html | 2 +- doc/flux_middle/rty/enum.ClauseKind.html | 2 +- doc/flux_middle/rty/enum.Ensures.html | 2 +- doc/flux_middle/rty/enum.GenericArg.html | 2 +- doc/flux_middle/rty/enum.Loc.html | 2 +- doc/flux_middle/rty/enum.PtrKind.html | 2 +- doc/flux_middle/rty/enum.Sort.html | 2 +- doc/flux_middle/rty/enum.SortCtor.html | 2 +- doc/flux_middle/rty/enum.SortInfer.html | 2 +- doc/flux_middle/rty/enum.UnOp.html | 2 +- doc/flux_middle/rty/enum.Var.html | 2 +- doc/flux_middle/rty/evars/struct.EVar.html | 2 +- doc/flux_middle/rty/expr/enum.BinOp.html | 2 +- doc/flux_middle/rty/expr/enum.Loc.html | 2 +- doc/flux_middle/rty/expr/enum.UnOp.html | 2 +- doc/flux_middle/rty/expr/enum.Var.html | 2 +- .../rty/expr/struct.AliasReft.html | 2 +- doc/flux_middle/rty/expr/struct.KVar.html | 2 +- doc/flux_middle/rty/expr/struct.Lambda.html | 2 +- doc/flux_middle/rty/expr/struct.Path.html | 2 +- doc/flux_middle/rty/expr/type.Expr.html | 2 +- doc/flux_middle/rty/struct.AliasReft.html | 2 +- doc/flux_middle/rty/struct.Binder.html | 4 +-- doc/flux_middle/rty/struct.FnOutput.html | 2 +- doc/flux_middle/rty/struct.FuncSort.html | 2 +- doc/flux_middle/rty/struct.KVar.html | 2 +- doc/flux_middle/rty/struct.Lambda.html | 2 +- doc/flux_middle/rty/struct.Path.html | 2 +- doc/flux_middle/rty/struct.PolyFuncSort.html | 2 +- doc/flux_middle/rty/struct.SubsetTy.html | 2 +- doc/flux_middle/rty/struct.VariantSig.html | 2 +- doc/flux_middle/rty/type.Expr.html | 2 +- doc/flux_middle/rty/type.PolyFnSig.html | 2 +- .../rustc/mir/struct.FieldIdx.html | 2 +- doc/flux_middle/rustc/ty/enum.AliasKind.html | 2 +- .../rustc/ty/enum.BoundRegionKind.html | 2 +- doc/flux_middle/rustc/ty/enum.Region.html | 2 +- doc/flux_middle/rustc/ty/struct.Const.html | 2 +- .../rustc/ty/struct.DebruijnIndex.html | 2 +- .../constraint_gen/struct.Tag.html | 2 +- .../refine_tree/struct.NodePtr.html | 2 +- .../refine_tree/struct.RefineCtxt.html | 2 +- .../refine_tree/struct.RefineSubtree.html | 2 +- .../refine_tree/struct.RefineTree.html | 2 +- .../refine_tree/struct.Scope.html | 2 +- .../type_env/place_ty/enum.LocKind.html | 2 +- .../place_ty/struct.LookupResult.html | 2 +- .../type_env/struct.TypeEnv.html | 2 +- doc/src/flux_middle/pretty.rs.html | 32 +++++++++++++++++++ doc/src/flux_middle/rty/subst.rs.html | 2 +- doc/src/flux_refineck/type_env.rs.html | 2 +- .../flux_refineck/type_env/place_ty.rs.html | 2 +- .../flux_middle/intern/struct.Interned.js | 2 +- .../flux_middle/rty/struct.Binder.js | 2 +- 73 files changed, 134 insertions(+), 102 deletions(-) diff --git a/doc/flux_middle/intern/struct.Interned.html b/doc/flux_middle/intern/struct.Interned.html index e353a30604..2aa7482801 100644 --- a/doc/flux_middle/intern/struct.Interned.html +++ b/doc/flux_middle/intern/struct.Interned.html @@ -88,7 +88,7 @@ by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<T: PartialOrd + Internable> PartialOrd for Interned<T>

source§

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl<T: Pretty + Internable> Pretty for Interned<T>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> Eq for Interned<[T]>
where +operator. Read more
source§

impl<T: Pretty + Internable> Pretty for Interned<T>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> Eq for Interned<[T]>
where [T]: Internable,

source§

impl<T: Internable> Eq for Interned<T>

Auto Trait Implementations§

§

impl<T> Freeze for Interned<T>
where T: ?Sized,

§

impl<T> RefUnwindSafe for Interned<T>
where T: RefUnwindSafe + ?Sized,

§

impl<T> Send for Interned<T>
where diff --git a/doc/flux_middle/intern/type.List.html b/doc/flux_middle/intern/type.List.html index 18ed9f9076..431a888648 100644 --- a/doc/flux_middle/intern/type.List.html +++ b/doc/flux_middle/intern/type.List.html @@ -15,7 +15,7 @@ T: PartialOrd, [T]: Internable,

source§

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for List<Ty>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> Subst for List<T>
where +operator. Read more

source§

impl Pretty for List<Ty>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> Subst for List<T>
where T: Subst, [T]: Internable,

source§

fn subst(&self, args: &[GenericArg]) -> Self

source§

impl<T> TypeFoldable for List<T>
where T: TypeFoldable, diff --git a/doc/flux_middle/pretty/enum.KVarArgs.html b/doc/flux_middle/pretty/enum.KVarArgs.html index 936b77057a..42118f8009 100644 --- a/doc/flux_middle/pretty/enum.KVarArgs.html +++ b/doc/flux_middle/pretty/enum.KVarArgs.html @@ -1,8 +1,8 @@ -KVarArgs in flux_middle::pretty - Rust

Enum flux_middle::pretty::KVarArgs

source · 
pub enum KVarArgs {
+KVarArgs in flux_middle::pretty - Rust
Enum flux_middle::pretty::KVarArgs
source · 
pub enum KVarArgs {
     All,
     SelfOnly,
     Hide,
-}
Variants§
§
All
§
SelfOnly
§
Hide
Trait Implementations§
source§
impl Clone for KVarArgs
source§
fn clone(&self) -> KVarArgs
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl FromOpt for KVarArgs
source§
fn from_opt(opt: &Value) -> Option<Self>
source§
impl Copy for KVarArgs
Auto Trait Implementations§
Blanket Implementations§
source§
impl<T> Any for T
where
+}

Variants§

§

All

§

SelfOnly

§

Hide

Trait Implementations§

source§

impl Clone for KVarArgs

source§

fn clone(&self) -> KVarArgs

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl FromOpt for KVarArgs

source§

fn from_opt(opt: &Value) -> Option<Self>

source§

impl Copy for KVarArgs

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/pretty/fn.def_id_to_string.html b/doc/flux_middle/pretty/fn.def_id_to_string.html index f1c252dd4c..ce3ec80bb1 100644 --- a/doc/flux_middle/pretty/fn.def_id_to_string.html +++ b/doc/flux_middle/pretty/fn.def_id_to_string.html @@ -1 +1 @@ -def_id_to_string in flux_middle::pretty - Rust

Function flux_middle::pretty::def_id_to_string

source · 
pub fn def_id_to_string(def_id: DefId) -> String
\ No newline at end of file +def_id_to_string in flux_middle::pretty - Rust

Function flux_middle::pretty::def_id_to_string

source · 
pub fn def_id_to_string(def_id: DefId) -> String
\ No newline at end of file diff --git a/doc/flux_middle/pretty/fn.pprint_with_default_cx.html b/doc/flux_middle/pretty/fn.pprint_with_default_cx.html index 98b776d594..9b91f1d059 100644 --- a/doc/flux_middle/pretty/fn.pprint_with_default_cx.html +++ b/doc/flux_middle/pretty/fn.pprint_with_default_cx.html @@ -1,4 +1,4 @@ -pprint_with_default_cx in flux_middle::pretty - Rust

Function flux_middle::pretty::pprint_with_default_cx

source · 
pub fn pprint_with_default_cx<T: Pretty>(
+pprint_with_default_cx in flux_middle::pretty - Rust
Function flux_middle::pretty::pprint_with_default_cx
source · 
pub fn pprint_with_default_cx<T: Pretty>(
     f: &mut Formatter<'_>,
     t: &T,
     cfg_key: Option<&'static str>,
diff --git a/doc/flux_middle/pretty/index.html b/doc/flux_middle/pretty/index.html
index f5a69734fe..8d0ebb11f8 100644
--- a/doc/flux_middle/pretty/index.html
+++ b/doc/flux_middle/pretty/index.html
@@ -1 +1 @@
-flux_middle::pretty - Rust
Module flux_middle::pretty
source · 
Macros§
Structs§
Enums§
Traits§
Functions§

\ No newline at end of file
+flux_middle::pretty - Rust
Module flux_middle::pretty
source · 
Macros§
Structs§
Enums§
Traits§
Functions§

\ No newline at end of file
diff --git a/doc/flux_middle/pretty/macro.set_opts.html b/doc/flux_middle/pretty/macro.set_opts.html
index 0962998a71..cf19c088e6 100644
--- a/doc/flux_middle/pretty/macro.set_opts.html
+++ b/doc/flux_middle/pretty/macro.set_opts.html
@@ -1,3 +1,3 @@
-set_opts in flux_middle::pretty - Rust
Macro flux_middle::pretty::set_opts
source · 
macro_rules! set_opts {
+set_opts in flux_middle::pretty - Rust
Macro flux_middle::pretty::set_opts
source · 
macro_rules! set_opts {
     ($cx:expr, $opts:expr, [$($opt:ident),+ $(,)?]) => { ... };
 }

\ No newline at end of file
diff --git a/doc/flux_middle/pretty/struct.BoundVarName.html b/doc/flux_middle/pretty/struct.BoundVarName.html
index e092327f3e..a1c20fe75f 100644
--- a/doc/flux_middle/pretty/struct.BoundVarName.html
+++ b/doc/flux_middle/pretty/struct.BoundVarName.html
@@ -1,31 +1,31 @@
-BoundVarName in flux_middle::pretty - Rust
Struct flux_middle::pretty::BoundVarName
source · 
struct BoundVarName {
+BoundVarName in flux_middle::pretty - Rust
Struct flux_middle::pretty::BoundVarName
source · 
struct BoundVarName {
     private_use_as_methods_instead: u32,
 }
Expand description
Name used during pretty printing to format annonymous bound variables

-
Fields§
§private_use_as_methods_instead: u32
Implementations§
source§
impl BoundVarName
source
const MAX_AS_U32: u32 = 4_294_967_040u32
Maximum value the index can take, as a u32.

-
source
const MAX: Self = _
Maximum value the index can take.

-
source
const ZERO: Self = _
Zero value of the index.

-
source
const fn from_usize(value: usize) -> Self
Creates a new index from a given usize.

+
Fields§
§private_use_as_methods_instead: u32
Implementations§
source§
impl BoundVarName
source
const MAX_AS_U32: u32 = 4_294_967_040u32
Maximum value the index can take, as a u32.

+
source
const MAX: Self = _
Maximum value the index can take.

+
source
const ZERO: Self = _
Zero value of the index.

+
source
const fn from_usize(value: usize) -> Self
Creates a new index from a given usize.

 
§Panics

 
Will panic if value exceeds MAX.

-
source
const fn from_u32(value: u32) -> Self
Creates a new index from a given u32.

+
source
const fn from_u32(value: u32) -> Self
Creates a new index from a given u32.

 
§Panics

 
Will panic if value exceeds MAX.

-
source
const fn from_u16(value: u16) -> Self
Creates a new index from a given u16.

+
source
const fn from_u16(value: u16) -> Self
Creates a new index from a given u16.

 
§Panics

 
Will panic if value exceeds MAX.

-
source
const unsafe fn from_u32_unchecked(value: u32) -> Self
Creates a new index from a given u32.

+
source
const unsafe fn from_u32_unchecked(value: u32) -> Self
Creates a new index from a given u32.

 
§Safety

 
The provided value must be less than or equal to the maximum value for the newtype.
 Providing a value outside this range is undefined due to layout restrictions.

 
Prefer using from_u32.

-
source
const fn index(self) -> usize
Extracts the value of this index as a usize.

-
source
const fn as_u32(self) -> u32
Extracts the value of this index as a u32.

-
source
const fn as_usize(self) -> usize
Extracts the value of this index as a usize.

-
Trait Implementations§
source§
impl Add<usize> for BoundVarName
§
type Output = BoundVarName
The resulting type after applying the + operator.
source§
fn add(self, other: usize) -> Self
Performs the + operation. Read more
source§
impl Clone for BoundVarName
source§
fn clone(&self) -> BoundVarName
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl Debug for BoundVarName
source§
fn fmt(&self, fmt: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
source§
impl From<BoundVarName> for u32
source§
fn from(v: BoundVarName) -> u32
Converts to this type from the input type.
source§
impl From<BoundVarName> for usize
source§
fn from(v: BoundVarName) -> usize
Converts to this type from the input type.
source§
impl From<u32> for BoundVarName
source§
fn from(value: u32) -> Self
Converts to this type from the input type.
source§
impl From<usize> for BoundVarName
source§
fn from(value: usize) -> Self
Converts to this type from the input type.
source§
impl Hash for BoundVarName
source§
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given Hasher. Read more
1.3.0 · source§
fn hash_slice<H>(data: &[Self], state: &mut H)
where
+
source
const fn index(self) -> usize
Extracts the value of this index as a usize.

+
source
const fn as_u32(self) -> u32
Extracts the value of this index as a u32.

+
source
const fn as_usize(self) -> usize
Extracts the value of this index as a usize.

+
Trait Implementations§
source§
impl Add<usize> for BoundVarName
§
type Output = BoundVarName
The resulting type after applying the + operator.
source§
fn add(self, other: usize) -> Self
Performs the + operation. Read more
source§
impl Clone for BoundVarName
source§
fn clone(&self) -> BoundVarName
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl Debug for BoundVarName
source§
fn fmt(&self, fmt: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
source§
impl From<BoundVarName> for u32
source§
fn from(v: BoundVarName) -> u32
Converts to this type from the input type.
source§
impl From<BoundVarName> for usize
source§
fn from(v: BoundVarName) -> usize
Converts to this type from the input type.
source§
impl From<u32> for BoundVarName
source§
fn from(value: u32) -> Self
Converts to this type from the input type.
source§
impl From<usize> for BoundVarName
source§
fn from(value: usize) -> Self
Converts to this type from the input type.
source§
impl Hash for BoundVarName
source§
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given Hasher. Read more
1.3.0 · source§
fn hash_slice<H>(data: &[Self], state: &mut H)
where
     H: Hasher,
-    Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
source§
impl Idx for BoundVarName
source§
fn new(value: usize) -> Self
source§
fn index(self) -> usize
§
fn increment_by(&mut self, amount: usize)
§
fn plus(self, amount: usize) -> Self
source§
impl PartialEq for BoundVarName
source§
fn eq(&self, other: &BoundVarName) -> bool
This method tests for self and other values to be equal, and is used
+    Self: Sized,

Feeds a slice of this type into the given Hasher. Read more

source§

impl Idx for BoundVarName

source§

fn new(value: usize) -> Self

source§

fn index(self) -> usize

§

fn increment_by(&mut self, amount: usize)

§

fn plus(self, amount: usize) -> Self

source§

impl PartialEq for BoundVarName

source§

fn eq(&self, other: &BoundVarName) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Copy for BoundVarName

source§

impl Eq for BoundVarName

source§

impl StructuralPartialEq for BoundVarName

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Copy for BoundVarName

source§

impl Eq for BoundVarName

source§

impl StructuralPartialEq for BoundVarName

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/pretty/struct.Env.html b/doc/flux_middle/pretty/struct.Env.html index fa2433f57b..6d65854003 100644 --- a/doc/flux_middle/pretty/struct.Env.html +++ b/doc/flux_middle/pretty/struct.Env.html @@ -1,7 +1,7 @@ -Env in flux_middle::pretty - Rust

Struct flux_middle::pretty::Env

source · 
struct Env {
+Env in flux_middle::pretty - Rust
Struct flux_middle::pretty::Env
source · 
struct Env {
     name_gen: IndexGen<BoundVarName>,
     layers: Vec<FxHashMap<u32, BoundVarName>>,
-}
Fields§
§name_gen: IndexGen<BoundVarName>§layers: Vec<FxHashMap<u32, BoundVarName>>
Implementations§
source§
impl Env
source
fn lookup(&self, debruijn: DebruijnIndex, index: u32) -> Option<BoundVarName>
source
fn push_layer(&mut self, vars: &[BoundVariableKind])
source
fn pop_layer(&mut self)
Trait Implementations§
source§
impl Default for Env
source§
fn default() -> Env
Returns the “default value” for a type. Read more
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> Any for T
where
+}

Fields§

§name_gen: IndexGen<BoundVarName>§layers: Vec<FxHashMap<u32, BoundVarName>>

Implementations§

source§

impl Env

source

fn lookup(&self, debruijn: DebruijnIndex, index: u32) -> Option<BoundVarName>

source

fn push_layer(&mut self, vars: &[BoundVariableKind])

source

fn pop_layer(&mut self)

Trait Implementations§

source§

impl Default for Env

source§

fn default() -> Env

Returns the “default value” for a type. Read more

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> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/doc/flux_middle/pretty/struct.Join.html b/doc/flux_middle/pretty/struct.Join.html index 1fb6e90f28..9e30aaa80a 100644 --- a/doc/flux_middle/pretty/struct.Join.html +++ b/doc/flux_middle/pretty/struct.Join.html @@ -1,11 +1,11 @@ -Join in flux_middle::pretty - Rust

Struct flux_middle::pretty::Join

source · 
pub struct Join<'a, I> {
+Join in flux_middle::pretty - Rust
Struct flux_middle::pretty::Join
source · 
pub struct Join<'a, I> {
     sep: &'a str,
     iter: RefCell<Option<I>>,
-}
Fields§
§sep: &'a str§iter: RefCell<Option<I>>
Implementations§
source§
impl<'a, I> Join<'a, I>
source
pub fn new<T: IntoIterator<IntoIter = I>>(sep: &'a str, iter: T) -> Self
Trait Implementations§
source§
impl<T, I> Debug for Join<'_, I>
where
+}

Fields§

§sep: &'a str§iter: RefCell<Option<I>>

Implementations§

source§

impl<'a, I> Join<'a, I>

source

pub fn new<T: IntoIterator<IntoIter = I>>(sep: &'a str, iter: T) -> Self

Trait Implementations§

source§

impl<T, I> Debug for Join<'_, I>
where T: Debug, - I: Iterator<Item = T>,

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<T, I> Pretty for Join<'_, I>
where + I: Iterator<Item = T>,

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<T, I> Pretty for Join<'_, I>
where T: Pretty, - I: Iterator<Item = T>,

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl<'a, I> !Freeze for Join<'a, I>

§

impl<'a, I> !RefUnwindSafe for Join<'a, I>

§

impl<'a, I> Send for Join<'a, I>
where + I: Iterator<Item = T>,

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl<'a, I> !Freeze for Join<'a, I>

§

impl<'a, I> !RefUnwindSafe for Join<'a, I>

§

impl<'a, I> Send for Join<'a, I>
where I: Send,

§

impl<'a, I> !Sync for Join<'a, I>

§

impl<'a, I> Unpin for Join<'a, I>
where I: Unpin,

§

impl<'a, I> UnwindSafe for Join<'a, I>
where I: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where diff --git a/doc/flux_middle/pretty/struct.Parens.html b/doc/flux_middle/pretty/struct.Parens.html index 5ad53e2d7c..99a85faf4b 100644 --- a/doc/flux_middle/pretty/struct.Parens.html +++ b/doc/flux_middle/pretty/struct.Parens.html @@ -1,8 +1,8 @@ -Parens in flux_middle::pretty - Rust

Struct flux_middle::pretty::Parens

source · 
pub struct Parens<'a, T> {
+Parens in flux_middle::pretty - Rust
Struct flux_middle::pretty::Parens
source · 
pub struct Parens<'a, T> {
     val: &'a T,
     parenthesize: bool,
-}
Fields§
§val: &'a T§parenthesize: bool
Implementations§
source§
impl<'a, T> Parens<'a, T>
source
pub fn new(val: &'a T, parenthesize: bool) -> Self
Trait Implementations§
source§
impl<'a, T> Pretty for Parens<'a, T>
where
-    T: Pretty,
source§
fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
source§
fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>
Auto Trait Implementations§
§
impl<'a, T> Freeze for Parens<'a, T>
§
impl<'a, T> RefUnwindSafe for Parens<'a, T>
where
+}

Fields§

§val: &'a T§parenthesize: bool

Implementations§

source§

impl<'a, T> Parens<'a, T>

source

pub fn new(val: &'a T, parenthesize: bool) -> Self

Trait Implementations§

source§

impl<'a, T> Pretty for Parens<'a, T>
where + T: Pretty,

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl<'a, T> Freeze for Parens<'a, T>

§

impl<'a, T> RefUnwindSafe for Parens<'a, T>
where T: RefUnwindSafe,

§

impl<'a, T> Send for Parens<'a, T>
where T: Sync,

§

impl<'a, T> Sync for Parens<'a, T>
where T: Sync,

§

impl<'a, T> Unpin for Parens<'a, T>

§

impl<'a, T> UnwindSafe for Parens<'a, T>
where diff --git a/doc/flux_middle/pretty/struct.PrettyCx.html b/doc/flux_middle/pretty/struct.PrettyCx.html index 75c0aa98fe..c226772ffb 100644 --- a/doc/flux_middle/pretty/struct.PrettyCx.html +++ b/doc/flux_middle/pretty/struct.PrettyCx.html @@ -1,4 +1,4 @@ -PrettyCx in flux_middle::pretty - Rust

Struct flux_middle::pretty::PrettyCx

source · 
pub struct PrettyCx<'tcx> {
Show 14 fields
+PrettyCx in flux_middle::pretty - Rust
Struct flux_middle::pretty::PrettyCx
source · 
pub struct PrettyCx<'tcx> {
Show 14 fields
     pub tcx: TyCtxt<'tcx>,
     pub kvar_args: KVarArgs,
     pub fully_qualified_paths: bool,
@@ -13,22 +13,22 @@
     pub hide_regions: bool,
     pub hide_binder: bool,
     env: RefCell<Env>,
-
}
Fields§
§tcx: TyCtxt<'tcx>§kvar_args: KVarArgs§fully_qualified_paths: bool§simplify_exprs: bool§tags: bool§bindings_chain: bool§preds_chain: bool§full_spans: bool§hide_uninit: bool§show_is_binder: bool§hide_refinements: bool§hide_regions: bool§hide_binder: bool§env: RefCell<Env>
Implementations§
source§
impl PrettyCx<'_>
source
pub fn default(tcx: TyCtxt<'_>) -> PrettyCx<'_>
source
pub fn merge(&mut self, opts: &Value)
source
pub fn with_bound_vars<R>(
+
}

Fields§

§tcx: TyCtxt<'tcx>§kvar_args: KVarArgs§fully_qualified_paths: bool§simplify_exprs: bool§tags: bool§bindings_chain: bool§preds_chain: bool§full_spans: bool§hide_uninit: bool§show_is_binder: bool§hide_refinements: bool§hide_regions: bool§hide_binder: bool§env: RefCell<Env>

Implementations§

source§

impl PrettyCx<'_>

source

pub fn default(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source

pub fn merge(&mut self, opts: &Value)

source

pub fn with_bound_vars<R>( &self, vars: &[BoundVariableKind], f: impl FnOnce() -> R, -) -> R

source

pub fn fmt_bound_vars( +) -> R

source

pub fn fmt_bound_vars( &self, left: &str, vars: &[BoundVariableKind], right: &str, f: &mut Formatter<'_>, -) -> Result

source

pub fn fmt_bound_reft( +) -> Result

source

pub fn fmt_bound_reft( &self, debruijn: DebruijnIndex, var: BoundReft, f: &mut Formatter<'_>, -) -> Result

source

pub fn kvar_args(self, kvar_args: KVarArgs) -> Self

source

pub fn fully_qualified_paths(self, b: bool) -> Self

source

pub fn show_is_binder(self, b: bool) -> Self

source

pub fn hide_regions(self, b: bool) -> Self

source

pub fn hide_binder(self, b: bool) -> Self

Auto Trait Implementations§

§

impl<'tcx> !Freeze for PrettyCx<'tcx>

§

impl<'tcx> !RefUnwindSafe for PrettyCx<'tcx>

§

impl<'tcx> !Send for PrettyCx<'tcx>

§

impl<'tcx> !Sync for PrettyCx<'tcx>

§

impl<'tcx> Unpin for PrettyCx<'tcx>

§

impl<'tcx> !UnwindSafe for PrettyCx<'tcx>

Blanket Implementations§

source§

impl<T> Any for T
where +) -> Result

source

pub fn kvar_args(self, kvar_args: KVarArgs) -> Self

source

pub fn fully_qualified_paths(self, b: bool) -> Self

source

pub fn show_is_binder(self, b: bool) -> Self

source

pub fn hide_regions(self, b: bool) -> Self

source

pub fn hide_binder(self, b: bool) -> Self

Auto Trait Implementations§

§

impl<'tcx> !Freeze for PrettyCx<'tcx>

§

impl<'tcx> !RefUnwindSafe for PrettyCx<'tcx>

§

impl<'tcx> !Send for PrettyCx<'tcx>

§

impl<'tcx> !Sync for PrettyCx<'tcx>

§

impl<'tcx> Unpin for PrettyCx<'tcx>

§

impl<'tcx> !UnwindSafe for PrettyCx<'tcx>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/doc/flux_middle/pretty/struct.WithCx.html b/doc/flux_middle/pretty/struct.WithCx.html index 52d2a46135..2ccf6d0604 100644 --- a/doc/flux_middle/pretty/struct.WithCx.html +++ b/doc/flux_middle/pretty/struct.WithCx.html @@ -1,7 +1,7 @@ -WithCx in flux_middle::pretty - Rust

Struct flux_middle::pretty::WithCx

source · 
pub struct WithCx<'a, 'tcx, T> {
+WithCx in flux_middle::pretty - Rust
Struct flux_middle::pretty::WithCx
source · 
pub struct WithCx<'a, 'tcx, T> {
     data: T,
     cx: &'a PrettyCx<'tcx>,
-}
Fields§
§data: T§cx: &'a PrettyCx<'tcx>
Implementations§
source§
impl<'a, 'tcx, T> WithCx<'a, 'tcx, T>
source
pub fn new(cx: &'a PrettyCx<'tcx>, data: T) -> Self
Trait Implementations§
source§
impl<T: Pretty> Debug for WithCx<'_, '_, T>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
Auto Trait Implementations§
§
impl<'a, 'tcx, T> Freeze for WithCx<'a, 'tcx, T>
where
+}

Fields§

§data: T§cx: &'a PrettyCx<'tcx>

Implementations§

source§

impl<'a, 'tcx, T> WithCx<'a, 'tcx, T>

source

pub fn new(cx: &'a PrettyCx<'tcx>, data: T) -> Self

Trait Implementations§

source§

impl<T: Pretty> Debug for WithCx<'_, '_, T>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<'a, 'tcx, T> Freeze for WithCx<'a, 'tcx, T>
where T: Freeze,

§

impl<'a, 'tcx, T> !RefUnwindSafe for WithCx<'a, 'tcx, T>

§

impl<'a, 'tcx, T> !Send for WithCx<'a, 'tcx, T>

§

impl<'a, 'tcx, T> !Sync for WithCx<'a, 'tcx, T>

§

impl<'a, 'tcx, T> Unpin for WithCx<'a, 'tcx, T>
where T: Unpin,

§

impl<'a, 'tcx, T> !UnwindSafe for WithCx<'a, 'tcx, T>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where diff --git a/doc/flux_middle/pretty/trait.FromOpt.html b/doc/flux_middle/pretty/trait.FromOpt.html index 2e8004adb3..af2c69060a 100644 --- a/doc/flux_middle/pretty/trait.FromOpt.html +++ b/doc/flux_middle/pretty/trait.FromOpt.html @@ -1,4 +1,4 @@ -FromOpt in flux_middle::pretty - Rust

Trait flux_middle::pretty::FromOpt

source · 
trait FromOpt: Sized {
+FromOpt in flux_middle::pretty - Rust
Trait flux_middle::pretty::FromOpt
source · 
trait FromOpt: Sized {
     // Required method
     fn from_opt(opt: &Value) -> Option<Self>;
-}
Required Methods§
source
fn from_opt(opt: &Value) -> Option<Self>
Object Safety§
This trait is not object safe.
Implementations on Foreign Types§
source§
impl FromOpt for bool
source§
fn from_opt(opt: &Value) -> Option<Self>
Implementors§

\ No newline at end of file
+}

Required Methods§

source

fn from_opt(opt: &Value) -> Option<Self>

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl FromOpt for bool

source§

fn from_opt(opt: &Value) -> Option<Self>

Implementors§

\ No newline at end of file diff --git a/doc/flux_middle/pretty/trait.Pretty.html b/doc/flux_middle/pretty/trait.Pretty.html index d0c160d829..c0b03478db 100644 --- a/doc/flux_middle/pretty/trait.Pretty.html +++ b/doc/flux_middle/pretty/trait.Pretty.html @@ -1,11 +1,11 @@ -Pretty in flux_middle::pretty - Rust

Trait flux_middle::pretty::Pretty

source · 
pub trait Pretty {
+Pretty in flux_middle::pretty - Rust
Trait flux_middle::pretty::Pretty
source · 
pub trait Pretty {
     // Required method
     fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result;
 
     // Provided method
     fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_> { ... }
-}
Required Methods§
source
fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
Provided Methods§
source
fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>
Object Safety§
This trait is not object safe.
Implementations on Foreign Types§
source§
impl Pretty for DefId
source§
fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
source§
impl Pretty for Span
source§
fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
source§
impl<T: Pretty + ?Sized> Pretty for &T
source§
fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
Implementors§

Required Methods§

source

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

Provided Methods§

source

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl Pretty for DefId

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

impl Pretty for Span

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

impl<T: Pretty + ?Sized> Pretty for &T

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

Implementors§

\ No newline at end of file + I: Iterator<Item = T>,

source§

impl<T: Pretty + Internable> Pretty for Interned<T>

\ No newline at end of file diff --git a/doc/flux_middle/rty/canonicalize/enum.CanonicalTy.html b/doc/flux_middle/rty/canonicalize/enum.CanonicalTy.html index 9bb32140f4..7ccd5cbefa 100644 --- a/doc/flux_middle/rty/canonicalize/enum.CanonicalTy.html +++ b/doc/flux_middle/rty/canonicalize/enum.CanonicalTy.html @@ -6,7 +6,7 @@

When canonizalizing a type without a constraint type, p will be Expr::tt().

Variants§

§

Constr(CanonicalConstrTy)

A type of the form {T | p}

§

Exists(Binder<CanonicalConstrTy>)

A type of the form ∃v0,…,vn. {T | p}

-

Implementations§

Trait Implementations§

source§

impl Debug for CanonicalTy

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for CanonicalTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where +

Implementations§

Trait Implementations§

source§

impl Debug for CanonicalTy

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for CanonicalTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/doc/flux_middle/rty/canonicalize/struct.CanonicalConstrTy.html b/doc/flux_middle/rty/canonicalize/struct.CanonicalConstrTy.html index 6dac874959..9edc3c7952 100644 --- a/doc/flux_middle/rty/canonicalize/struct.CanonicalConstrTy.html +++ b/doc/flux_middle/rty/canonicalize/struct.CanonicalConstrTy.html @@ -2,7 +2,7 @@ ty: Ty, pred: Expr, }

Fields§

§ty: Ty

Guranteed to not have any (shallow) existential or constraint types

-
§pred: Expr

Implementations§

source§

impl CanonicalConstrTy

source

pub fn ty(&self) -> Ty

source

pub fn pred(&self) -> Expr

Trait Implementations§

source§

impl Debug for CanonicalConstrTy

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for CanonicalConstrTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where +
§pred: Expr

Implementations§

source§

impl CanonicalConstrTy

source

pub fn ty(&self) -> Ty

source

pub fn pred(&self) -> Expr

Trait Implementations§

source§

impl Debug for CanonicalConstrTy

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for CanonicalConstrTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/doc/flux_middle/rty/enum.BaseTy.html b/doc/flux_middle/rty/enum.BaseTy.html index 4f9691c353..c07a937738 100644 --- a/doc/flux_middle/rty/enum.BaseTy.html +++ b/doc/flux_middle/rty/enum.BaseTy.html @@ -20,7 +20,7 @@ H: Hasher, Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for BaseTy

source§

fn eq(&self, other: &BaseTy) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for BaseTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for BaseTy

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for BaseTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for BaseTy

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/enum.BinOp.html b/doc/flux_middle/rty/enum.BinOp.html index 1f015dc84f..ef6c0702d4 100644 --- a/doc/flux_middle/rty/enum.BinOp.html +++ b/doc/flux_middle/rty/enum.BinOp.html @@ -18,7 +18,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for BinOp

source§

fn eq(&self, other: &BinOp) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for BinOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for BinOp

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for BinOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for BinOp

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/enum.BoundRegionKind.html b/doc/flux_middle/rty/enum.BoundRegionKind.html index 06b229957a..402f9a9cc9 100644 --- a/doc/flux_middle/rty/enum.BoundRegionKind.html +++ b/doc/flux_middle/rty/enum.BoundRegionKind.html @@ -8,7 +8,7 @@ the event of shadowing.

§

BrEnv

Anonymous region for the implicit env pointer parameter to a closure

-

Trait Implementations§

source§

impl Pretty for BoundRegionKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where +

Trait Implementations§

source§

impl Pretty for BoundRegionKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/enum.ClauseKind.html b/doc/flux_middle/rty/enum.ClauseKind.html index 20b72550b2..3644bc3b5c 100644 --- a/doc/flux_middle/rty/enum.ClauseKind.html +++ b/doc/flux_middle/rty/enum.ClauseKind.html @@ -9,7 +9,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for ClauseKind

source§

fn eq(&self, other: &ClauseKind) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for ClauseKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for ClauseKind

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for ClauseKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for ClauseKind

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/enum.Ensures.html b/doc/flux_middle/rty/enum.Ensures.html index 6aa707e182..e59644e6fa 100644 --- a/doc/flux_middle/rty/enum.Ensures.html +++ b/doc/flux_middle/rty/enum.Ensures.html @@ -5,7 +5,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Ensures

source§

fn eq(&self, other: &Ensures) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Ensures

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Ensures

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for Ensures

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Ensures

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Ensures

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for Ensures

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/enum.GenericArg.html b/doc/flux_middle/rty/enum.GenericArg.html index 1c8f56dc04..fd01ba510b 100644 --- a/doc/flux_middle/rty/enum.GenericArg.html +++ b/doc/flux_middle/rty/enum.GenericArg.html @@ -7,7 +7,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for GenericArg

source§

fn eq(&self, other: &GenericArg) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for GenericArg

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for GenericArg

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for GenericArg

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for GenericArg

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for GenericArg

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for GenericArg

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/enum.Loc.html b/doc/flux_middle/rty/enum.Loc.html index 8bc2555d07..9193001343 100644 --- a/doc/flux_middle/rty/enum.Loc.html +++ b/doc/flux_middle/rty/enum.Loc.html @@ -10,7 +10,7 @@ by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for Loc

source§

fn partial_cmp(&self, other: &Loc) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for Loc

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for Loc

source§

impl Eq for Loc

source§

impl StructuralPartialEq for Loc

Auto Trait Implementations§

§

impl Freeze for Loc

§

impl RefUnwindSafe for Loc

§

impl Send for Loc

§

impl Sync for Loc

§

impl Unpin for Loc

§

impl UnwindSafe for Loc

Blanket Implementations§

source§

impl<T> Any for T
where +operator. Read more

source§

impl Pretty for Loc

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for Loc

source§

impl Eq for Loc

source§

impl StructuralPartialEq for Loc

Auto Trait Implementations§

§

impl Freeze for Loc

§

impl RefUnwindSafe for Loc

§

impl Send for Loc

§

impl Sync for Loc

§

impl Unpin for Loc

§

impl UnwindSafe for Loc

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/enum.PtrKind.html b/doc/flux_middle/rty/enum.PtrKind.html index ba5ffa2fa8..1758486100 100644 --- a/doc/flux_middle/rty/enum.PtrKind.html +++ b/doc/flux_middle/rty/enum.PtrKind.html @@ -5,7 +5,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for PtrKind

source§

fn eq(&self, other: &PtrKind) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for PtrKind

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for PtrKind

source§

impl Eq for PtrKind

source§

impl StructuralPartialEq for PtrKind

Auto Trait Implementations§

§

impl Freeze for PtrKind

§

impl RefUnwindSafe for PtrKind

§

impl Send for PtrKind

§

impl Sync for PtrKind

§

impl Unpin for PtrKind

§

impl UnwindSafe for PtrKind

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for PtrKind

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for PtrKind

source§

impl Eq for PtrKind

source§

impl StructuralPartialEq for PtrKind

Auto Trait Implementations§

§

impl Freeze for PtrKind

§

impl RefUnwindSafe for PtrKind

§

impl Send for PtrKind

§

impl Sync for PtrKind

§

impl Unpin for PtrKind

§

impl UnwindSafe for PtrKind

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/enum.Sort.html b/doc/flux_middle/rty/enum.Sort.html index 8c664b6814..61fb8fed53 100644 --- a/doc/flux_middle/rty/enum.Sort.html +++ b/doc/flux_middle/rty/enum.Sort.html @@ -17,7 +17,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl IntoDiagArg for Sort

source§

fn into_diag_arg(self) -> DiagArgValue

source§

impl PartialEq for Sort

source§

fn eq(&self, other: &Sort) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Sort

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Sort

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for Sort

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Sort

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Sort

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for Sort

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/enum.SortCtor.html b/doc/flux_middle/rty/enum.SortCtor.html index f8d899ae34..f6bd477ad0 100644 --- a/doc/flux_middle/rty/enum.SortCtor.html +++ b/doc/flux_middle/rty/enum.SortCtor.html @@ -9,7 +9,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for SortCtor

source§

fn eq(&self, other: &SortCtor) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for SortCtor

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for SortCtor

source§

impl StructuralPartialEq for SortCtor

Auto Trait Implementations§

§

impl Freeze for SortCtor

§

impl RefUnwindSafe for SortCtor

§

impl Send for SortCtor

§

impl Sync for SortCtor

§

impl Unpin for SortCtor

§

impl UnwindSafe for SortCtor

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for SortCtor

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for SortCtor

source§

impl StructuralPartialEq for SortCtor

Auto Trait Implementations§

§

impl Freeze for SortCtor

§

impl RefUnwindSafe for SortCtor

§

impl Send for SortCtor

§

impl Sync for SortCtor

§

impl Unpin for SortCtor

§

impl UnwindSafe for SortCtor

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/enum.SortInfer.html b/doc/flux_middle/rty/enum.SortInfer.html index a538e74afb..a568443077 100644 --- a/doc/flux_middle/rty/enum.SortInfer.html +++ b/doc/flux_middle/rty/enum.SortInfer.html @@ -8,7 +8,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for SortInfer

source§

fn eq(&self, other: &SortInfer) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for SortInfer

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for SortInfer

source§

impl Eq for SortInfer

source§

impl StructuralPartialEq for SortInfer

Auto Trait Implementations§

§

impl Freeze for SortInfer

§

impl RefUnwindSafe for SortInfer

§

impl Send for SortInfer

§

impl Sync for SortInfer

§

impl Unpin for SortInfer

§

impl UnwindSafe for SortInfer

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for SortInfer

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for SortInfer

source§

impl Eq for SortInfer

source§

impl StructuralPartialEq for SortInfer

Auto Trait Implementations§

§

impl Freeze for SortInfer

§

impl RefUnwindSafe for SortInfer

§

impl Send for SortInfer

§

impl Sync for SortInfer

§

impl Unpin for SortInfer

§

impl UnwindSafe for SortInfer

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/enum.UnOp.html b/doc/flux_middle/rty/enum.UnOp.html index 048a7b67b3..27572d17c5 100644 --- a/doc/flux_middle/rty/enum.UnOp.html +++ b/doc/flux_middle/rty/enum.UnOp.html @@ -5,7 +5,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for UnOp

source§

fn eq(&self, other: &UnOp) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for UnOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for UnOp

source§

impl Eq for UnOp

source§

impl StructuralPartialEq for UnOp

Auto Trait Implementations§

§

impl Freeze for UnOp

§

impl RefUnwindSafe for UnOp

§

impl Send for UnOp

§

impl Sync for UnOp

§

impl Unpin for UnOp

§

impl UnwindSafe for UnOp

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for UnOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for UnOp

source§

impl Eq for UnOp

source§

impl StructuralPartialEq for UnOp

Auto Trait Implementations§

§

impl Freeze for UnOp

§

impl RefUnwindSafe for UnOp

§

impl Send for UnOp

§

impl Sync for UnOp

§

impl Unpin for UnOp

§

impl UnwindSafe for UnOp

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/enum.Var.html b/doc/flux_middle/rty/enum.Var.html index c53189c669..5f06a887e9 100644 --- a/doc/flux_middle/rty/enum.Var.html +++ b/doc/flux_middle/rty/enum.Var.html @@ -13,7 +13,7 @@ by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for Var

source§

fn partial_cmp(&self, other: &Var) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for Var

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for Var

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> FxHashSet<Name>

Returns the set of all free variables. +operator. Read more
source§

impl Pretty for Var

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for Var

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> FxHashSet<Name>

Returns the set of all free variables. For example, Vec<i32[n]>{v : v > m} returns {n, m}.
source§

impl Copy for Var

source§

impl Eq for Var

source§

impl StructuralPartialEq for Var

Auto Trait Implementations§

§

impl Freeze for Var

§

impl RefUnwindSafe for Var

§

impl Send for Var

§

impl Sync for Var

§

impl Unpin for Var

§

impl UnwindSafe for Var

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where diff --git a/doc/flux_middle/rty/evars/struct.EVar.html b/doc/flux_middle/rty/evars/struct.EVar.html index 1c4adee71a..76ca5ca540 100644 --- a/doc/flux_middle/rty/evars/struct.EVar.html +++ b/doc/flux_middle/rty/evars/struct.EVar.html @@ -12,7 +12,7 @@ by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for EVar

source§

fn partial_cmp(&self, other: &EVar) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for EVar

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for EVar

source§

impl Eq for EVar

source§

impl StructuralPartialEq for EVar

Auto Trait Implementations§

§

impl Freeze for EVar

§

impl RefUnwindSafe for EVar

§

impl Send for EVar

§

impl Sync for EVar

§

impl Unpin for EVar

§

impl UnwindSafe for EVar

Blanket Implementations§

source§

impl<T> Any for T
where +operator. Read more

source§

impl Pretty for EVar

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for EVar

source§

impl Eq for EVar

source§

impl StructuralPartialEq for EVar

Auto Trait Implementations§

§

impl Freeze for EVar

§

impl RefUnwindSafe for EVar

§

impl Send for EVar

§

impl Sync for EVar

§

impl Unpin for EVar

§

impl UnwindSafe for EVar

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/expr/enum.BinOp.html b/doc/flux_middle/rty/expr/enum.BinOp.html index 40dbf3208c..9ab7c633cd 100644 --- a/doc/flux_middle/rty/expr/enum.BinOp.html +++ b/doc/flux_middle/rty/expr/enum.BinOp.html @@ -18,7 +18,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for BinOp

source§

fn eq(&self, other: &BinOp) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for BinOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for BinOp

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for BinOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for BinOp

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/expr/enum.Loc.html b/doc/flux_middle/rty/expr/enum.Loc.html index 29c540eb4b..81c85980f2 100644 --- a/doc/flux_middle/rty/expr/enum.Loc.html +++ b/doc/flux_middle/rty/expr/enum.Loc.html @@ -10,7 +10,7 @@ by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for Loc

source§

fn partial_cmp(&self, other: &Loc) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for Loc

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for Loc

source§

impl Eq for Loc

source§

impl StructuralPartialEq for Loc

Auto Trait Implementations§

§

impl Freeze for Loc

§

impl RefUnwindSafe for Loc

§

impl Send for Loc

§

impl Sync for Loc

§

impl Unpin for Loc

§

impl UnwindSafe for Loc

Blanket Implementations§

source§

impl<T> Any for T
where +operator. Read more

source§

impl Pretty for Loc

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for Loc

source§

impl Eq for Loc

source§

impl StructuralPartialEq for Loc

Auto Trait Implementations§

§

impl Freeze for Loc

§

impl RefUnwindSafe for Loc

§

impl Send for Loc

§

impl Sync for Loc

§

impl Unpin for Loc

§

impl UnwindSafe for Loc

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/expr/enum.UnOp.html b/doc/flux_middle/rty/expr/enum.UnOp.html index 110fa7503d..baa7fa0fc8 100644 --- a/doc/flux_middle/rty/expr/enum.UnOp.html +++ b/doc/flux_middle/rty/expr/enum.UnOp.html @@ -5,7 +5,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for UnOp

source§

fn eq(&self, other: &UnOp) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for UnOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for UnOp

source§

impl Eq for UnOp

source§

impl StructuralPartialEq for UnOp

Auto Trait Implementations§

§

impl Freeze for UnOp

§

impl RefUnwindSafe for UnOp

§

impl Send for UnOp

§

impl Sync for UnOp

§

impl Unpin for UnOp

§

impl UnwindSafe for UnOp

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for UnOp

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for UnOp

source§

impl Eq for UnOp

source§

impl StructuralPartialEq for UnOp

Auto Trait Implementations§

§

impl Freeze for UnOp

§

impl RefUnwindSafe for UnOp

§

impl Send for UnOp

§

impl Sync for UnOp

§

impl Unpin for UnOp

§

impl UnwindSafe for UnOp

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/expr/enum.Var.html b/doc/flux_middle/rty/expr/enum.Var.html index 658c239a0f..65aea4e8cb 100644 --- a/doc/flux_middle/rty/expr/enum.Var.html +++ b/doc/flux_middle/rty/expr/enum.Var.html @@ -13,7 +13,7 @@ by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for Var

source§

fn partial_cmp(&self, other: &Var) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for Var

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for Var

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> FxHashSet<Name>

Returns the set of all free variables. +operator. Read more
source§

impl Pretty for Var

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for Var

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> FxHashSet<Name>

Returns the set of all free variables. For example, Vec<i32[n]>{v : v > m} returns {n, m}.
source§

impl Copy for Var

source§

impl Eq for Var

source§

impl StructuralPartialEq for Var

Auto Trait Implementations§

§

impl Freeze for Var

§

impl RefUnwindSafe for Var

§

impl Send for Var

§

impl Sync for Var

§

impl Unpin for Var

§

impl UnwindSafe for Var

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where diff --git a/doc/flux_middle/rty/expr/struct.AliasReft.html b/doc/flux_middle/rty/expr/struct.AliasReft.html index 91e4fa1b4c..4773cbed34 100644 --- a/doc/flux_middle/rty/expr/struct.AliasReft.html +++ b/doc/flux_middle/rty/expr/struct.AliasReft.html @@ -6,7 +6,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for AliasReft

source§

fn eq(&self, other: &AliasReft) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for AliasReft

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for AliasReft

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for AliasReft

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for AliasReft

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/expr/struct.KVar.html b/doc/flux_middle/rty/expr/struct.KVar.html index 7106bced41..c6bf19ec79 100644 --- a/doc/flux_middle/rty/expr/struct.KVar.html +++ b/doc/flux_middle/rty/expr/struct.KVar.html @@ -13,7 +13,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for KVar

source§

fn eq(&self, other: &KVar) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for KVar

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for KVar

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for KVar

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for KVar

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for KVar

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for KVar

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/expr/struct.Lambda.html b/doc/flux_middle/rty/expr/struct.Lambda.html index d2d9404fea..da02124fd4 100644 --- a/doc/flux_middle/rty/expr/struct.Lambda.html +++ b/doc/flux_middle/rty/expr/struct.Lambda.html @@ -10,7 +10,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Lambda

source§

fn eq(&self, other: &Lambda) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Lambda

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for Lambda

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Lambda

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for Lambda

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/expr/struct.Path.html b/doc/flux_middle/rty/expr/struct.Path.html index ca33fb8024..c780b6b850 100644 --- a/doc/flux_middle/rty/expr/struct.Path.html +++ b/doc/flux_middle/rty/expr/struct.Path.html @@ -10,7 +10,7 @@ by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for Path

source§

fn partial_cmp(&self, other: &Path) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for Path

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for Path

source§

impl StructuralPartialEq for Path

Auto Trait Implementations§

§

impl Freeze for Path

§

impl RefUnwindSafe for Path

§

impl Send for Path

§

impl Sync for Path

§

impl Unpin for Path

§

impl UnwindSafe for Path

Blanket Implementations§

source§

impl<T> Any for T
where +operator. Read more

source§

impl Pretty for Path

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for Path

source§

impl StructuralPartialEq for Path

Auto Trait Implementations§

§

impl Freeze for Path

§

impl RefUnwindSafe for Path

§

impl Send for Path

§

impl Sync for Path

§

impl Unpin for Path

§

impl UnwindSafe for Path

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/expr/type.Expr.html b/doc/flux_middle/rty/expr/type.Expr.html index 89ea9ff4ab..a0be33bd58 100644 --- a/doc/flux_middle/rty/expr/type.Expr.html +++ b/doc/flux_middle/rty/expr/type.Expr.html @@ -38,7 +38,7 @@ Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the / operator.
source§

fn div(self, rhs: Rhs) -> Self::Output

Performs the / operation. Read more
source§

impl<Rhs> Div<Rhs> for Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the / operator.
source§

fn div(self, rhs: Rhs) -> Self::Output

Performs the / operation. Read more
source§

impl From<&Interned<ExprS>> for Expr

source§

fn from(e: &Expr) -> Self

Converts to this type from the input type.
source§

impl From<Name> for Expr

source§

fn from(name: Name) -> Self

Converts to this type from the input type.
source§

impl From<Path> for Expr

source§

fn from(path: Path) -> Self

Converts to this type from the input type.
source§

impl From<Var> for Expr

source§

fn from(var: Var) -> Self

Converts to this type from the input type.
source§

impl From<i32> for Expr

source§

fn from(value: i32) -> Self

Converts to this type from the input type.
source§

impl<Rhs> Mul<Rhs> for &Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation. Read more
source§

impl<Rhs> Mul<Rhs> for Expr
where - Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation. Read more
source§

impl Pretty for Expr

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Expr

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl<Rhs> Sub<Rhs> for &Expr
where + Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation. Read more
source§

impl Pretty for Expr

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Expr

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl<Rhs> Sub<Rhs> for &Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: Rhs) -> Self::Output

Performs the - operation. Read more
source§

impl<Rhs> Sub<Rhs> for Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: Rhs) -> Self::Output

Performs the - operation. Read more
source§

impl TypeFoldable for Expr

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, diff --git a/doc/flux_middle/rty/struct.AliasReft.html b/doc/flux_middle/rty/struct.AliasReft.html index 826f7e2fc7..83b08b9676 100644 --- a/doc/flux_middle/rty/struct.AliasReft.html +++ b/doc/flux_middle/rty/struct.AliasReft.html @@ -6,7 +6,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for AliasReft

source§

fn eq(&self, other: &AliasReft) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for AliasReft

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for AliasReft

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for AliasReft

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for AliasReft

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/struct.Binder.html b/doc/flux_middle/rty/struct.Binder.html index 617001d345..acffda69ff 100644 --- a/doc/flux_middle/rty/struct.Binder.html +++ b/doc/flux_middle/rty/struct.Binder.html @@ -19,8 +19,8 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl<T: PartialEq> PartialEq for Binder<T>

source§

fn eq(&self, other: &Binder<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Binder<FnOutput>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> Pretty for Binder<T>
where - T: Pretty,

source§

default fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> TypeFoldable for Binder<T>
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Binder<FnOutput>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> Pretty for Binder<T>
where + T: Pretty,

source§

default fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl<T> TypeFoldable for Binder<T>
where T: TypeFoldable,

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, diff --git a/doc/flux_middle/rty/struct.FnOutput.html b/doc/flux_middle/rty/struct.FnOutput.html index ed76b00062..67bcbd8a74 100644 --- a/doc/flux_middle/rty/struct.FnOutput.html +++ b/doc/flux_middle/rty/struct.FnOutput.html @@ -1,7 +1,7 @@ FnOutput in flux_middle::rty - Rust

Struct flux_middle::rty::FnOutput

source · 
pub struct FnOutput {
     pub ret: Ty,
     pub ensures: List<Ensures>,
-}

Fields§

§ret: Ty§ensures: List<Ensures>

Implementations§

source§

impl FnOutput

source

pub fn new(ret: Ty, ensures: impl Into<List<Ensures>>) -> Self

Trait Implementations§

source§

impl Clone for FnOutput

source§

fn clone(&self) -> FnOutput

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for FnOutput

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<__D: TyDecoder> Decodable<__D> for FnOutput

source§

fn decode(__decoder: &mut __D) -> Self

source§

impl<__E: TyEncoder> Encodable<__E> for FnOutput

source§

fn encode(&self, __encoder: &mut __E)

source§

impl Pretty for FnOutput

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for FnOutput

source§

fn try_fold_with<F: FallibleTypeFolder>( +}

Fields§

§ret: Ty§ensures: List<Ensures>

Implementations§

source§

impl FnOutput

source

pub fn new(ret: Ty, ensures: impl Into<List<Ensures>>) -> Self

Trait Implementations§

source§

impl Clone for FnOutput

source§

fn clone(&self) -> FnOutput

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for FnOutput

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<__D: TyDecoder> Decodable<__D> for FnOutput

source§

fn decode(__decoder: &mut __D) -> Self

source§

impl<__E: TyEncoder> Encodable<__E> for FnOutput

source§

fn encode(&self, __encoder: &mut __E)

source§

impl Pretty for FnOutput

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for FnOutput

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/struct.FuncSort.html b/doc/flux_middle/rty/struct.FuncSort.html index 2060e93eb3..b649f079f0 100644 --- a/doc/flux_middle/rty/struct.FuncSort.html +++ b/doc/flux_middle/rty/struct.FuncSort.html @@ -4,7 +4,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl IntoDiagArg for FuncSort

source§

fn into_diag_arg(self) -> DiagArgValue

source§

impl PartialEq for FuncSort

source§

fn eq(&self, other: &FuncSort) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for FuncSort

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for FuncSort

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for FuncSort

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for FuncSort

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/struct.KVar.html b/doc/flux_middle/rty/struct.KVar.html index 7de75a677a..69464521cb 100644 --- a/doc/flux_middle/rty/struct.KVar.html +++ b/doc/flux_middle/rty/struct.KVar.html @@ -13,7 +13,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for KVar

source§

fn eq(&self, other: &KVar) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for KVar

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for KVar

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for KVar

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for KVar

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for KVar

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl TypeFoldable for KVar

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/struct.Lambda.html b/doc/flux_middle/rty/struct.Lambda.html index 173f95bfea..57aa5b9821 100644 --- a/doc/flux_middle/rty/struct.Lambda.html +++ b/doc/flux_middle/rty/struct.Lambda.html @@ -10,7 +10,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Lambda

source§

fn eq(&self, other: &Lambda) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Lambda

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for Lambda

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Lambda

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for Lambda

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/struct.Path.html b/doc/flux_middle/rty/struct.Path.html index 490c68acc2..cf047e8624 100644 --- a/doc/flux_middle/rty/struct.Path.html +++ b/doc/flux_middle/rty/struct.Path.html @@ -10,7 +10,7 @@ by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for Path

source§

fn partial_cmp(&self, other: &Path) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= -operator. Read more
source§

impl Pretty for Path

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for Path

source§

impl StructuralPartialEq for Path

Auto Trait Implementations§

§

impl Freeze for Path

§

impl RefUnwindSafe for Path

§

impl Send for Path

§

impl Sync for Path

§

impl Unpin for Path

§

impl UnwindSafe for Path

Blanket Implementations§

source§

impl<T> Any for T
where +operator. Read more

source§

impl Pretty for Path

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for Path

source§

impl StructuralPartialEq for Path

Auto Trait Implementations§

§

impl Freeze for Path

§

impl RefUnwindSafe for Path

§

impl Send for Path

§

impl Sync for Path

§

impl Unpin for Path

§

impl UnwindSafe for Path

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rty/struct.PolyFuncSort.html b/doc/flux_middle/rty/struct.PolyFuncSort.html index 8394825668..dba2eaa089 100644 --- a/doc/flux_middle/rty/struct.PolyFuncSort.html +++ b/doc/flux_middle/rty/struct.PolyFuncSort.html @@ -5,7 +5,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for PolyFuncSort

source§

fn eq(&self, other: &PolyFuncSort) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for PolyFuncSort

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for PolyFuncSort

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for PolyFuncSort

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for PolyFuncSort

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/struct.SubsetTy.html b/doc/flux_middle/rty/struct.SubsetTy.html index d3a68a741d..be5c1261e2 100644 --- a/doc/flux_middle/rty/struct.SubsetTy.html +++ b/doc/flux_middle/rty/struct.SubsetTy.html @@ -43,7 +43,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for SubsetTy

source§

fn eq(&self, other: &SubsetTy) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for SubsetTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for SubsetTy

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for SubsetTy

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for SubsetTy

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/struct.VariantSig.html b/doc/flux_middle/rty/struct.VariantSig.html index 76c4212c4d..d6baede67a 100644 --- a/doc/flux_middle/rty/struct.VariantSig.html +++ b/doc/flux_middle/rty/struct.VariantSig.html @@ -12,7 +12,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for VariantSig

source§

fn eq(&self, other: &VariantSig) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for VariantSig

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for VariantSig

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for VariantSig

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeFoldable for VariantSig

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rty/type.Expr.html b/doc/flux_middle/rty/type.Expr.html index e097c76987..4e21f2e3a0 100644 --- a/doc/flux_middle/rty/type.Expr.html +++ b/doc/flux_middle/rty/type.Expr.html @@ -38,7 +38,7 @@ Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the / operator.
source§

fn div(self, rhs: Rhs) -> Self::Output

Performs the / operation. Read more
source§

impl<Rhs> Div<Rhs> for Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the / operator.
source§

fn div(self, rhs: Rhs) -> Self::Output

Performs the / operation. Read more
source§

impl From<&Interned<ExprS>> for Expr

source§

fn from(e: &Expr) -> Self

Converts to this type from the input type.
source§

impl From<Name> for Expr

source§

fn from(name: Name) -> Self

Converts to this type from the input type.
source§

impl From<Path> for Expr

source§

fn from(path: Path) -> Self

Converts to this type from the input type.
source§

impl From<Var> for Expr

source§

fn from(var: Var) -> Self

Converts to this type from the input type.
source§

impl From<i32> for Expr

source§

fn from(value: i32) -> Self

Converts to this type from the input type.
source§

impl<Rhs> Mul<Rhs> for &Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation. Read more
source§

impl<Rhs> Mul<Rhs> for Expr
where - Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation. Read more
source§

impl Pretty for Expr

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Expr

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl<Rhs> Sub<Rhs> for &Expr
where + Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation. Read more
source§

impl Pretty for Expr

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for Expr

source§

fn storage() -> &'static InternStorage<[Self]>

source§

impl<Rhs> Sub<Rhs> for &Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: Rhs) -> Self::Output

Performs the - operation. Read more
source§

impl<Rhs> Sub<Rhs> for Expr
where Rhs: Into<Expr>,

§

type Output = Interned<ExprS>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: Rhs) -> Self::Output

Performs the - operation. Read more
source§

impl TypeFoldable for Expr

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, diff --git a/doc/flux_middle/rty/type.PolyFnSig.html b/doc/flux_middle/rty/type.PolyFnSig.html index 1ca2a51969..6b09134459 100644 --- a/doc/flux_middle/rty/type.PolyFnSig.html +++ b/doc/flux_middle/rty/type.PolyFnSig.html @@ -1,4 +1,4 @@ PolyFnSig in flux_middle::rty - Rust

Type Alias flux_middle::rty::PolyFnSig

source · 
pub type PolyFnSig = Binder<FnSig>;

Aliased Type§

struct PolyFnSig {
     vars: Interned<[BoundVariableKind]>,
     value: FnSig,
-}

Fields§

§vars: Interned<[BoundVariableKind]>§value: FnSig

Trait Implementations§

source§

impl Pretty for PolyFnSig

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

\ No newline at end of file +}

Fields§

§vars: Interned<[BoundVariableKind]>§value: FnSig

Trait Implementations§

source§

impl Pretty for PolyFnSig

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

\ No newline at end of file diff --git a/doc/flux_middle/rustc/mir/struct.FieldIdx.html b/doc/flux_middle/rustc/mir/struct.FieldIdx.html index 3425196c96..9ea7f6e81d 100644 --- a/doc/flux_middle/rustc/mir/struct.FieldIdx.html +++ b/doc/flux_middle/rustc/mir/struct.FieldIdx.html @@ -15,7 +15,7 @@

b is FieldIdx(1) in VariantIdx(0), d is FieldIdx(1) in VariantIdx(1), and f is FieldIdx(1) in VariantIdx(0).

-

Fields§

§private_use_as_methods_instead: u32

Trait Implementations§

source§

impl Pretty for FieldIdx

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for FieldIdx

source§

fn storage() -> &'static InternStorage<[Self]>

Auto Trait Implementations§

§

impl Freeze for FieldIdx

§

impl RefUnwindSafe for FieldIdx

§

impl Send for FieldIdx

§

impl Sync for FieldIdx

§

impl Unpin for FieldIdx

§

impl UnwindSafe for FieldIdx

Blanket Implementations§

source§

impl<T> Any for T
where +

Fields§

§private_use_as_methods_instead: u32

Trait Implementations§

source§

impl Pretty for FieldIdx

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl SliceInternable for FieldIdx

source§

fn storage() -> &'static InternStorage<[Self]>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rustc/ty/enum.AliasKind.html b/doc/flux_middle/rustc/ty/enum.AliasKind.html index 71829ce6a8..dfd3ef4c4d 100644 --- a/doc/flux_middle/rustc/ty/enum.AliasKind.html +++ b/doc/flux_middle/rustc/ty/enum.AliasKind.html @@ -5,7 +5,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for AliasKind

source§

fn eq(&self, other: &AliasKind) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for AliasKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for AliasKind

source§

impl Eq for AliasKind

source§

impl StructuralPartialEq for AliasKind

Auto Trait Implementations§

§

impl Freeze for AliasKind

§

impl RefUnwindSafe for AliasKind

§

impl Send for AliasKind

§

impl Sync for AliasKind

§

impl Unpin for AliasKind

§

impl UnwindSafe for AliasKind

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for AliasKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for AliasKind

source§

impl Eq for AliasKind

source§

impl StructuralPartialEq for AliasKind

Auto Trait Implementations§

§

impl Freeze for AliasKind

§

impl RefUnwindSafe for AliasKind

§

impl Send for AliasKind

§

impl Sync for AliasKind

§

impl Unpin for AliasKind

§

impl UnwindSafe for AliasKind

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rustc/ty/enum.BoundRegionKind.html b/doc/flux_middle/rustc/ty/enum.BoundRegionKind.html index 8697436c76..00cdf4e96c 100644 --- a/doc/flux_middle/rustc/ty/enum.BoundRegionKind.html +++ b/doc/flux_middle/rustc/ty/enum.BoundRegionKind.html @@ -8,7 +8,7 @@ the event of shadowing.

§

BrEnv

Anonymous region for the implicit env pointer parameter to a closure

-

Trait Implementations§

source§

impl Pretty for BoundRegionKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl Freeze for BoundRegionKind

§

impl RefUnwindSafe for BoundRegionKind

§

impl Send for BoundRegionKind

§

impl Sync for BoundRegionKind

§

impl Unpin for BoundRegionKind

§

impl UnwindSafe for BoundRegionKind

Blanket Implementations§

source§

impl<T> Any for T
where +

Trait Implementations§

source§

impl Pretty for BoundRegionKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl Freeze for BoundRegionKind

§

impl RefUnwindSafe for BoundRegionKind

§

impl Send for BoundRegionKind

§

impl Sync for BoundRegionKind

§

impl Unpin for BoundRegionKind

§

impl UnwindSafe for BoundRegionKind

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_middle/rustc/ty/enum.Region.html b/doc/flux_middle/rustc/ty/enum.Region.html index 2e003e1dda..131a66d07c 100644 --- a/doc/flux_middle/rustc/ty/enum.Region.html +++ b/doc/flux_middle/rustc/ty/enum.Region.html @@ -8,7 +8,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Region

source§

fn eq(&self, other: &Region) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Region

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Subst for Region

source§

fn subst(&self, args: &[GenericArg]) -> Self

source§

impl TypeFoldable for Region

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Region

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Subst for Region

source§

fn subst(&self, args: &[GenericArg]) -> Self

source§

impl TypeFoldable for Region

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rustc/ty/struct.Const.html b/doc/flux_middle/rustc/ty/struct.Const.html index 175bd794b5..05cc13865f 100644 --- a/doc/flux_middle/rustc/ty/struct.Const.html +++ b/doc/flux_middle/rustc/ty/struct.Const.html @@ -4,7 +4,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Const

source§

fn eq(&self, other: &Const) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Const

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Subst for Const

source§

fn subst(&self, args: &[GenericArg]) -> Self

source§

impl TypeFoldable for Const

source§

fn try_fold_with<F: FallibleTypeFolder>( +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Const

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Subst for Const

source§

fn subst(&self, args: &[GenericArg]) -> Self

source§

impl TypeFoldable for Const

source§

fn try_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

source§

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

source§

fn normalize_projections<'tcx>( diff --git a/doc/flux_middle/rustc/ty/struct.DebruijnIndex.html b/doc/flux_middle/rustc/ty/struct.DebruijnIndex.html index 2f075545d7..124046b9b0 100644 --- a/doc/flux_middle/rustc/ty/struct.DebruijnIndex.html +++ b/doc/flux_middle/rustc/ty/struct.DebruijnIndex.html @@ -33,7 +33,7 @@ rather the outer one). Therefore, in this case, it is assigned a De Bruijn index of 0, because the innermost binder in that location is the outer fn.

-

Fields§

§private_use_as_methods_instead: u32

Trait Implementations§

source§

impl Pretty for DebruijnIndex

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl Freeze for DebruijnIndex

§

impl RefUnwindSafe for DebruijnIndex

§

impl Send for DebruijnIndex

§

impl Sync for DebruijnIndex

§

impl Unpin for DebruijnIndex

§

impl UnwindSafe for DebruijnIndex

Blanket Implementations§

source§

impl<T> Any for T
where +

Fields§

§private_use_as_methods_instead: u32

Trait Implementations§

source§

impl Pretty for DebruijnIndex

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_refineck/constraint_gen/struct.Tag.html b/doc/flux_refineck/constraint_gen/struct.Tag.html index 1eba63a620..35b5314c1e 100644 --- a/doc/flux_refineck/constraint_gen/struct.Tag.html +++ b/doc/flux_refineck/constraint_gen/struct.Tag.html @@ -6,7 +6,7 @@ H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Tag

source§

fn eq(&self, other: &Tag) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Tag

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for Tag

source§

impl Eq for Tag

source§

impl StructuralPartialEq for Tag

Auto Trait Implementations§

§

impl Freeze for Tag

§

impl RefUnwindSafe for Tag

§

impl Send for Tag

§

impl Sync for Tag

§

impl Unpin for Tag

§

impl UnwindSafe for Tag

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Tag

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Copy for Tag

source§

impl Eq for Tag

source§

impl StructuralPartialEq for Tag

Auto Trait Implementations§

§

impl Freeze for Tag

§

impl RefUnwindSafe for Tag

§

impl Send for Tag

§

impl Sync for Tag

§

impl Unpin for Tag

§

impl UnwindSafe for Tag

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_refineck/refine_tree/struct.NodePtr.html b/doc/flux_refineck/refine_tree/struct.NodePtr.html index f8a0a4f519..a11c769ebd 100644 --- a/doc/flux_refineck/refine_tree/struct.NodePtr.html +++ b/doc/flux_refineck/refine_tree/struct.NodePtr.html @@ -1,4 +1,4 @@ -NodePtr in flux_refineck::refine_tree - Rust

Struct flux_refineck::refine_tree::NodePtr

source · 
struct NodePtr(Rc<RefCell<Node>>);

Tuple Fields§

§0: Rc<RefCell<Node>>

Implementations§

source§

impl NodePtr

source

fn downgrade(this: &Self) -> WeakNodePtr

source

fn push_guard(&mut self, pred: impl Into<Expr>)

source

fn name_gen(&self) -> IndexGen<Name>

source

fn push_node(&mut self, kind: NodeKind) -> NodePtr

source

fn next_name_idx(&self) -> usize

Trait Implementations§

source§

impl Clone for NodePtr

source§

fn clone(&self) -> NodePtr

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Deref for NodePtr

§

type Target = Rc<RefCell<Node>>

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.
source§

impl Pretty for NodePtr

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for NodePtr

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> HashSet<Name, BuildHasherDefault<FxHasher>>

Returns the set of all free variables. +NodePtr in flux_refineck::refine_tree - Rust

Struct flux_refineck::refine_tree::NodePtr

source · 
struct NodePtr(Rc<RefCell<Node>>);

Tuple Fields§

§0: Rc<RefCell<Node>>

Implementations§

source§

impl NodePtr

source

fn downgrade(this: &Self) -> WeakNodePtr

source

fn push_guard(&mut self, pred: impl Into<Expr>)

source

fn name_gen(&self) -> IndexGen<Name>

source

fn push_node(&mut self, kind: NodeKind) -> NodePtr

source

fn next_name_idx(&self) -> usize

Trait Implementations§

source§

impl Clone for NodePtr

source§

fn clone(&self) -> NodePtr

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Deref for NodePtr

§

type Target = Rc<RefCell<Node>>

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.
source§

impl Pretty for NodePtr

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for NodePtr

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> HashSet<Name, BuildHasherDefault<FxHasher>>

Returns the set of all free variables. For example, Vec<i32[n]>{v : v > m} returns {n, m}.

Auto Trait Implementations§

§

impl Freeze for NodePtr

§

impl !RefUnwindSafe for NodePtr

§

impl !Send for NodePtr

§

impl !Sync for NodePtr

§

impl Unpin for NodePtr

§

impl !UnwindSafe for NodePtr

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where diff --git a/doc/flux_refineck/refine_tree/struct.RefineCtxt.html b/doc/flux_refineck/refine_tree/struct.RefineCtxt.html index 5354249c28..0756be9277 100644 --- a/doc/flux_refineck/refine_tree/struct.RefineCtxt.html +++ b/doc/flux_refineck/refine_tree/struct.RefineCtxt.html @@ -26,7 +26,7 @@ pred1: impl Into<Expr>, pred2: impl Into<Expr>, tag: Tag, -)

source

pub(crate) fn unpack(&mut self, ty: &Ty) -> Ty

source

pub(crate) fn unpacker(&mut self) -> Unpacker<'_, 'rcx>

source

pub(crate) fn assume_invariants(&mut self, ty: &Ty, overflow_checking: bool)

source

pub(crate) fn replace_evars(&mut self, evars: &EVarSol)

Trait Implementations§

source§

impl Debug for RefineCtxt<'_>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for RefineCtxt<'_>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl<'a> Freeze for RefineCtxt<'a>

§

impl<'a> !RefUnwindSafe for RefineCtxt<'a>

§

impl<'a> !Send for RefineCtxt<'a>

§

impl<'a> !Sync for RefineCtxt<'a>

§

impl<'a> Unpin for RefineCtxt<'a>

§

impl<'a> !UnwindSafe for RefineCtxt<'a>

Blanket Implementations§

source§

impl<T> Any for T
where +)

source

pub(crate) fn unpack(&mut self, ty: &Ty) -> Ty

source

pub(crate) fn unpacker(&mut self) -> Unpacker<'_, 'rcx>

source

pub(crate) fn assume_invariants(&mut self, ty: &Ty, overflow_checking: bool)

source

pub(crate) fn replace_evars(&mut self, evars: &EVarSol)

Trait Implementations§

source§

impl Debug for RefineCtxt<'_>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for RefineCtxt<'_>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl<'a> Freeze for RefineCtxt<'a>

§

impl<'a> !RefUnwindSafe for RefineCtxt<'a>

§

impl<'a> !Send for RefineCtxt<'a>

§

impl<'a> !Sync for RefineCtxt<'a>

§

impl<'a> Unpin for RefineCtxt<'a>

§

impl<'a> !UnwindSafe for RefineCtxt<'a>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/doc/flux_refineck/refine_tree/struct.RefineSubtree.html b/doc/flux_refineck/refine_tree/struct.RefineSubtree.html index 91f67f28fa..0120761198 100644 --- a/doc/flux_refineck/refine_tree/struct.RefineSubtree.html +++ b/doc/flux_refineck/refine_tree/struct.RefineSubtree.html @@ -7,7 +7,7 @@
§root: NodePtr

Implementations§

source§

impl<'a> RefineSubtree<'a>

source

pub(crate) fn refine_ctxt_at_root(&mut self) -> RefineCtxt<'_>

source

pub(crate) fn refine_ctxt_at( &mut self, snapshot: &Snapshot, -) -> Option<RefineCtxt<'_>>

source

pub(crate) fn clear_children(&mut self, snapshot: &Snapshot)

Trait Implementations§

source§

impl Debug for RefineSubtree<'_>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for RefineSubtree<'_>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl<'a> Freeze for RefineSubtree<'a>

§

impl<'a> !RefUnwindSafe for RefineSubtree<'a>

§

impl<'a> !Send for RefineSubtree<'a>

§

impl<'a> !Sync for RefineSubtree<'a>

§

impl<'a> Unpin for RefineSubtree<'a>

§

impl<'a> !UnwindSafe for RefineSubtree<'a>

Blanket Implementations§

source§

impl<T> Any for T
where +) -> Option<RefineCtxt<'_>>

source

pub(crate) fn clear_children(&mut self, snapshot: &Snapshot)

Trait Implementations§

source§

impl Debug for RefineSubtree<'_>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for RefineSubtree<'_>

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

Auto Trait Implementations§

§

impl<'a> Freeze for RefineSubtree<'a>

§

impl<'a> !RefUnwindSafe for RefineSubtree<'a>

§

impl<'a> !Send for RefineSubtree<'a>

§

impl<'a> !Sync for RefineSubtree<'a>

§

impl<'a> Unpin for RefineSubtree<'a>

§

impl<'a> !UnwindSafe for RefineSubtree<'a>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/doc/flux_refineck/refine_tree/struct.RefineTree.html b/doc/flux_refineck/refine_tree/struct.RefineTree.html index ba57282814..6210fef2c8 100644 --- a/doc/flux_refineck/refine_tree/struct.RefineTree.html +++ b/doc/flux_refineck/refine_tree/struct.RefineTree.html @@ -15,7 +15,7 @@

Fields§

§root: NodePtr

Implementations§

source§

impl RefineTree

source

pub(crate) fn new(const_params: List<(ParamConst, Sort)>) -> RefineTree

source

pub(crate) fn simplify(&mut self)

source

pub(crate) fn into_fixpoint( self, cx: &mut FixpointCtxt<'_, '_, Tag>, -) -> QueryResult<Constraint<FixpointTypes>>

source

pub(crate) fn refine_ctxt_at_root(&mut self) -> RefineCtxt<'_>

Trait Implementations§

source§

impl Debug for RefineTree

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for RefineTree

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for RefineTree

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> HashSet<Name, BuildHasherDefault<FxHasher>>

Returns the set of all free variables. +) -> QueryResult<Constraint<FixpointTypes>>

source

pub(crate) fn refine_ctxt_at_root(&mut self) -> RefineCtxt<'_>

Trait Implementations§

source§

impl Debug for RefineTree

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Pretty for RefineTree

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl TypeVisitable for RefineTree

source§

fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>

source§

fn has_escaping_bvars(&self) -> bool

source§

fn fvars(&self) -> HashSet<Name, BuildHasherDefault<FxHasher>>

Returns the set of all free variables. For example, Vec<i32[n]>{v : v > m} returns {n, m}.

Auto Trait Implementations§

§

impl Freeze for RefineTree

§

impl !RefUnwindSafe for RefineTree

§

impl !Send for RefineTree

§

impl !Sync for RefineTree

§

impl Unpin for RefineTree

§

impl !UnwindSafe for RefineTree

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where diff --git a/doc/flux_refineck/refine_tree/struct.Scope.html b/doc/flux_refineck/refine_tree/struct.Scope.html index ab4c548748..b9611ecc1c 100644 --- a/doc/flux_refineck/refine_tree/struct.Scope.html +++ b/doc/flux_refineck/refine_tree/struct.Scope.html @@ -5,7 +5,7 @@

Fields§

§bindings: IndexVec<Name, Sort>§reftgenerics: List<(ParamConst, Sort)>

Implementations§

source§

impl Scope

source

pub(crate) fn iter(&self) -> impl Iterator<Item = (Var, Sort)> + '_

source

pub(crate) fn has_free_vars<T: TypeFoldable>(&self, t: &T) -> bool

Whether t has any free variables not in this scope

source

fn contains_all(&self, iter: impl IntoIterator<Item = Name>) -> bool

source

fn contains(&self, name: Name) -> bool

Trait Implementations§

source§

impl Debug for Scope

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Index<Name> for Scope

§

type Output = Sort

The returned type after indexing.
source§

fn index(&self, name: Name) -> &Self::Output

Performs the indexing (container[index]) operation. Read more
source§

impl PartialEq for Scope

source§

fn eq(&self, other: &Scope) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for Scope

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for Scope

source§

impl StructuralPartialEq for Scope

Auto Trait Implementations§

§

impl Freeze for Scope

§

impl RefUnwindSafe for Scope

§

impl Send for Scope

§

impl Sync for Scope

§

impl Unpin for Scope

§

impl UnwindSafe for Scope

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for Scope

source§

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for Scope

source§

impl StructuralPartialEq for Scope

Auto Trait Implementations§

§

impl Freeze for Scope

§

impl RefUnwindSafe for Scope

§

impl Send for Scope

§

impl Sync for Scope

§

impl Unpin for Scope

§

impl UnwindSafe for Scope

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<Q, K> Equivalent<K> for Q
where diff --git a/doc/flux_refineck/type_env/place_ty/enum.LocKind.html b/doc/flux_refineck/type_env/place_ty/enum.LocKind.html index a41cacef00..ec7ecf434e 100644 --- a/doc/flux_refineck/type_env/place_ty/enum.LocKind.html +++ b/doc/flux_refineck/type_env/place_ty/enum.LocKind.html @@ -4,7 +4,7 @@ Universal, }

Variants§

§

Local

§

Box(Ty)

§

Universal

Trait Implementations§

source§

impl Clone for LocKind

source§

fn clone(&self) -> LocKind

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for LocKind

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl PartialEq for LocKind

source§

fn eq(&self, other: &LocKind) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl Pretty for LocKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for LocKind

source§

impl StructuralPartialEq for LocKind

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where +sufficient, and should not be overridden without very good reason.

source§

impl Pretty for LocKind

source§

fn fmt(&self, _cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

source§

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>

source§

impl Eq for LocKind

source§

impl StructuralPartialEq for LocKind

Auto Trait Implementations§

§

impl Freeze for LocKind

§

impl RefUnwindSafe for LocKind

§

impl Send for LocKind

§

impl Sync for LocKind

§

impl Unpin for LocKind

§

impl UnwindSafe for LocKind

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where diff --git a/doc/flux_refineck/type_env/place_ty/struct.LookupResult.html b/doc/flux_refineck/type_env/place_ty/struct.LookupResult.html index bfcc30ce08..0807d11135 100644 --- a/doc/flux_refineck/type_env/place_ty/struct.LookupResult.html +++ b/doc/flux_refineck/type_env/place_ty/struct.LookupResult.html @@ -1,4 +1,4 @@ -LookupResult in flux_refineck::type_env::place_ty - Rust

Struct flux_refineck::type_env::place_ty::LookupResult

source · 
pub(crate) struct LookupResult<'a> {
+LookupResult in flux_refineck::type_env::place_ty - Rust
Struct flux_refineck::type_env::place_ty::LookupResult
source · 
pub(super) struct LookupResult<'a> {
     pub ty: Ty,
     pub is_strg: bool,
     cursor: Cursor,
diff --git a/doc/flux_refineck/type_env/struct.TypeEnv.html b/doc/flux_refineck/type_env/struct.TypeEnv.html
index c2131d8d30..20755454e9 100644
--- a/doc/flux_refineck/type_env/struct.TypeEnv.html
+++ b/doc/flux_refineck/type_env/struct.TypeEnv.html
@@ -18,7 +18,7 @@
     place: &Place,
 ) -> Result<Ty, CheckerErrKind>

When checking a borrow in the right hand side of an assignment x = &'?n p, we use the annotated region '?n in the type of the result. This region will only be used temporarily -and then replaced by the region in the type of the x after the assignment.

+and then replaced by the region in the type of x after the assignment.

source

pub(crate) fn ptr_to_borrow( &mut self, rcx: &mut RefineCtxt<'_>, diff --git a/doc/src/flux_middle/pretty.rs.html b/doc/src/flux_middle/pretty.rs.html index 5b9ee40eee..6d65d1706b 100644 --- a/doc/src/flux_middle/pretty.rs.html +++ b/doc/src/flux_middle/pretty.rs.html @@ -523,6 +523,22 @@ 523 524 525 +526 +527 +528 +529 +530 +531 +532 +533 +534 +535 +536 +537 +538 +539 +540 +541 

use std::{cell::RefCell, fmt};
 
 use flux_common::index::IndexGen;
@@ -646,6 +662,22 @@
     rustc_middle::ty::tls::with(|tcx| {
         #[allow(unused_mut)]
         let mut cx = <T>::default_cx(tcx);
+
+        if let Some(pprint) = flux_config::CONFIG_FILE
+            .get("dev")
+            .and_then(|dev| dev.get("pprint"))
+        {
+            if let Some(opts) = pprint.get("default") {
+                cx.merge(opts)
+            }
+
+            if let Some(key) = cfg_key
+                && let Some(opts) = pprint.get(key)
+            {
+                cx.merge(opts)
+            }
+        }
+
         if let Some(key) = cfg_key
             && let Some(opts) = flux_config::CONFIG_FILE
                 .get("dev")
diff --git a/doc/src/flux_middle/rty/subst.rs.html b/doc/src/flux_middle/rty/subst.rs.html
index 9781aca054..894a2cfe35 100644
--- a/doc/src/flux_middle/rty/subst.rs.html
+++ b/doc/src/flux_middle/rty/subst.rs.html
@@ -845,7 +845,7 @@
         match self.0.get(param_ty.index as usize) {
             Some(GenericArg::Base(ctor)) => Ok(ctor.sort()),
             Some(arg) => {
-                tracked_span_bug!("extected base type for generic parameter, found `{arg:?}`")
+                tracked_span_bug!("expected base type for generic parameter, found `{arg:?}`")
             }
             None => tracked_span_bug!("type parameter out of range {param_ty:?}"),
         }
diff --git a/doc/src/flux_refineck/type_env.rs.html b/doc/src/flux_refineck/type_env.rs.html
index e43561bc28..177c2f61fa 100644
--- a/doc/src/flux_refineck/type_env.rs.html
+++ b/doc/src/flux_refineck/type_env.rs.html
@@ -792,7 +792,7 @@
 
     /// When checking a borrow in the right hand side of an assignment `x = &'?n p`, we use the
     /// annotated region `'?n` in the type of the result. This region will only be used temporarily
-    /// and then replaced by the region in the type of the `x` after the assignment.
+    /// and then replaced by the region in the type of `x` after the assignment.
     pub(crate) fn borrow(
         &mut self,
         genv: GlobalEnv,
diff --git a/doc/src/flux_refineck/type_env/place_ty.rs.html b/doc/src/flux_refineck/type_env/place_ty.rs.html
index 1c7f290f7b..48459edc1f 100644
--- a/doc/src/flux_refineck/type_env/place_ty.rs.html
+++ b/doc/src/flux_refineck/type_env/place_ty.rs.html
@@ -1054,7 +1054,7 @@
     }
 }
 
-pub(crate) struct LookupResult<'a> {
+pub(super) struct LookupResult<'a> {
     pub ty: Ty,
     pub is_strg: bool,
     cursor: Cursor,
diff --git a/doc/type.impl/flux_middle/intern/struct.Interned.js b/doc/type.impl/flux_middle/intern/struct.Interned.js
index d634c54af2..2c564883fa 100644
--- a/doc/type.impl/flux_middle/intern/struct.Interned.js
+++ b/doc/type.impl/flux_middle/intern/struct.Interned.js
@@ -1,3 +1,3 @@
 (function() {var type_impls = {
-"flux_middle":[["
source§
impl<T: Internable + ?Sized> AsRef<T> for Interned<T>
source§
fn as_ref(&self) -> &T
Converts this type into a shared reference of the (usually inferred) input type.
","AsRef","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Clone for Interned<T>
source§
fn clone(&self) -> Self
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
","Clone","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Debug + Internable + ?Sized> Debug for Interned<T>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
","Debug","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<D, T> Decodable<D> for Interned<[T]>
where\n    D: Decoder,\n    T: Decodable<D>,\n    [T]: Internable,
source§
fn decode(d: &mut D) -> Self
","Decodable","flux_middle::intern::List"],["
source§
impl<D, T> Decodable<D> for Interned<T>
where\n    D: Decoder,\n    T: Decodable<D> + Internable,
source§
fn decode(d: &mut D) -> Self
","Decodable","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Deref for Interned<T>
§
type Target = T
The resulting type after dereferencing.
source§
fn deref(&self) -> &Self::Target
Dereferences the value.
","Deref","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Display + Internable + ?Sized> Display for Interned<T>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
","Display","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Drop for Interned<T>
source§
fn drop(&mut self)
Executes the destructor for this type. Read more
","Drop","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<E, T> Encodable<E> for Interned<[T]>
where\n    E: Encoder,\n    T: Encodable<E>,\n    [T]: Internable,
source§
fn encode(&self, s: &mut E)
","Encodable","flux_middle::intern::List"],["
source§
impl<E, T> Encodable<E> for Interned<T>
where\n    E: Encoder,\n    T: Encodable<E> + Internable,
source§
fn encode(&self, s: &mut E)
","Encodable","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T> From<&[T]> for Interned<[T]>
where\n    [T]: Internable,\n    T: Clone,
source§
fn from(slice: &[T]) -> Self
Converts to this type from the input type.
","From<&[T]>","flux_middle::intern::List"],["
source§
impl<T> From<Vec<T>> for Interned<[T]>
where\n    [T]: Internable,
source§
fn from(vec: Vec<T>) -> Self
Converts to this type from the input type.
","From>","flux_middle::intern::List"],["
source§
impl<T: Internable + ?Sized> Hash for Interned<T>
source§
fn hash<H: Hasher>(&self, state: &mut H)
Feeds this value into the given Hasher. Read more
1.3.0 · source§
fn hash_slice<H>(data: &[Self], state: &mut H)
where\n    H: Hasher,\n    Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
","Hash","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl Interned<[GenericArg]>
source
pub fn identity_for_item(\n    genv: GlobalEnv<'_, '_>,\n    def_id: impl Into<DefId>,\n) -> QueryResult<Self>
source
fn fill_item<F>(\n    genv: GlobalEnv<'_, '_>,\n    args: &mut Vec<GenericArg>,\n    generics: &Generics,\n    mk_kind: &mut F,\n) -> QueryResult<()>
where\n    F: FnMut(&GenericParamDef, &[GenericArg]) -> GenericArg,
source
fn to_rustc<'tcx>(&self, tcx: TyCtxt<'tcx>) -> GenericArgsRef<'tcx>
",0,"flux_middle::intern::List"],["
source§
impl Interned<[GenericArg]>
source
pub fn as_closure(&self) -> ClosureArgs
source
pub fn as_coroutine(&self) -> CoroutineArgs
",0,"flux_middle::intern::List"],["
source§
impl<T: Internable> Interned<T>
source
pub fn new(obj: T) -> Self
",0,"flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Interned<T>
source
fn select(\n    obj: &T,\n) -> (RwLockWriteGuard<'static, HashMap<Arc<T>, SharedValue<()>, BuildHasherDefault<FxHasher>>>, u64)
",0,"flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Interned<T>
source
fn drop_slow(&mut self)
",0,"flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Ord + Internable> Ord for Interned<T>
source§
fn cmp(&self, other: &Self) -> Ordering
This method returns an Ordering between self and other. Read more
1.21.0 · source§
fn max(self, other: Self) -> Self
where\n    Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 · source§
fn min(self, other: Self) -> Self
where\n    Self: Sized,
Compares and returns the minimum of two values. Read more
1.50.0 · source§
fn clamp(self, min: Self, max: Self) -> Self
where\n    Self: Sized + PartialOrd,
Restrict a value to a certain interval. Read more
","Ord","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T> PartialEq for Interned<[T]>
where\n    [T]: Internable,
source§
fn eq(&self, other: &Self) -> bool
This method tests for self and other values to be equal, and is used\nby ==.
1.0.0 · source§
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always\nsufficient, and should not be overridden without very good reason.
","PartialEq","flux_middle::intern::List"],["
source§
impl<T: Internable> PartialEq for Interned<T>
Compares interned Refs using pointer equality.
\n
source§
fn eq(&self, other: &Self) -> bool
This method tests for self and other values to be equal, and is used\nby ==.
1.0.0 · source§
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always\nsufficient, and should not be overridden without very good reason.
","PartialEq","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: PartialOrd + Internable> PartialOrd for Interned<T>
source§
fn partial_cmp(&self, other: &Self) -> Option<Ordering>
This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self and other) and is used by the <=\noperator. Read more
1.0.0 · source§
fn gt(&self, other: &Rhs) -> bool
This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§
fn ge(&self, other: &Rhs) -> bool
This method tests greater than or equal to (for self and other) and is used by the >=\noperator. Read more
","PartialOrd","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Pretty + Internable> Pretty for Interned<T>
source§
fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
source§
fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>
","Pretty","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T> Eq for Interned<[T]>
where\n    [T]: Internable,
","Eq","flux_middle::intern::List"],["
source§
impl<T: Internable> Eq for Interned<T>
","Eq","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"]]
+"flux_middle":[["
source§
impl<T: Internable + ?Sized> AsRef<T> for Interned<T>
source§
fn as_ref(&self) -> &T
Converts this type into a shared reference of the (usually inferred) input type.
","AsRef","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Clone for Interned<T>
source§
fn clone(&self) -> Self
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
","Clone","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Debug + Internable + ?Sized> Debug for Interned<T>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
","Debug","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<D, T> Decodable<D> for Interned<[T]>
where\n    D: Decoder,\n    T: Decodable<D>,\n    [T]: Internable,
source§
fn decode(d: &mut D) -> Self
","Decodable","flux_middle::intern::List"],["
source§
impl<D, T> Decodable<D> for Interned<T>
where\n    D: Decoder,\n    T: Decodable<D> + Internable,
source§
fn decode(d: &mut D) -> Self
","Decodable","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Deref for Interned<T>
§
type Target = T
The resulting type after dereferencing.
source§
fn deref(&self) -> &Self::Target
Dereferences the value.
","Deref","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Display + Internable + ?Sized> Display for Interned<T>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
","Display","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Drop for Interned<T>
source§
fn drop(&mut self)
Executes the destructor for this type. Read more
","Drop","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<E, T> Encodable<E> for Interned<[T]>
where\n    E: Encoder,\n    T: Encodable<E>,\n    [T]: Internable,
source§
fn encode(&self, s: &mut E)
","Encodable","flux_middle::intern::List"],["
source§
impl<E, T> Encodable<E> for Interned<T>
where\n    E: Encoder,\n    T: Encodable<E> + Internable,
source§
fn encode(&self, s: &mut E)
","Encodable","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T> From<&[T]> for Interned<[T]>
where\n    [T]: Internable,\n    T: Clone,
source§
fn from(slice: &[T]) -> Self
Converts to this type from the input type.
","From<&[T]>","flux_middle::intern::List"],["
source§
impl<T> From<Vec<T>> for Interned<[T]>
where\n    [T]: Internable,
source§
fn from(vec: Vec<T>) -> Self
Converts to this type from the input type.
","From>","flux_middle::intern::List"],["
source§
impl<T: Internable + ?Sized> Hash for Interned<T>
source§
fn hash<H: Hasher>(&self, state: &mut H)
Feeds this value into the given Hasher. Read more
1.3.0 · source§
fn hash_slice<H>(data: &[Self], state: &mut H)
where\n    H: Hasher,\n    Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
","Hash","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl Interned<[GenericArg]>
source
pub fn identity_for_item(\n    genv: GlobalEnv<'_, '_>,\n    def_id: impl Into<DefId>,\n) -> QueryResult<Self>
source
fn fill_item<F>(\n    genv: GlobalEnv<'_, '_>,\n    args: &mut Vec<GenericArg>,\n    generics: &Generics,\n    mk_kind: &mut F,\n) -> QueryResult<()>
where\n    F: FnMut(&GenericParamDef, &[GenericArg]) -> GenericArg,
source
fn to_rustc<'tcx>(&self, tcx: TyCtxt<'tcx>) -> GenericArgsRef<'tcx>
",0,"flux_middle::intern::List"],["
source§
impl Interned<[GenericArg]>
source
pub fn as_closure(&self) -> ClosureArgs
source
pub fn as_coroutine(&self) -> CoroutineArgs
",0,"flux_middle::intern::List"],["
source§
impl<T: Internable> Interned<T>
source
pub fn new(obj: T) -> Self
",0,"flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Interned<T>
source
fn select(\n    obj: &T,\n) -> (RwLockWriteGuard<'static, HashMap<Arc<T>, SharedValue<()>, BuildHasherDefault<FxHasher>>>, u64)
",0,"flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Internable + ?Sized> Interned<T>
source
fn drop_slow(&mut self)
",0,"flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Ord + Internable> Ord for Interned<T>
source§
fn cmp(&self, other: &Self) -> Ordering
This method returns an Ordering between self and other. Read more
1.21.0 · source§
fn max(self, other: Self) -> Self
where\n    Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 · source§
fn min(self, other: Self) -> Self
where\n    Self: Sized,
Compares and returns the minimum of two values. Read more
1.50.0 · source§
fn clamp(self, min: Self, max: Self) -> Self
where\n    Self: Sized + PartialOrd,
Restrict a value to a certain interval. Read more
","Ord","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T> PartialEq for Interned<[T]>
where\n    [T]: Internable,
source§
fn eq(&self, other: &Self) -> bool
This method tests for self and other values to be equal, and is used\nby ==.
1.0.0 · source§
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always\nsufficient, and should not be overridden without very good reason.
","PartialEq","flux_middle::intern::List"],["
source§
impl<T: Internable> PartialEq for Interned<T>
Compares interned Refs using pointer equality.
\n
source§
fn eq(&self, other: &Self) -> bool
This method tests for self and other values to be equal, and is used\nby ==.
1.0.0 · source§
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always\nsufficient, and should not be overridden without very good reason.
","PartialEq","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: PartialOrd + Internable> PartialOrd for Interned<T>
source§
fn partial_cmp(&self, other: &Self) -> Option<Ordering>
This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self and other) and is used by the <=\noperator. Read more
1.0.0 · source§
fn gt(&self, other: &Rhs) -> bool
This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§
fn ge(&self, other: &Rhs) -> bool
This method tests greater than or equal to (for self and other) and is used by the >=\noperator. Read more
","PartialOrd","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T: Pretty + Internable> Pretty for Interned<T>
source§
fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
source§
fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>
","Pretty","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"],["
source§
impl<T> Eq for Interned<[T]>
where\n    [T]: Internable,
","Eq","flux_middle::intern::List"],["
source§
impl<T: Internable> Eq for Interned<T>
","Eq","flux_middle::intern::List","flux_middle::rty::expr::Expr","flux_middle::rty::Ty"]]
 };if (window.register_type_impls) {window.register_type_impls(type_impls);} else {window.pending_type_impls = type_impls;}})()
\ No newline at end of file
diff --git a/doc/type.impl/flux_middle/rty/struct.Binder.js b/doc/type.impl/flux_middle/rty/struct.Binder.js
index 7bf1cdb8dc..135e6e62e6 100644
--- a/doc/type.impl/flux_middle/rty/struct.Binder.js
+++ b/doc/type.impl/flux_middle/rty/struct.Binder.js
@@ -1,3 +1,3 @@
 (function() {var type_impls = {
-"flux_middle":[["
source§
impl<T> Binder<T>
source
pub fn new(value: T, vars: List<BoundVariableKind>) -> Binder<T>
source
pub fn with_sorts(value: T, sorts: &[Sort]) -> Binder<T>
source
pub fn with_sort(value: T, sort: Sort) -> Binder<T>
source
pub fn vars(&self) -> &List<BoundVariableKind>
source
pub fn as_ref(&self) -> Binder<&T>
source
pub fn skip_binder(self) -> T
source
pub fn rebind<U>(self, value: U) -> Binder<U>
source
pub fn map<U>(self, f: impl FnOnce(T) -> U) -> Binder<U>
source
pub fn try_map<U, E>(\n    self,\n    f: impl FnOnce(T) -> Result<U, E>,\n) -> Result<Binder<U>, E>
source
pub fn sort(&self) -> Sort
",0,"flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> Binder<T>
where\n    T: TypeFoldable,
source
pub fn replace_bound_vars(\n    &self,\n    replace_region: impl FnMut(BoundRegion) -> Region,\n    replace_expr: impl FnMut(&Sort, InferMode) -> Expr,\n) -> T
source
pub fn replace_bound_refts(&self, exprs: &[Expr]) -> T
source
pub fn replace_bound_reft(&self, expr: &Expr) -> T
source
pub fn replace_bound_refts_with(\n    &self,\n    f: impl FnMut(&Sort, InferMode, BoundReftKind) -> Expr,\n) -> T
",0,"flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Clone> Clone for Binder<T>
source§
fn clone(&self) -> Binder<T>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
","Clone","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Pretty> Debug for Binder<T>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
","Debug","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T, __D: TyDecoder> Decodable<__D> for Binder<T>
where\n    T: Decodable<__D>,
source§
fn decode(__decoder: &mut __D) -> Self
","Decodable<__D>","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T, __E: TyEncoder> Encodable<__E> for Binder<T>
where\n    T: Encodable<__E>,
source§
fn encode(&self, __encoder: &mut __E)
","Encodable<__E>","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Hash> Hash for Binder<T>
source§
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given Hasher. Read more
1.3.0 · source§
fn hash_slice<H>(data: &[Self], state: &mut H)
where\n    H: Hasher,\n    Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
","Hash","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: PartialEq> PartialEq for Binder<T>
source§
fn eq(&self, other: &Binder<T>) -> bool
This method tests for self and other values to be equal, and is used\nby ==.
1.0.0 · source§
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always\nsufficient, and should not be overridden without very good reason.
","PartialEq","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> Pretty for Binder<T>
where\n    T: Pretty,
source§
default fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
source§
fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>
","Pretty","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeFoldable for Binder<T>
where\n    T: TypeFoldable,
source§
fn try_fold_with<F: FallibleTypeFolder>(\n    &self,\n    folder: &mut F,\n) -> Result<Self, F::Error>
source§
fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self
source§
fn normalize_projections<'tcx>(\n    &self,\n    genv: GlobalEnv<'_, 'tcx>,\n    infcx: &InferCtxt<'tcx>,\n    callsite_def_id: DefId,\n    refine_params: &[Expr],\n) -> QueryResult<Self>
source§
fn normalize(&self, defns: &SpecFuncDefns) -> Self
Normalize expressions by applying beta reductions for tuples and lambda abstractions.
source§
fn replace_holes(&self, f: impl FnMut(&[List<Sort>], HoleKind) -> Expr) -> Self
Replaces all holes with the result of calling a closure. The closure takes a list with\nall the layers of bound variables at the point the hole was found. Each layer corresponds\nto the list of sorts bound at that level. The list is ordered from outermost to innermost\nbinder, i.e., the last element is the binder closest to the hole.
source§
fn with_holes(&self) -> Self
Turns each TyKind::Indexed into a TyKind::Exists with a TyKind::Constr and a\nhole. It also replaces all existing predicates with a hole.\nFor example, Vec<{v. i32[v] | v > 0}>[n] becomes {n. Vec<{v. i32[v] | *}>[n] | *}.
source§
fn replace_evars(&self, evars: &EVarSol) -> Self
source§
fn shift_in_escaping(&self, amount: u32) -> Self
source§
fn shift_out_escaping(&self, amount: u32) -> Self
","TypeFoldable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeSuperFoldable for Binder<T>
where\n    T: TypeFoldable,
source§
fn try_super_fold_with<F: FallibleTypeFolder>(\n    &self,\n    folder: &mut F,\n) -> Result<Self, F::Error>
source§
fn super_fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self
","TypeSuperFoldable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeSuperVisitable for Binder<T>
where\n    T: TypeVisitable,
source§
fn super_visit_with<V: TypeVisitor>(\n    &self,\n    visitor: &mut V,\n) -> ControlFlow<V::BreakTy>
","TypeSuperVisitable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeVisitable for Binder<T>
where\n    T: TypeVisitable,
source§
fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>
source§
fn has_escaping_bvars(&self) -> bool
source§
fn fvars(&self) -> FxHashSet<Name>
Returns the set of all free variables.\nFor example, Vec<i32[n]>{v : v > m} returns {n, m}.
","TypeVisitable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Eq> Eq for Binder<T>
","Eq","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> StructuralPartialEq for Binder<T>
","StructuralPartialEq","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"]]
+"flux_middle":[["
source§
impl<T> Binder<T>
source
pub fn new(value: T, vars: List<BoundVariableKind>) -> Binder<T>
source
pub fn with_sorts(value: T, sorts: &[Sort]) -> Binder<T>
source
pub fn with_sort(value: T, sort: Sort) -> Binder<T>
source
pub fn vars(&self) -> &List<BoundVariableKind>
source
pub fn as_ref(&self) -> Binder<&T>
source
pub fn skip_binder(self) -> T
source
pub fn rebind<U>(self, value: U) -> Binder<U>
source
pub fn map<U>(self, f: impl FnOnce(T) -> U) -> Binder<U>
source
pub fn try_map<U, E>(\n    self,\n    f: impl FnOnce(T) -> Result<U, E>,\n) -> Result<Binder<U>, E>
source
pub fn sort(&self) -> Sort
",0,"flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> Binder<T>
where\n    T: TypeFoldable,
source
pub fn replace_bound_vars(\n    &self,\n    replace_region: impl FnMut(BoundRegion) -> Region,\n    replace_expr: impl FnMut(&Sort, InferMode) -> Expr,\n) -> T
source
pub fn replace_bound_refts(&self, exprs: &[Expr]) -> T
source
pub fn replace_bound_reft(&self, expr: &Expr) -> T
source
pub fn replace_bound_refts_with(\n    &self,\n    f: impl FnMut(&Sort, InferMode, BoundReftKind) -> Expr,\n) -> T
",0,"flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Clone> Clone for Binder<T>
source§
fn clone(&self) -> Binder<T>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
","Clone","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Pretty> Debug for Binder<T>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
","Debug","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T, __D: TyDecoder> Decodable<__D> for Binder<T>
where\n    T: Decodable<__D>,
source§
fn decode(__decoder: &mut __D) -> Self
","Decodable<__D>","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T, __E: TyEncoder> Encodable<__E> for Binder<T>
where\n    T: Encodable<__E>,
source§
fn encode(&self, __encoder: &mut __E)
","Encodable<__E>","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Hash> Hash for Binder<T>
source§
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given Hasher. Read more
1.3.0 · source§
fn hash_slice<H>(data: &[Self], state: &mut H)
where\n    H: Hasher,\n    Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
","Hash","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: PartialEq> PartialEq for Binder<T>
source§
fn eq(&self, other: &Binder<T>) -> bool
This method tests for self and other values to be equal, and is used\nby ==.
1.0.0 · source§
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always\nsufficient, and should not be overridden without very good reason.
","PartialEq","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> Pretty for Binder<T>
where\n    T: Pretty,
source§
default fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result
source§
fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>
","Pretty","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeFoldable for Binder<T>
where\n    T: TypeFoldable,
source§
fn try_fold_with<F: FallibleTypeFolder>(\n    &self,\n    folder: &mut F,\n) -> Result<Self, F::Error>
source§
fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self
source§
fn normalize_projections<'tcx>(\n    &self,\n    genv: GlobalEnv<'_, 'tcx>,\n    infcx: &InferCtxt<'tcx>,\n    callsite_def_id: DefId,\n    refine_params: &[Expr],\n) -> QueryResult<Self>
source§
fn normalize(&self, defns: &SpecFuncDefns) -> Self
Normalize expressions by applying beta reductions for tuples and lambda abstractions.
source§
fn replace_holes(&self, f: impl FnMut(&[List<Sort>], HoleKind) -> Expr) -> Self
Replaces all holes with the result of calling a closure. The closure takes a list with\nall the layers of bound variables at the point the hole was found. Each layer corresponds\nto the list of sorts bound at that level. The list is ordered from outermost to innermost\nbinder, i.e., the last element is the binder closest to the hole.
source§
fn with_holes(&self) -> Self
Turns each TyKind::Indexed into a TyKind::Exists with a TyKind::Constr and a\nhole. It also replaces all existing predicates with a hole.\nFor example, Vec<{v. i32[v] | v > 0}>[n] becomes {n. Vec<{v. i32[v] | *}>[n] | *}.
source§
fn replace_evars(&self, evars: &EVarSol) -> Self
source§
fn shift_in_escaping(&self, amount: u32) -> Self
source§
fn shift_out_escaping(&self, amount: u32) -> Self
","TypeFoldable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeSuperFoldable for Binder<T>
where\n    T: TypeFoldable,
source§
fn try_super_fold_with<F: FallibleTypeFolder>(\n    &self,\n    folder: &mut F,\n) -> Result<Self, F::Error>
source§
fn super_fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self
","TypeSuperFoldable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeSuperVisitable for Binder<T>
where\n    T: TypeVisitable,
source§
fn super_visit_with<V: TypeVisitor>(\n    &self,\n    visitor: &mut V,\n) -> ControlFlow<V::BreakTy>
","TypeSuperVisitable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> TypeVisitable for Binder<T>
where\n    T: TypeVisitable,
source§
fn visit_with<V: TypeVisitor>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy>
source§
fn has_escaping_bvars(&self) -> bool
source§
fn fvars(&self) -> FxHashSet<Name>
Returns the set of all free variables.\nFor example, Vec<i32[n]>{v : v > m} returns {n, m}.
","TypeVisitable","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T: Eq> Eq for Binder<T>
","Eq","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"],["
source§
impl<T> StructuralPartialEq for Binder<T>
","StructuralPartialEq","flux_middle::rty::PolyVariant","flux_middle::rty::PolyFnSig","flux_middle::rty::TyCtor","flux_middle::rty::SubsetTyCtor"]]
 };if (window.register_type_impls) {window.register_type_impls(type_impls);} else {window.pending_type_impls = type_impls;}})()
\ No newline at end of file