diff options
| author | Florian Diebold <[email protected]> | 2020-04-05 17:24:18 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-04-05 18:23:18 +0100 |
| commit | 952714685a7c0e0a1c9970839ce307806adaa176 (patch) | |
| tree | 2d002aa05d91133886bb592ba79e4c9238e37343 /Cargo.lock | |
| parent | 3659502816134b45448799acf428055e40fdf4fc (diff) | |
Upgrade Chalk again
The big change here is counting binders, not
variables (https://github.com/rust-lang/chalk/pull/360). We have to adapt to the
same scheme for our `Ty::Bound`. It's mostly fine though, even makes some things
more clear.
Diffstat (limited to 'Cargo.lock')
| -rw-r--r-- | Cargo.lock | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Cargo.lock b/Cargo.lock index c46bf9448..2ea0c5cd1 100644 --- a/Cargo.lock +++ b/Cargo.lock | |||
| @@ -114,7 +114,7 @@ checksum = "4785bdd1c96b2a846b2bd7cc02e86b6b3dbf14e7e53446c4f54c92a361040822" | |||
| 114 | [[package]] | 114 | [[package]] |
| 115 | name = "chalk-derive" | 115 | name = "chalk-derive" |
| 116 | version = "0.1.0" | 116 | version = "0.1.0" |
| 117 | source = "git+https://github.com/rust-lang/chalk.git?rev=d383af7333cc6014e9d9e3e77668b5d5b0a5b40e#d383af7333cc6014e9d9e3e77668b5d5b0a5b40e" | 117 | source = "git+https://github.com/rust-lang/chalk.git?rev=039fc904a05f8cb3d0c682c9a57a63dda7a35356#039fc904a05f8cb3d0c682c9a57a63dda7a35356" |
| 118 | dependencies = [ | 118 | dependencies = [ |
| 119 | "proc-macro2", | 119 | "proc-macro2", |
| 120 | "quote", | 120 | "quote", |
| @@ -124,7 +124,7 @@ dependencies = [ | |||
| 124 | [[package]] | 124 | [[package]] |
| 125 | name = "chalk-engine" | 125 | name = "chalk-engine" |
| 126 | version = "0.9.0" | 126 | version = "0.9.0" |
| 127 | source = "git+https://github.com/rust-lang/chalk.git?rev=d383af7333cc6014e9d9e3e77668b5d5b0a5b40e#d383af7333cc6014e9d9e3e77668b5d5b0a5b40e" | 127 | source = "git+https://github.com/rust-lang/chalk.git?rev=039fc904a05f8cb3d0c682c9a57a63dda7a35356#039fc904a05f8cb3d0c682c9a57a63dda7a35356" |
| 128 | dependencies = [ | 128 | dependencies = [ |
| 129 | "chalk-macros", | 129 | "chalk-macros", |
| 130 | "rustc-hash", | 130 | "rustc-hash", |
| @@ -133,7 +133,7 @@ dependencies = [ | |||
| 133 | [[package]] | 133 | [[package]] |
| 134 | name = "chalk-ir" | 134 | name = "chalk-ir" |
| 135 | version = "0.1.0" | 135 | version = "0.1.0" |
| 136 | source = "git+https://github.com/rust-lang/chalk.git?rev=d383af7333cc6014e9d9e3e77668b5d5b0a5b40e#d383af7333cc6014e9d9e3e77668b5d5b0a5b40e" | 136 | source = "git+https://github.com/rust-lang/chalk.git?rev=039fc904a05f8cb3d0c682c9a57a63dda7a35356#039fc904a05f8cb3d0c682c9a57a63dda7a35356" |
| 137 | dependencies = [ | 137 | dependencies = [ |
| 138 | "chalk-derive", | 138 | "chalk-derive", |
| 139 | "chalk-engine", | 139 | "chalk-engine", |
| @@ -143,7 +143,7 @@ dependencies = [ | |||
| 143 | [[package]] | 143 | [[package]] |
| 144 | name = "chalk-macros" | 144 | name = "chalk-macros" |
| 145 | version = "0.1.1" | 145 | version = "0.1.1" |
| 146 | source = "git+https://github.com/rust-lang/chalk.git?rev=d383af7333cc6014e9d9e3e77668b5d5b0a5b40e#d383af7333cc6014e9d9e3e77668b5d5b0a5b40e" | 146 | source = "git+https://github.com/rust-lang/chalk.git?rev=039fc904a05f8cb3d0c682c9a57a63dda7a35356#039fc904a05f8cb3d0c682c9a57a63dda7a35356" |
| 147 | dependencies = [ | 147 | dependencies = [ |
| 148 | "lazy_static", | 148 | "lazy_static", |
| 149 | ] | 149 | ] |
| @@ -151,7 +151,7 @@ dependencies = [ | |||
| 151 | [[package]] | 151 | [[package]] |
| 152 | name = "chalk-rust-ir" | 152 | name = "chalk-rust-ir" |
| 153 | version = "0.1.0" | 153 | version = "0.1.0" |
| 154 | source = "git+https://github.com/rust-lang/chalk.git?rev=d383af7333cc6014e9d9e3e77668b5d5b0a5b40e#d383af7333cc6014e9d9e3e77668b5d5b0a5b40e" | 154 | source = "git+https://github.com/rust-lang/chalk.git?rev=039fc904a05f8cb3d0c682c9a57a63dda7a35356#039fc904a05f8cb3d0c682c9a57a63dda7a35356" |
| 155 | dependencies = [ | 155 | dependencies = [ |
| 156 | "chalk-derive", | 156 | "chalk-derive", |
| 157 | "chalk-engine", | 157 | "chalk-engine", |
| @@ -162,7 +162,7 @@ dependencies = [ | |||
| 162 | [[package]] | 162 | [[package]] |
| 163 | name = "chalk-solve" | 163 | name = "chalk-solve" |
| 164 | version = "0.1.0" | 164 | version = "0.1.0" |
| 165 | source = "git+https://github.com/rust-lang/chalk.git?rev=d383af7333cc6014e9d9e3e77668b5d5b0a5b40e#d383af7333cc6014e9d9e3e77668b5d5b0a5b40e" | 165 | source = "git+https://github.com/rust-lang/chalk.git?rev=039fc904a05f8cb3d0c682c9a57a63dda7a35356#039fc904a05f8cb3d0c682c9a57a63dda7a35356" |
| 166 | dependencies = [ | 166 | dependencies = [ |
| 167 | "chalk-derive", | 167 | "chalk-derive", |
| 168 | "chalk-engine", | 168 | "chalk-engine", |