fn environment(
    db: &dyn LoweringDatabase
) -> Result<Arc<ProgramEnvironment>, ChalkError>