pub struct InTypeConstLoc {
pub id: AstId<ConstArg>,
pub owner: TypeOwnerId,
pub expected_ty: Box<dyn OpaqueInternableThing>,
}
Fields§
§id: AstId<ConstArg>
§owner: TypeOwnerId
The thing this const arg appears in
expected_ty: Box<dyn OpaqueInternableThing>
Trait Implementations§
source§impl Clone for InTypeConstLoc
impl Clone for InTypeConstLoc
source§fn clone(&self) -> InTypeConstLoc
fn clone(&self) -> InTypeConstLoc
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for InTypeConstLoc
impl Debug for InTypeConstLoc
source§impl Hash for InTypeConstLoc
impl Hash for InTypeConstLoc
source§impl Intern for InTypeConstLoc
impl Intern for InTypeConstLoc
type Database<'db> = dyn DefDatabase + 'db
type ID = InTypeConstId
fn intern(self, db: &Self::Database<'_>) -> InTypeConstId
source§impl PartialEq for InTypeConstLoc
impl PartialEq for InTypeConstLoc
impl Eq for InTypeConstLoc
impl InternValueTrivial for InTypeConstLoc
Auto Trait Implementations§
impl Freeze for InTypeConstLoc
impl RefUnwindSafe for InTypeConstLoc
impl Send for InTypeConstLoc
impl Sync for InTypeConstLoc
impl Unpin for InTypeConstLoc
impl UnwindSafe for InTypeConstLoc
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
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§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
Checks if this value is equivalent to the given key. Read more
§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
Compare self to
key
and return true
if they are equal.§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>
§impl<V> InternValue for Vwhere
V: InternValueTrivial,
impl<V> InternValue for Vwhere
V: InternValueTrivial,
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>
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>
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