pub enum BuiltinFunId {
BoxNew,
ArrayToSliceShared,
ArrayToSliceMut,
ArrayRepeat,
Index(BuiltinIndexOp),
PtrFromParts(RefKind),
}Expand description
An built-in function identifier, identifying a function coming from a standard library.
Variants§
BoxNew
Used instead of alloc::boxed::Box::new when --treat-box-as-builtin is set.
Cast &[T; N] to &[T].
This is used instead of unsizing coercions when --ops-to-function-calls is set.
ArrayToSliceMut
Cast &mut [T; N] to &mut [T].
This is used instead of unsizing coercions when --ops-to-function-calls is set.
ArrayRepeat
repeat(n, x) returns an array where x has been replicated n times.
This is used instead of Rvalue::ArrayRepeat when --ops-to-function-calls is set.
Index(BuiltinIndexOp)
A built-in funciton introduced instead of array/slice place indexing when
--index-to-function-calls is set. The signature depends on the parameters. It could look
like:
fn ArrayIndexShared<T,N>(&[T;N], usize) -> &Tfn SliceIndexShared<T>(&[T], usize) -> &Tfn ArraySubSliceShared<T,N>(&[T;N], usize, usize) -> &[T]fn SliceSubSliceMut<T>(&mut [T], usize, usize) -> &mut [T]- etc
PtrFromParts(RefKind)
Build a raw pointer, from a data pointer and metadata. The metadata can be unit, if building a thin pointer.
This is used instead of AggregateKind::RawPtr when --ops-to-function-calls is set.
Implementations§
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn is_box_new(&self) -> bool
pub fn is_array_to_slice_mut(&self) -> bool
pub fn is_array_repeat(&self) -> bool
pub fn is_index(&self) -> bool
pub fn is_ptr_from_parts(&self) -> bool
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn as_box_new(&self) -> Option<()>
pub fn as_array_to_slice_mut(&self) -> Option<()>
pub fn as_array_repeat(&self) -> Option<()>
pub fn as_index(&self) -> Option<&BuiltinIndexOp>
pub fn as_ptr_from_parts(&self) -> Option<&RefKind>
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn as_box_new_mut(&mut self) -> Option<()>
pub fn as_array_to_slice_mut_mut(&mut self) -> Option<()>
pub fn as_array_repeat_mut(&mut self) -> Option<()>
pub fn as_index_mut(&mut self) -> Option<&mut BuiltinIndexOp>
pub fn as_ptr_from_parts_mut(&mut self) -> Option<&mut RefKind>
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn variant_name(&self) -> &'static str
Trait Implementations§
Source§impl AstVisitable for BuiltinFunId
impl AstVisitable for BuiltinFunId
Source§fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
visit_$any
method if it exists, otherwise visit_inner.Source§fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
visit_$any
method if it exists, otherwise visit_inner.Source§fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
self, in pre-order traversal.Source§fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
self, in pre-order traversal.Source§impl Clone for BuiltinFunId
impl Clone for BuiltinFunId
Source§fn clone(&self) -> BuiltinFunId
fn clone(&self) -> BuiltinFunId
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for BuiltinFunId
impl Debug for BuiltinFunId
Source§impl<'de> Deserialize<'de> for BuiltinFunId
impl<'de> Deserialize<'de> for BuiltinFunId
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Source§impl Display for BuiltinFunId
impl Display for BuiltinFunId
Source§impl<'s, V> Drive<'s, V> for BuiltinFunId
impl<'s, V> Drive<'s, V> for BuiltinFunId
Source§fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
v.visit() on the immediate contents of self.Source§impl<'s, V> DriveMut<'s, V> for BuiltinFunId
impl<'s, V> DriveMut<'s, V> for BuiltinFunId
Source§fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
v.visit() on the immediate contents of self.Source§impl From<BuiltinFunId> for FunId
impl From<BuiltinFunId> for FunId
Source§fn from(id: BuiltinFunId) -> Self
fn from(id: BuiltinFunId) -> Self
Source§impl Hash for BuiltinFunId
impl Hash for BuiltinFunId
Source§impl PartialEq for BuiltinFunId
impl PartialEq for BuiltinFunId
Source§impl Serialize for BuiltinFunId
impl Serialize for BuiltinFunId
impl Copy for BuiltinFunId
impl Eq for BuiltinFunId
impl StructuralPartialEq for BuiltinFunId
Auto Trait Implementations§
impl Freeze for BuiltinFunId
impl RefUnwindSafe for BuiltinFunId
impl Send for BuiltinFunId
impl Sync for BuiltinFunId
impl Unpin for BuiltinFunId
impl UnwindSafe for BuiltinFunId
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
§impl<T> Indentable for Twhere
T: Display,
impl<T> Indentable for Twhere
T: Display,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Source§impl<T> TyVisitable for Twhere
T: AstVisitable,
impl<T> TyVisitable for Twhere
T: AstVisitable,
Source§fn visit_vars(&mut self, v: &mut impl VarsVisitor)
fn visit_vars(&mut self, v: &mut impl VarsVisitor)
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen De Bruijn indices
will count from the outside of self.Source§fn substitute(self, generics: &GenericArgs) -> Self
fn substitute(self, generics: &GenericArgs) -> Self
self by replacing them with the provided values.
Note: if self is an item that comes from a TraitDecl, you most likely want to use
substitute_with_self.Source§fn substitute_explicits(self, generics: &GenericArgs) -> Self
fn substitute_explicits(self, generics: &GenericArgs) -> Self
Source§fn substitute_with_self(
self,
generics: &GenericArgs,
self_ref: &TraitRefKind,
) -> Self
fn substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Self
TraitRefKind::Self trait ref.fn try_substitute( self, generics: &GenericArgs, ) -> Result<Self, GenericsMismatch>
fn try_substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Result<Self, GenericsMismatch>
Source§fn move_under_binder(self) -> Self
fn move_under_binder(self) -> Self
Source§fn move_under_binders(self, depth: DeBruijnId) -> Self
fn move_under_binders(self, depth: DeBruijnId) -> Self
depth binders.Source§fn move_from_under_binder(self) -> Option<Self>
fn move_from_under_binder(self) -> Option<Self>
Source§fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
depth binders. Returns None if it contains a variable bound in
one of these depth binders.Source§fn visit_db_id<B>(
&mut self,
f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>,
) -> ControlFlow<B>
fn visit_db_id<B>( &mut self, f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>, ) -> ControlFlow<B>
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen indices will count
from the outside of self.