Trait ToChalk

pub trait ToChalk {
    type Chalk;

    // Required methods
    fn to_chalk(self, db: &dyn HirDatabase) -> Self::Chalk;
    fn from_chalk(db: &dyn HirDatabase, chalk: Self::Chalk) -> Self;
}

Required Associated Types

type Chalk

Required Methods

fn to_chalk(self, db: &dyn HirDatabase) -> Self::Chalk

fn from_chalk(db: &dyn HirDatabase, chalk: Self::Chalk) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl ToChalk for CallableDefId

type Chalk = FnDefId<Interner>

fn to_chalk(self, _db: &dyn HirDatabase) -> FnDefId

fn from_chalk(db: &dyn HirDatabase, fn_def_id: FnDefId) -> CallableDefId

impl ToChalk for ImplId

type Chalk = ImplId<Interner>

fn to_chalk(self, _db: &dyn HirDatabase) -> ImplId<Interner>

fn from_chalk(_db: &dyn HirDatabase, impl_id: ImplId<Interner>) -> ImplId

Implementors