Update versions

Author: jackh726

.github/workflows/publish.yml

@@ -18,7 +18,7 @@ jobs:
       - name: Install Rust toolchain
         uses: actions-rs/toolchain@v1
         with:
-          toolchain: stable
+          toolchain: stable 
           profile: minimal
           override: true
 

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "chalk"
-version = "0.11.0-dev.0"
+version = "0.12.0-dev.0"
 description = "Model of the Rust trait system"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -21,11 +21,11 @@ salsa = "0.10.0"
 serde = "1.0"
 serde_derive = "1.0"
 
-chalk-derive = { version = "0.11.0-dev.0", path = "chalk-derive" }
-chalk-engine = { version = "0.11.0-dev.0", path = "chalk-engine" }
-chalk-ir = { version = "0.11.0-dev.0", path = "chalk-ir" }
-chalk-solve = { version = "0.11.0-dev.0", path = "chalk-solve" }
-chalk-parse = { version = "0.11.0-dev.0", path = "chalk-parse" }
-chalk-integration = { version = "0.11.0-dev.0", path = "chalk-integration" }
+chalk-derive = { version = "0.12.0-dev.0", path = "chalk-derive" }
+chalk-engine = { version = "0.12.0-dev.0", path = "chalk-engine" }
+chalk-ir = { version = "0.12.0-dev.0", path = "chalk-ir" }
+chalk-solve = { version = "0.12.0-dev.0", path = "chalk-solve" }
+chalk-parse = { version = "0.12.0-dev.0", path = "chalk-parse" }
+chalk-integration = { version = "0.12.0-dev.0", path = "chalk-integration" }
 
 [workspace]

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "chalk-derive"
-version = "0.11.0-dev.0"
+version = "0.12.0-dev.0"
 description = "A helper crate for use by chalk crates for `derive` macros."
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]

chalk-derive/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "chalk-engine"
-version = "0.11.0-dev.0"
+version = "0.12.0-dev.0"
 description = "Core trait engine from Chalk project"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -15,5 +15,5 @@ default = []
 [dependencies]
 rustc-hash = { version = "1.1.0" }
 
-chalk-derive = { version = "0.11.0-dev.0", path = "../chalk-derive" }
-chalk-ir = { version = "0.11.0-dev.0", path = "../chalk-ir" }
+chalk-derive = { version = "0.12.0-dev.0", path = "../chalk-derive" }
+chalk-ir = { version = "0.12.0-dev.0", path = "../chalk-ir" }

chalk-engine/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "chalk-integration"
-version = "0.11.0-dev.0"
+version = "0.12.0-dev.0"
 license = "Apache-2.0/MIT"
 description = "Sample solver setup for Chalk"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -13,8 +13,8 @@ publish = false
 string_cache = "0.8.0"
 salsa = "0.10.0"
 
-chalk-derive = { version = "0.11.0-dev.0", path = "../chalk-derive" }
-chalk-engine = { version = "0.11.0-dev.0", path = "../chalk-engine" }
-chalk-ir = { version = "0.11.0-dev.0", path = "../chalk-ir" }
-chalk-solve = { version = "0.11.0-dev.0", path = "../chalk-solve" }
-chalk-parse = { version = "0.11.0-dev.0", path = "../chalk-parse" }
+chalk-derive = { version = "0.12.0-dev.0", path = "../chalk-derive" }
+chalk-engine = { version = "0.12.0-dev.0", path = "../chalk-engine" }
+chalk-ir = { version = "0.12.0-dev.0", path = "../chalk-ir" }
+chalk-solve = { version = "0.12.0-dev.0", path = "../chalk-solve" }
+chalk-parse = { version = "0.12.0-dev.0", path = "../chalk-parse" }

chalk-integration/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "chalk-ir"
-version = "0.11.0-dev.0"
+version = "0.12.0-dev.0"
 description = "Chalk's internal representation of types, goals, and clauses"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -11,5 +11,5 @@ edition = "2018"
 
 [dependencies]
 lazy_static = "1.4.0"
-chalk-derive = { version = "0.11.0-dev.0", path = "../chalk-derive" }
+chalk-derive = { version = "0.12.0-dev.0", path = "../chalk-derive" }
 

chalk-ir/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "chalk-parse"
-version = "0.11.0-dev.0"
+version = "0.12.0-dev.0"
 description = "Parser for the Chalk project"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]

chalk-parse/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "chalk-solve"
-version = "0.11.0-dev.0"
+version = "0.12.0-dev.0"
 description = "Combines the chalk-engine with chalk-ir"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -15,9 +15,9 @@ itertools = "0.9.0"
 petgraph = "0.5.0"
 rustc-hash = { version = "1.0.0" }
 
-chalk-derive = { version = "0.11.0-dev.0", path = "../chalk-derive" }
-chalk-engine = { version = "0.11.0-dev.0", path = "../chalk-engine", optional = true }
-chalk-ir = { version = "0.11.0-dev.0", path = "../chalk-ir" }
+chalk-derive = { version = "0.12.0-dev.0", path = "../chalk-derive" }
+chalk-engine = { version = "0.12.0-dev.0", path = "../chalk-engine", optional = true }
+chalk-ir = { version = "0.12.0-dev.0", path = "../chalk-ir" }
 
 [dev-dependencies]
 chalk-integration = { path = "../chalk-integration" }