Enum flux_attrs::extern_spec::ExternItem
source · enum ExternItem {
+ExternItem in flux_attrs::extern_spec - Rust Enum flux_attrs::extern_spec::ExternItem
source · enum ExternItem {
Struct(ItemStruct),
Enum(ItemEnum),
Trait(ExternItemTrait),
Fn(ExternFn),
Impl(ExternItemImpl),
-}
Variants§
Implementations§
source§impl ExternItem
Trait Implementations§
source§impl Parse for ExternItem
source§fn parse(input: ParseStream<'_>) -> Result<Self>
Auto Trait Implementations§
§impl Freeze for ExternItem
§impl RefUnwindSafe for ExternItem
§impl !Send for ExternItem
§impl !Sync for ExternItem
§impl Unpin for ExternItem
§impl UnwindSafe for ExternItem
Blanket Implementations§
source§impl<T> Any for Twhere
+}Variants§
Implementations§
source§impl ExternItem
Trait Implementations§
source§impl Parse for ExternItem
source§fn parse(input: ParseStream<'_>) -> Result<Self>
Auto Trait Implementations§
§impl Freeze for ExternItem
§impl RefUnwindSafe for ExternItem
§impl !Send for ExternItem
§impl !Sync for ExternItem
§impl Unpin for ExternItem
§impl UnwindSafe for ExternItem
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/extern_spec/enum.FnCtxt.html b/doc/flux_attrs/extern_spec/enum.FnCtxt.html
index df19ee5151..919e5a8bad 100644
--- a/doc/flux_attrs/extern_spec/enum.FnCtxt.html
+++ b/doc/flux_attrs/extern_spec/enum.FnCtxt.html
@@ -1,4 +1,4 @@
-FnCtxt in flux_attrs::extern_spec - Rust Enum flux_attrs::extern_spec::FnCtxt
source · enum FnCtxt<'a> {
+FnCtxt in flux_attrs::extern_spec - Rust Enum flux_attrs::extern_spec::FnCtxt
source · enum FnCtxt<'a> {
TraitImpl {
self_ty: &'a Type,
trait_: &'a Path,
diff --git a/doc/flux_attrs/extern_spec/fn.create_dummy_ident.html b/doc/flux_attrs/extern_spec/fn.create_dummy_ident.html
index fa90fe0e56..4eb0b90462 100644
--- a/doc/flux_attrs/extern_spec/fn.create_dummy_ident.html
+++ b/doc/flux_attrs/extern_spec/fn.create_dummy_ident.html
@@ -1 +1 @@
-create_dummy_ident in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::create_dummy_ident
source · fn create_dummy_ident(dummy_prefix: &mut String, ty: &Type) -> Result<Ident>
\ No newline at end of file
+create_dummy_ident in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::create_dummy_ident
source · fn create_dummy_ident(dummy_prefix: &mut String, ty: &Type) -> Result<Ident>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.create_dummy_ident_from_path.html b/doc/flux_attrs/extern_spec/fn.create_dummy_ident_from_path.html
index d9e380824b..fbae8f2374 100644
--- a/doc/flux_attrs/extern_spec/fn.create_dummy_ident_from_path.html
+++ b/doc/flux_attrs/extern_spec/fn.create_dummy_ident_from_path.html
@@ -1,4 +1,4 @@
-create_dummy_ident_from_path in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::create_dummy_ident_from_path
source · fn create_dummy_ident_from_path(
+create_dummy_ident_from_path in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::create_dummy_ident_from_path
source · fn create_dummy_ident_from_path(
dummy_prefix: &str,
path: &Path,
) -> Result<Ident>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.create_dummy_string_from_path.html b/doc/flux_attrs/extern_spec/fn.create_dummy_string_from_path.html
index 7181c27b88..5831f4f395 100644
--- a/doc/flux_attrs/extern_spec/fn.create_dummy_string_from_path.html
+++ b/doc/flux_attrs/extern_spec/fn.create_dummy_string_from_path.html
@@ -1 +1 @@
-create_dummy_string_from_path in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::create_dummy_string_from_path
source · fn create_dummy_string_from_path(path: &Path) -> Result<String>
\ No newline at end of file
+create_dummy_string_from_path in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::create_dummy_string_from_path
source · fn create_dummy_string_from_path(path: &Path) -> Result<String>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.extern_enum_to_tokens.html b/doc/flux_attrs/extern_spec/fn.extern_enum_to_tokens.html
index daf5917e6a..f575912d09 100644
--- a/doc/flux_attrs/extern_spec/fn.extern_enum_to_tokens.html
+++ b/doc/flux_attrs/extern_spec/fn.extern_enum_to_tokens.html
@@ -1,4 +1,4 @@
-extern_enum_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_enum_to_tokens
source · fn extern_enum_to_tokens(
+extern_enum_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_enum_to_tokens
source · fn extern_enum_to_tokens(
mod_use: Option<UseWildcard>,
item_enum: ItemEnum,
) -> Result<TokenStream>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.extern_fn_to_tokens.html b/doc/flux_attrs/extern_spec/fn.extern_fn_to_tokens.html
index 3900cc6630..40079a3874 100644
--- a/doc/flux_attrs/extern_spec/fn.extern_fn_to_tokens.html
+++ b/doc/flux_attrs/extern_spec/fn.extern_fn_to_tokens.html
@@ -1,4 +1,5 @@
-extern_fn_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_fn_to_tokens
source · fn extern_fn_to_tokens(
+extern_fn_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_fn_to_tokens
source · fn extern_fn_to_tokens(
+ span: Span,
mod_use: Option<UseWildcard>,
extern_fn: ExternFn,
) -> Result<TokenStream>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.extern_impl_to_tokens.html b/doc/flux_attrs/extern_spec/fn.extern_impl_to_tokens.html
index 5b168ed34f..dfdc039a05 100644
--- a/doc/flux_attrs/extern_spec/fn.extern_impl_to_tokens.html
+++ b/doc/flux_attrs/extern_spec/fn.extern_impl_to_tokens.html
@@ -1,4 +1,4 @@
-extern_impl_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_impl_to_tokens
source · fn extern_impl_to_tokens(
+extern_impl_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_impl_to_tokens
source · fn extern_impl_to_tokens(
span: Span,
mod_use: Option<UseWildcard>,
extern_item_impl: ExternItemImpl,
diff --git a/doc/flux_attrs/extern_spec/fn.extern_struct_to_tokens.html b/doc/flux_attrs/extern_spec/fn.extern_struct_to_tokens.html
index 94981b546d..bf3870ce9d 100644
--- a/doc/flux_attrs/extern_spec/fn.extern_struct_to_tokens.html
+++ b/doc/flux_attrs/extern_spec/fn.extern_struct_to_tokens.html
@@ -1,4 +1,4 @@
-extern_struct_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_struct_to_tokens
source · fn extern_struct_to_tokens(
+extern_struct_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_struct_to_tokens
source · fn extern_struct_to_tokens(
mod_use: Option<UseWildcard>,
item_struct: ItemStruct,
) -> Result<TokenStream>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.extern_trait_to_tokens.html b/doc/flux_attrs/extern_spec/fn.extern_trait_to_tokens.html
index 8df064c4d4..9186a29a56 100644
--- a/doc/flux_attrs/extern_spec/fn.extern_trait_to_tokens.html
+++ b/doc/flux_attrs/extern_spec/fn.extern_trait_to_tokens.html
@@ -1,4 +1,4 @@
-extern_trait_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_trait_to_tokens
source · fn extern_trait_to_tokens(
+extern_trait_to_tokens in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::extern_trait_to_tokens
source · fn extern_trait_to_tokens(
span: Span,
mod_use: Option<UseWildcard>,
item_trait: ExternItemTrait,
diff --git a/doc/flux_attrs/extern_spec/fn.fn_params_to_args.html b/doc/flux_attrs/extern_spec/fn.fn_params_to_args.html
index 4d54e05173..5f20a170ad 100644
--- a/doc/flux_attrs/extern_spec/fn.fn_params_to_args.html
+++ b/doc/flux_attrs/extern_spec/fn.fn_params_to_args.html
@@ -1,3 +1,3 @@
-fn_params_to_args in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::fn_params_to_args
source · fn fn_params_to_args(
+fn_params_to_args in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::fn_params_to_args
source · fn fn_params_to_args(
params: &Punctuated<FnArg, Comma>,
) -> Punctuated<Expr, Comma>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.generic_params_to_args.html b/doc/flux_attrs/extern_spec/fn.generic_params_to_args.html
index e09c53a4da..ac442a5107 100644
--- a/doc/flux_attrs/extern_spec/fn.generic_params_to_args.html
+++ b/doc/flux_attrs/extern_spec/fn.generic_params_to_args.html
@@ -1,3 +1,3 @@
-generic_params_to_args in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::generic_params_to_args
source · fn generic_params_to_args(
+generic_params_to_args in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::generic_params_to_args
source · fn generic_params_to_args(
generic_params: &Punctuated<GenericParam, Comma>,
) -> Punctuated<GenericArgument, Comma>
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.generic_params_to_fields.html b/doc/flux_attrs/extern_spec/fn.generic_params_to_fields.html
index 99fb53c1f9..eaae0ac3fc 100644
--- a/doc/flux_attrs/extern_spec/fn.generic_params_to_fields.html
+++ b/doc/flux_attrs/extern_spec/fn.generic_params_to_fields.html
@@ -1,4 +1,4 @@
-generic_params_to_fields in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::generic_params_to_fields
source · fn generic_params_to_fields(
+generic_params_to_fields in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::generic_params_to_fields
source · fn generic_params_to_fields(
params: &Punctuated<GenericParam, Comma>,
) -> Punctuated<Field, Comma>
Expand description
Given a list of generic parameters creates a list of fields that use all non-const parameters
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.has_opaque_attr.html b/doc/flux_attrs/extern_spec/fn.has_opaque_attr.html
index efc569d354..a3d620039b 100644
--- a/doc/flux_attrs/extern_spec/fn.has_opaque_attr.html
+++ b/doc/flux_attrs/extern_spec/fn.has_opaque_attr.html
@@ -1 +1 @@
-has_opaque_attr in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::has_opaque_attr
source · fn has_opaque_attr(attrs: &[Attribute]) -> bool
\ No newline at end of file
+has_opaque_attr in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::has_opaque_attr
source · fn has_opaque_attr(attrs: &[Attribute]) -> bool
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/fn.path_matches.html b/doc/flux_attrs/extern_spec/fn.path_matches.html
index ef4b72f6a0..f1b9a1cdc6 100644
--- a/doc/flux_attrs/extern_spec/fn.path_matches.html
+++ b/doc/flux_attrs/extern_spec/fn.path_matches.html
@@ -1 +1 @@
-path_matches in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::path_matches
source · fn path_matches(path: &Path, x: &[&str]) -> bool
\ No newline at end of file
+path_matches in flux_attrs::extern_spec - Rust Function flux_attrs::extern_spec::path_matches
source · fn path_matches(path: &Path, x: &[&str]) -> bool
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/index.html b/doc/flux_attrs/extern_spec/index.html
index f468d4d15c..9920d31cd7 100644
--- a/doc/flux_attrs/extern_spec/index.html
+++ b/doc/flux_attrs/extern_spec/index.html
@@ -1 +1 @@
-flux_attrs::extern_spec - Rust Module flux_attrs::extern_spec
source · Structs§
- Extern
Fn 🔒
Enums§
- FnCtxt 🔒
Functions§
- Given a list of generic parameters creates a list of fields that use all non-const parameters
\ No newline at end of file
+flux_attrs::extern_spec - Rust Module flux_attrs::extern_spec
source · Structs§
- Extern
Fn 🔒
Enums§
- FnCtxt 🔒
Functions§
- Given a list of generic parameters creates a list of fields that use all non-const parameters
\ No newline at end of file
diff --git a/doc/flux_attrs/extern_spec/struct.ExternFn.html b/doc/flux_attrs/extern_spec/struct.ExternFn.html
index 97bc34c9ba..86ca45db4f 100644
--- a/doc/flux_attrs/extern_spec/struct.ExternFn.html
+++ b/doc/flux_attrs/extern_spec/struct.ExternFn.html
@@ -1,8 +1,8 @@
-ExternFn in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::ExternFn
source · struct ExternFn {
+ExternFn in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::ExternFn
source · struct ExternFn {
attrs: Vec<Attribute>,
sig: Signature,
block: Option<TokenStream>,
-}
Fields§
§attrs: Vec<Attribute>
§sig: Signature
§block: Option<TokenStream>
Implementations§
Trait Implementations§
source§impl ToTokens for ExternFn
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
+}Fields§
§attrs: Vec<Attribute>
§sig: Signature
§block: Option<TokenStream>
Implementations§
Trait Implementations§
source§impl ToTokens for ExternFn
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
Auto Trait Implementations§
§impl Freeze for ExternFn
§impl RefUnwindSafe for ExternFn
§impl !Send for ExternFn
§impl !Sync for ExternFn
§impl Unpin for ExternFn
§impl UnwindSafe for ExternFn
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/doc/flux_attrs/extern_spec/struct.ExternItemImpl.html b/doc/flux_attrs/extern_spec/struct.ExternItemImpl.html
index baf515fa3f..3f24335909 100644
--- a/doc/flux_attrs/extern_spec/struct.ExternItemImpl.html
+++ b/doc/flux_attrs/extern_spec/struct.ExternItemImpl.html
@@ -1,4 +1,4 @@
-ExternItemImpl in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::ExternItemImpl
source · struct ExternItemImpl {
+ExternItemImpl in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::ExternItemImpl
source · struct ExternItemImpl {
attrs: Vec<Attribute>,
impl_token: Impl,
generics: Generics,
@@ -7,7 +7,7 @@
brace_token: Brace,
items: Vec<ExternFn>,
dummy_ident: Ident,
-}
Fields§
§attrs: Vec<Attribute>
§impl_token: Impl
§generics: Generics
§trait_: Option<(Option<Not>, Path, For)>
§self_ty: Box<Type>
§brace_token: Brace
§items: Vec<ExternFn>
§dummy_ident: Ident
Implementations§
Trait Implementations§
source§impl Parse for ExternItemImpl
source§fn parse(input: ParseStream<'_>) -> Result<Self>
source§impl ToTokens for ExternItemImpl
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
+}Fields§
§attrs: Vec<Attribute>
§impl_token: Impl
§generics: Generics
§trait_: Option<(Option<Not>, Path, For)>
§self_ty: Box<Type>
§brace_token: Brace
§items: Vec<ExternFn>
§dummy_ident: Ident
Implementations§
Trait Implementations§
source§impl Parse for ExternItemImpl
source§fn parse(input: ParseStream<'_>) -> Result<Self>
source§impl ToTokens for ExternItemImpl
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
Auto Trait Implementations§
§impl Freeze for ExternItemImpl
§impl RefUnwindSafe for ExternItemImpl
§impl !Send for ExternItemImpl
§impl !Sync for ExternItemImpl
§impl Unpin for ExternItemImpl
§impl UnwindSafe for ExternItemImpl
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/doc/flux_attrs/extern_spec/struct.ExternItemTrait.html b/doc/flux_attrs/extern_spec/struct.ExternItemTrait.html
index 5b390ba70e..66e085136f 100644
--- a/doc/flux_attrs/extern_spec/struct.ExternItemTrait.html
+++ b/doc/flux_attrs/extern_spec/struct.ExternItemTrait.html
@@ -1,4 +1,4 @@
-ExternItemTrait in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::ExternItemTrait
source · struct ExternItemTrait {
+ExternItemTrait in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::ExternItemTrait
source · struct ExternItemTrait {
attrs: Vec<Attribute>,
trait_token: Trait,
ident: Ident,
@@ -6,7 +6,7 @@
supertrait: Option<Ident>,
brace_token: Brace,
items: Vec<ExternFn>,
-}
Fields§
§attrs: Vec<Attribute>
§trait_token: Trait
§ident: Ident
§generics: Generics
§supertrait: Option<Ident>
§brace_token: Brace
§items: Vec<ExternFn>
Implementations§
Trait Implementations§
source§impl Parse for ExternItemTrait
source§fn parse(input: ParseStream<'_>) -> Result<Self>
source§impl ToTokens for ExternItemTrait
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
+}Fields§
§attrs: Vec<Attribute>
§trait_token: Trait
§ident: Ident
§generics: Generics
§supertrait: Option<Ident>
§brace_token: Brace
§items: Vec<ExternFn>
Implementations§
Trait Implementations§
source§impl Parse for ExternItemTrait
source§fn parse(input: ParseStream<'_>) -> Result<Self>
source§impl ToTokens for ExternItemTrait
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
Auto Trait Implementations§
§impl Freeze for ExternItemTrait
§impl RefUnwindSafe for ExternItemTrait
§impl !Send for ExternItemTrait
§impl !Sync for ExternItemTrait
§impl Unpin for ExternItemTrait
§impl UnwindSafe for ExternItemTrait
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/doc/flux_attrs/extern_spec/struct.GenericArgs.html b/doc/flux_attrs/extern_spec/struct.GenericArgs.html
index acf5edb6bf..e26dd13926 100644
--- a/doc/flux_attrs/extern_spec/struct.GenericArgs.html
+++ b/doc/flux_attrs/extern_spec/struct.GenericArgs.html
@@ -1,4 +1,4 @@
-GenericArgs in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::GenericArgs
source · struct GenericArgs<'a>(&'a Generics);
Tuple Fields§
§0: &'a Generics
Trait Implementations§
source§impl ToTokens for GenericArgs<'_>
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
+GenericArgs in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::GenericArgs
source · struct GenericArgs<'a>(&'a Generics);
Tuple Fields§
§0: &'a Generics
Trait Implementations§
source§impl ToTokens for GenericArgs<'_>
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
Auto Trait Implementations§
§impl<'a> Freeze for GenericArgs<'a>
§impl<'a> RefUnwindSafe for GenericArgs<'a>
§impl<'a> !Send for GenericArgs<'a>
§impl<'a> !Sync for GenericArgs<'a>
§impl<'a> Unpin for GenericArgs<'a>
§impl<'a> UnwindSafe for GenericArgs<'a>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/doc/flux_attrs/extern_spec/struct.UseWildcard.html b/doc/flux_attrs/extern_spec/struct.UseWildcard.html
index e2985c557f..3159b59294 100644
--- a/doc/flux_attrs/extern_spec/struct.UseWildcard.html
+++ b/doc/flux_attrs/extern_spec/struct.UseWildcard.html
@@ -1,4 +1,4 @@
-UseWildcard in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::UseWildcard
source · struct UseWildcard(Path);
Tuple Fields§
§0: Path
Trait Implementations§
source§impl ToTokens for UseWildcard
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
+UseWildcard in flux_attrs::extern_spec - Rust Struct flux_attrs::extern_spec::UseWildcard
source · struct UseWildcard(Path);
Tuple Fields§
§0: Path
Trait Implementations§
source§impl ToTokens for UseWildcard
source§fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
Auto Trait Implementations§
§impl Freeze for UseWildcard
§impl RefUnwindSafe for UseWildcard
§impl !Send for UseWildcard
§impl !Sync for UseWildcard
§impl Unpin for UseWildcard
§impl UnwindSafe for UseWildcard
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/doc/flux_driver/all.html b/doc/flux_driver/all.html
index af0661eed6..4af33851a3 100644
--- a/doc/flux_driver/all.html
+++ b/doc/flux_driver/all.html
@@ -1 +1 @@
-List of all items in this crate List of all items
Structs
- callbacks::CrateChecker
- callbacks::FluxCallbacks
- collector::CFGSetting
- collector::FluxAttr
- collector::FluxAttrCFG
- collector::FluxAttrs
- collector::SpecCollector
- collector::errors::AttrOnOpaque
- collector::errors::CFGError
- collector::errors::DuplicatedAttr
- collector::errors::InvalidAttr
- collector::errors::MismatchedSpecName
- collector::errors::MissingVariant
- collector::errors::SyntaxErr
- collector::extern_specs::ExternImplItem
- collector::extern_specs::ExternSpecCollector
- collector::extern_specs::errors::CannotResolveTraitImpl
- collector::extern_specs::errors::InvalidImplBlock
- collector::extern_specs::errors::InvalidItemInInherentImpl
- collector::extern_specs::errors::ItemNotInTrait
- collector::extern_specs::errors::ItemNotInTraitImpl
- collector::extern_specs::errors::MalformedExternSpec
Enums
Macros
- collector::attr_name
- collector::read_attr
- collector::read_attrs
- collector::read_flag
- collector::try_read_setting
Functions
- callbacks::check_crate
- callbacks::collect_specs
- callbacks::encode_and_save_metadata
- callbacks::mir_borrowck
- collector::parse_opt_reason
- collector::parse_opt_yes_no
- collector::parse_yes_no_with_reason
Type Aliases
Statics
\ No newline at end of file
+List of all items in this crate List of all items
Structs
- callbacks::CrateChecker
- callbacks::FluxCallbacks
- collector::CFGSetting
- collector::FluxAttr
- collector::FluxAttrCFG
- collector::FluxAttrs
- collector::SpecCollector
- collector::errors::AttrOnOpaque
- collector::errors::CFGError
- collector::errors::DuplicatedAttr
- collector::errors::InvalidAttr
- collector::errors::MismatchedSpecName
- collector::errors::MissingVariant
- collector::errors::SyntaxErr
- collector::extern_specs::ExternImplItem
- collector::extern_specs::ExternSpecCollector
- collector::extern_specs::errors::CannotResolveTraitImpl
- collector::extern_specs::errors::DupExternSpec
- collector::extern_specs::errors::ExternSpecForLocalDef
- collector::extern_specs::errors::InvalidImplBlock
- collector::extern_specs::errors::InvalidItemInInherentImpl
- collector::extern_specs::errors::ItemNotInTrait
- collector::extern_specs::errors::ItemNotInTraitImpl
- collector::extern_specs::errors::MalformedExternSpec
Enums
Macros
- collector::attr_name
- collector::read_attr
- collector::read_attrs
- collector::read_flag
- collector::try_read_setting
Functions
- callbacks::check_crate
- callbacks::collect_specs
- callbacks::encode_and_save_metadata
- callbacks::mir_borrowck
- collector::extern_specs::ident_or_def_span
- collector::parse_opt_reason
- collector::parse_opt_yes_no
- collector::parse_yes_no_with_reason
Type Aliases
Statics
\ No newline at end of file
diff --git a/doc/flux_driver/callbacks/struct.CrateChecker.html b/doc/flux_driver/callbacks/struct.CrateChecker.html
index faec54a05a..6a3bf1d267 100644
--- a/doc/flux_driver/callbacks/struct.CrateChecker.html
+++ b/doc/flux_driver/callbacks/struct.CrateChecker.html
@@ -1,8 +1,8 @@
CrateChecker in flux_driver::callbacks - Rust Struct flux_driver::callbacks::CrateChecker
source · struct CrateChecker<'genv, 'tcx> {
genv: GlobalEnv<'genv, 'tcx>,
cache: QueryCache,
- checker_config: CheckerConfig,
-}
Fields§
§genv: GlobalEnv<'genv, 'tcx>
§cache: QueryCache
§checker_config: CheckerConfig
Implementations§
source§impl<'genv, 'tcx> CrateChecker<'genv, 'tcx>
sourcefn new(genv: GlobalEnv<'genv, 'tcx>) -> Self
sourcefn matches_check_def(&self, def_id: DefId) -> bool
sourcefn check_def_catching_bugs(
+ checker_config: CheckerConfig,
+}Fields§
§genv: GlobalEnv<'genv, 'tcx>
§cache: QueryCache
§checker_config: CheckerConfig
Implementations§
source§impl<'genv, 'tcx> CrateChecker<'genv, 'tcx>
sourcefn new(genv: GlobalEnv<'genv, 'tcx>) -> Self
sourcefn matches_check_def(&self, def_id: DefId) -> bool
sourcefn check_def_catching_bugs(
&mut self,
def_id: LocalDefId,
) -> Result<(), ErrorGuaranteed>
sourcefn check_def(&mut self, def_id: LocalDefId) -> Result<(), ErrorGuaranteed>
Auto Trait Implementations§
§impl<'genv, 'tcx> Freeze for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> !RefUnwindSafe for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> !Send for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> !Sync for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> Unpin for CrateChecker<'genv, 'tcx>
§impl<'genv, 'tcx> !UnwindSafe for CrateChecker<'genv, 'tcx>
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/doc/flux_driver/collector/extern_specs/errors/index.html b/doc/flux_driver/collector/extern_specs/errors/index.html
index 48f77da9e0..d2f6009aad 100644
--- a/doc/flux_driver/collector/extern_specs/errors/index.html
+++ b/doc/flux_driver/collector/extern_specs/errors/index.html
@@ -1 +1 @@
-flux_driver::collector::extern_specs::errors - Rust Module flux_driver::collector::extern_specs::errors
source · Structs§
\ No newline at end of file
+flux_driver::collector::extern_specs::errors - Rust
\ No newline at end of file
diff --git a/doc/flux_driver/collector/extern_specs/errors/sidebar-items.js b/doc/flux_driver/collector/extern_specs/errors/sidebar-items.js
index 89df94ae7b..3f91a08a95 100644
--- a/doc/flux_driver/collector/extern_specs/errors/sidebar-items.js
+++ b/doc/flux_driver/collector/extern_specs/errors/sidebar-items.js
@@ -1 +1 @@
-window.SIDEBAR_ITEMS = {"struct":["CannotResolveTraitImpl","InvalidImplBlock","InvalidItemInInherentImpl","ItemNotInTrait","ItemNotInTraitImpl","MalformedExternSpec"]};
\ No newline at end of file
+window.SIDEBAR_ITEMS = {"struct":["CannotResolveTraitImpl","DupExternSpec","ExternSpecForLocalDef","InvalidImplBlock","InvalidItemInInherentImpl","ItemNotInTrait","ItemNotInTraitImpl","MalformedExternSpec"]};
\ No newline at end of file
diff --git a/doc/flux_driver/collector/extern_specs/errors/struct.CannotResolveTraitImpl.html b/doc/flux_driver/collector/extern_specs/errors/struct.CannotResolveTraitImpl.html
index 4efbf97828..6fdf5baaff 100644
--- a/doc/flux_driver/collector/extern_specs/errors/struct.CannotResolveTraitImpl.html
+++ b/doc/flux_driver/collector/extern_specs/errors/struct.CannotResolveTraitImpl.html
@@ -1,7 +1,7 @@
-CannotResolveTraitImpl in flux_driver::collector::extern_specs::errors - Rust Struct flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl
source · pub(super) struct CannotResolveTraitImpl {
+CannotResolveTraitImpl in flux_driver::collector::extern_specs::errors - Rust Struct flux_driver::collector::extern_specs::errors::CannotResolveTraitImpl
source · pub(super) struct CannotResolveTraitImpl {
pub span: Span,
-}
Fields§
§span: Span
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for CannotResolveTraitImplwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for CannotResolveTraitImpl
§impl RefUnwindSafe for CannotResolveTraitImpl
§impl Send for CannotResolveTraitImpl
§impl Sync for CannotResolveTraitImpl
§impl Unpin for CannotResolveTraitImpl
§impl UnwindSafe for CannotResolveTraitImpl
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for CannotResolveTraitImplwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for CannotResolveTraitImpl
§impl RefUnwindSafe for CannotResolveTraitImpl
§impl Send for CannotResolveTraitImpl
§impl Sync for CannotResolveTraitImpl
§impl Unpin for CannotResolveTraitImpl
§impl UnwindSafe for CannotResolveTraitImpl
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_driver/collector/extern_specs/errors/struct.DupExternSpec.html b/doc/flux_driver/collector/extern_specs/errors/struct.DupExternSpec.html
new file mode 100644
index 0000000000..d8c2327c64
--- /dev/null
+++ b/doc/flux_driver/collector/extern_specs/errors/struct.DupExternSpec.html
@@ -0,0 +1,28 @@
+DupExternSpec in flux_driver::collector::extern_specs::errors - Rust Struct flux_driver::collector::extern_specs::errors::DupExternSpec
source · pub(super) struct DupExternSpec {
+ pub span: Span,
+ pub previous_span: Span,
+ pub name: String,
+}
Fields§
§span: Span
§previous_span: Span
§name: String
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for DupExternSpecwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for DupExternSpec
§impl RefUnwindSafe for DupExternSpec
§impl Send for DupExternSpec
§impl Sync for DupExternSpec
§impl Unpin for DupExternSpec
§impl UnwindSafe for DupExternSpec
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more§impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts self
into a Left
variant of Either<Self, Self>
+if into_left
is true
.
+Converts self
into a Right
variant of Either<Self, Self>
+otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts self
into a Left
variant of Either<Self, Self>
+if into_left(&self)
returns true
.
+Converts self
into a Right
variant of Either<Self, Self>
+otherwise. Read more§impl<T> WithSubscriber for T
§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
+ S: Into<Dispatch>,
§fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
+[WithDispatch
] wrapper. Read more
\ No newline at end of file
diff --git a/doc/flux_driver/collector/extern_specs/errors/struct.ExternSpecForLocalDef.html b/doc/flux_driver/collector/extern_specs/errors/struct.ExternSpecForLocalDef.html
new file mode 100644
index 0000000000..4402f69b5e
--- /dev/null
+++ b/doc/flux_driver/collector/extern_specs/errors/struct.ExternSpecForLocalDef.html
@@ -0,0 +1,28 @@
+ExternSpecForLocalDef in flux_driver::collector::extern_specs::errors - Rust Struct flux_driver::collector::extern_specs::errors::ExternSpecForLocalDef
source · pub(super) struct ExternSpecForLocalDef {
+ pub span: Span,
+ pub local_def_span: Span,
+ pub name: String,
+}
Fields§
§span: Span
§local_def_span: Span
§name: String
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for ExternSpecForLocalDefwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for ExternSpecForLocalDef
§impl RefUnwindSafe for ExternSpecForLocalDef
§impl Send for ExternSpecForLocalDef
§impl Sync for ExternSpecForLocalDef
§impl Unpin for ExternSpecForLocalDef
§impl UnwindSafe for ExternSpecForLocalDef
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more§impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts self
into a Left
variant of Either<Self, Self>
+if into_left
is true
.
+Converts self
into a Right
variant of Either<Self, Self>
+otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts self
into a Left
variant of Either<Self, Self>
+if into_left(&self)
returns true
.
+Converts self
into a Right
variant of Either<Self, Self>
+otherwise. Read more§impl<T> WithSubscriber for T
§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
+ S: Into<Dispatch>,
§fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
+[WithDispatch
] wrapper. Read more
\ No newline at end of file
diff --git a/doc/flux_driver/collector/extern_specs/errors/struct.InvalidImplBlock.html b/doc/flux_driver/collector/extern_specs/errors/struct.InvalidImplBlock.html
index b037470fe5..3d7638b34c 100644
--- a/doc/flux_driver/collector/extern_specs/errors/struct.InvalidImplBlock.html
+++ b/doc/flux_driver/collector/extern_specs/errors/struct.InvalidImplBlock.html
@@ -1,7 +1,7 @@
-InvalidImplBlock in flux_driver::collector::extern_specs::errors - Rust Struct flux_driver::collector::extern_specs::errors::InvalidImplBlock
source · pub(super) struct InvalidImplBlock {
+InvalidImplBlock in flux_driver::collector::extern_specs::errors - Rust Struct flux_driver::collector::extern_specs::errors::InvalidImplBlock
source · pub(super) struct InvalidImplBlock {
pub span: Span,
-}
Fields§
§span: Span
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for InvalidImplBlockwhere
- G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for InvalidImplBlock
§impl RefUnwindSafe for InvalidImplBlock
§impl Send for InvalidImplBlock
§impl Sync for InvalidImplBlock
§impl Unpin for InvalidImplBlock
§impl UnwindSafe for InvalidImplBlock
Blanket Implementations§
source§impl<T> Any for Twhere
+}Fields§
§span: Span
Trait Implementations§
source§impl<'_sess, G> Diagnostic<'_sess, G> for InvalidImplBlockwhere
+ G: EmissionGuarantee,
Auto Trait Implementations§
§impl Freeze for InvalidImplBlock
§impl RefUnwindSafe for InvalidImplBlock
§impl Send for InvalidImplBlock
§impl Sync for InvalidImplBlock
§impl Unpin for InvalidImplBlock
§impl UnwindSafe for InvalidImplBlock
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_driver/collector/extern_specs/errors/struct.InvalidItemInInherentImpl.html b/doc/flux_driver/collector/extern_specs/errors/struct.InvalidItemInInherentImpl.html
index b6ca290f6c..05009a1632 100644
--- a/doc/flux_driver/collector/extern_specs/errors/struct.InvalidItemInInherentImpl.html
+++ b/doc/flux_driver/collector/extern_specs/errors/struct.InvalidItemInInherentImpl.html
@@ -1,9 +1,9 @@
-InvalidItemInInherentImpl in flux_driver::collector::extern_specs::errors - Rust pub(super) struct InvalidItemInInherentImpl {
+InvalidItemInInherentImpl in flux_driver::collector::extern_specs::errors - Rust