pub type DeclRefFunction = DeclRef<DeclId<TyFunctionDecl>>;Aliased Type§
pub struct DeclRefFunction { /* private fields */ }Implementations§
Source§impl DeclRefFunction
impl DeclRefFunction
Sourcepub fn get_method_safe_to_unify(
&self,
engines: &Engines,
type_id: TypeId,
) -> Self
pub fn get_method_safe_to_unify( &self, engines: &Engines, type_id: TypeId, ) -> Self
Makes method with a copy of type_id. This avoids altering the type_id already in the type map. Without this it is possible to retrieve a method from the type map unify its types and the second time it won’t be possible to retrieve the same method.
Trait Implementations§
Source§impl TryFrom<&DeclRef<AssociatedItemDeclId>> for DeclRefFunction
impl TryFrom<&DeclRef<AssociatedItemDeclId>> for DeclRefFunction
Source§type Error = CompileError
type Error = CompileError
The type returned in the event of a conversion error.
Source§impl TryFrom<DeclRef<AssociatedItemDeclId>> for DeclRefFunction
impl TryFrom<DeclRef<AssociatedItemDeclId>> for DeclRefFunction
Source§type Error = CompileError
type Error = CompileError
The type returned in the event of a conversion error.