Unnamed repository; edit this file 'description' to name the repository.
1
2
3
4
5
6
7
8
9
//! The implementation of `RustIrDatabase` for Chalk, which provides information
//! about the code that Chalk needs.

use crate::Interner;

pub(crate) type AssocTypeId = chalk_ir::AssocTypeId<Interner>;
pub(crate) type TraitId = chalk_ir::TraitId<Interner>;
pub(crate) type AdtId = chalk_ir::AdtId<Interner>;
pub(crate) type ImplId = chalk_ir::ImplId<Interner>;