Trait PrivTypesSemantic 

pub trait PrivTypesSemantic<'db>: Database {
    // Provided methods
    fn priv_type_is_fully_concrete(&self, ty: TypeId<'db>) -> bool { ... }
    fn priv_type_is_var_free(&self, ty: TypeId<'db>) -> bool { ... }
    fn priv_type_short_name(&self, ty: TypeId<'db>) -> String { ... }
}

Private trait for types-related semantic queries.

Provided Methods

fn priv_type_is_fully_concrete(&self, ty: TypeId<'db>) -> bool

Private query to check if a type is fully concrete.

fn priv_type_is_var_free(&self, ty: TypeId<'db>) -> bool

Private query to check if a type contains no variables.

fn priv_type_short_name(&self, ty: TypeId<'db>) -> String

Private query for a shorter unique name for types.

Implementors

impl<'db, T: Database + ?Sized> PrivTypesSemantic<'db> for T