Trait HasDb 

pub trait HasDb<T> {
    // Required method
    fn get_db(&self) -> T;
}

Required Methods

fn get_db(&self) -> T

Implementors

impl<'a> HasDb<&'a (dyn Database + 'static)> for SubstitutionRewriter<'a, '_>

impl<'a, 'mt> HasDb<&'a (dyn Database + 'static)> for Inference<'a, 'mt>