Function chalk_integration::query::checked_program
source · fn checked_program(
db: &dyn LoweringDatabase
) -> Result<Arc<Program>, ChalkError>fn checked_program(
db: &dyn LoweringDatabase
) -> Result<Arc<Program>, ChalkError>