move to the salsa 0.10.x

We also need syn 0.15.29 or so to get `syn::Result`

Author: nikomatsakis

Cargo.lock

@@ -20,7 +20,7 @@ itertools = "0.7.8"
 lalrpop-intern = "0.15.1"
 petgraph = "0.4.13"
 rustyline = "1.0"
-salsa = "0.9.1"
+salsa = "0.10.0"
 serde = "1.0"
 serde_derive = "1.0"
 stacker = "0.1.5"

Cargo.toml

@@ -1,10 +1,11 @@
 #![allow(non_camel_case_types)]
 
-use crate::query::{self, ProgramSolverChoice, ProgramText};
+use crate::query::{Lowering, LoweringDatabase};
 use chalk_solve::solve::SolverChoice;
 use salsa::Database;
 use std::sync::Arc;
 
+#[salsa::database(Lowering)]
 #[derive(Default)]
 pub struct ChalkDatabase {
     runtime: salsa::Runtime<ChalkDatabase>,
@@ -24,22 +25,9 @@ impl ChalkDatabase {
     ) -> R {
         let mut db = ChalkDatabase::default();
 
-        db.query_mut(ProgramText).set((), program_text);
-        db.query_mut(ProgramSolverChoice).set((), solver_choice);
+        db.set_program_text(program_text);
+        db.set_solver_choice(solver_choice);
 
         f(&mut db)
     }
 }
-
-salsa::database_storage! {
-    pub struct DatabaseStorage for ChalkDatabase {
-        impl query::LoweringDatabase {
-            fn program_text() for query::ProgramText;
-            fn solver_choice() for query::ProgramSolverChoice;
-            fn program_ir() for query::ProgramIr;
-            fn lowered_program() for query::LoweredProgram;
-            fn checked_program() for query::CheckedProgram;
-            fn environment() for query::Environment;
-        }
-    }
-}

src/db.rs

@@ -9,43 +9,28 @@ use chalk_ir::ProgramEnvironment;
 use chalk_solve::solve::SolverChoice;
 use std::sync::Arc;
 
-salsa::query_group! {
-    pub trait LoweringDatabase: salsa::Database {
-        fn program_text() -> Arc<String> {
-            type ProgramText;
-
-            storage input;
-        }
-
-        fn solver_choice() -> SolverChoice {
-            type ProgramSolverChoice;
-
-            storage input;
-        }
-
-        // FIXME: Result<..., String> is only needed because the error type is not clone
-
-        /// The program IR before recording specialization priorities.
-        /// Do not use this query directly.
-        fn program_ir() -> Result<Arc<rust_ir::Program>, String> {
-            type ProgramIr;
-        }
-
-        /// The lowered IR.
-        fn lowered_program() -> Result<Arc<rust_ir::Program>, String> {
-            type LoweredProgram;
-        }
-
-        /// The lowered IR, with checks performed.
-        fn checked_program() -> Result<Arc<rust_ir::Program>, String> {
-            type CheckedProgram;
-        }
-
-        /// The program as logic.
-        fn environment() -> Result<Arc<ProgramEnvironment>, String> {
-            type Environment;
-        }
-    }
+#[salsa::query_group(Lowering)]
+pub trait LoweringDatabase {
+    #[salsa::input]
+    fn program_text(&self) -> Arc<String>;
+
+    #[salsa::input]
+    fn solver_choice(&self) -> SolverChoice;
+
+    // FIXME: Result<..., String> is only needed because the error type is not clone
+
+    /// The program IR before recording specialization priorities.
+    /// Do not use this query directly.
+    fn program_ir(&self) -> Result<Arc<rust_ir::Program>, String>;
+
+    /// The lowered IR.
+    fn lowered_program(&self) -> Result<Arc<rust_ir::Program>, String>;
+
+    /// The lowered IR, with checks performed.
+    fn checked_program(&self) -> Result<Arc<rust_ir::Program>, String>;
+
+    /// The program as logic.
+    fn environment(&self) -> Result<Arc<ProgramEnvironment>, String>;
 }
 
 fn program_ir(db: &impl LoweringDatabase) -> Result<Arc<rust_ir::Program>, String> {