summaryrefslogtreecommitdiffstats
path: root/vendor/chalk-solve-0.87.0
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
commit64d98f8ee037282c35007b64c2649055c56af1db (patch)
tree5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /vendor/chalk-solve-0.87.0
parentAdding debian version 1.67.1+dfsg1-1. (diff)
downloadrustc-64d98f8ee037282c35007b64c2649055c56af1db.tar.xz
rustc-64d98f8ee037282c35007b64c2649055c56af1db.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r--vendor/chalk-solve-0.87.0/.cargo-checksum.json (renamed from vendor/chalk-solve/.cargo-checksum.json)0
-rw-r--r--vendor/chalk-solve-0.87.0/Cargo.toml (renamed from vendor/chalk-solve/Cargo.toml)0
-rw-r--r--vendor/chalk-solve-0.87.0/README.md (renamed from vendor/chalk-solve/README.md)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses.rs (renamed from vendor/chalk-solve/src/clauses.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builder.rs (renamed from vendor/chalk-solve/src/clauses/builder.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/clone.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/clone.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/copy.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/copy.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/discriminant_kind.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/discriminant_kind.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/fn_family.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/fn_family.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/generator.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/generator.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/sized.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/sized.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/tuple.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/tuple.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/unsize.rs (renamed from vendor/chalk-solve/src/clauses/builtin_traits/unsize.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/dyn_ty.rs (renamed from vendor/chalk-solve/src/clauses/dyn_ty.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/env_elaborator.rs (renamed from vendor/chalk-solve/src/clauses/env_elaborator.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/generalize.rs (renamed from vendor/chalk-solve/src/clauses/generalize.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/program_clauses.rs (renamed from vendor/chalk-solve/src/clauses/program_clauses.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/clauses/super_traits.rs (renamed from vendor/chalk-solve/src/clauses/super_traits.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/coherence.rs (renamed from vendor/chalk-solve/src/coherence.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/coherence/orphan.rs (renamed from vendor/chalk-solve/src/coherence/orphan.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/coherence/solve.rs (renamed from vendor/chalk-solve/src/coherence/solve.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/coinductive_goal.rs (renamed from vendor/chalk-solve/src/coinductive_goal.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display.rs (renamed from vendor/chalk-solve/src/display.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/bounds.rs (renamed from vendor/chalk-solve/src/display/bounds.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/identifiers.rs (renamed from vendor/chalk-solve/src/display/identifiers.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/items.rs (renamed from vendor/chalk-solve/src/display/items.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/render_trait.rs (renamed from vendor/chalk-solve/src/display/render_trait.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/state.rs (renamed from vendor/chalk-solve/src/display/state.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/stub.rs (renamed from vendor/chalk-solve/src/display/stub.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/ty.rs (renamed from vendor/chalk-solve/src/display/ty.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/display/utils.rs (renamed from vendor/chalk-solve/src/display/utils.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/ext.rs (renamed from vendor/chalk-solve/src/ext.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/goal_builder.rs (renamed from vendor/chalk-solve/src/goal_builder.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer.rs (renamed from vendor/chalk-solve/src/infer.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer/canonicalize.rs (renamed from vendor/chalk-solve/src/infer/canonicalize.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer/instantiate.rs (renamed from vendor/chalk-solve/src/infer/instantiate.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer/invert.rs (renamed from vendor/chalk-solve/src/infer/invert.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer/test.rs (renamed from vendor/chalk-solve/src/infer/test.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer/ucanonicalize.rs (renamed from vendor/chalk-solve/src/infer/ucanonicalize.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer/unify.rs (renamed from vendor/chalk-solve/src/infer/unify.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/infer/var.rs (renamed from vendor/chalk-solve/src/infer/var.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/lib.rs (renamed from vendor/chalk-solve/src/lib.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/logging.rs (renamed from vendor/chalk-solve/src/logging.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/logging_db.rs (renamed from vendor/chalk-solve/src/logging_db.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/logging_db/id_collector.rs (renamed from vendor/chalk-solve/src/logging_db/id_collector.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/rust_ir.rs (renamed from vendor/chalk-solve/src/rust_ir.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/solve.rs (renamed from vendor/chalk-solve/src/solve.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/solve/test/bench.rs (renamed from vendor/chalk-solve/src/solve/test/bench.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/solve/truncate.rs (renamed from vendor/chalk-solve/src/solve/truncate.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/split.rs (renamed from vendor/chalk-solve/src/split.rs)0
-rw-r--r--vendor/chalk-solve-0.87.0/src/wf.rs (renamed from vendor/chalk-solve/src/wf.rs)0
52 files changed, 0 insertions, 0 deletions
diff --git a/vendor/chalk-solve/.cargo-checksum.json b/vendor/chalk-solve-0.87.0/.cargo-checksum.json
index f93fb555d..f93fb555d 100644
--- a/vendor/chalk-solve/.cargo-checksum.json
+++ b/vendor/chalk-solve-0.87.0/.cargo-checksum.json
diff --git a/vendor/chalk-solve/Cargo.toml b/vendor/chalk-solve-0.87.0/Cargo.toml
index b57214aa8..b57214aa8 100644
--- a/vendor/chalk-solve/Cargo.toml
+++ b/vendor/chalk-solve-0.87.0/Cargo.toml
diff --git a/vendor/chalk-solve/README.md b/vendor/chalk-solve-0.87.0/README.md
index bed41761d..bed41761d 100644
--- a/vendor/chalk-solve/README.md
+++ b/vendor/chalk-solve-0.87.0/README.md
diff --git a/vendor/chalk-solve/src/clauses.rs b/vendor/chalk-solve-0.87.0/src/clauses.rs
index e3fdd351b..e3fdd351b 100644
--- a/vendor/chalk-solve/src/clauses.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses.rs
diff --git a/vendor/chalk-solve/src/clauses/builder.rs b/vendor/chalk-solve-0.87.0/src/clauses/builder.rs
index bbe7c2fd2..bbe7c2fd2 100644
--- a/vendor/chalk-solve/src/clauses/builder.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builder.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits.rs
index b5a1c7d57..b5a1c7d57 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/clone.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/clone.rs
index 6d6b3a362..6d6b3a362 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/clone.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/clone.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/copy.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/copy.rs
index c0174b21e..c0174b21e 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/copy.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/copy.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/discriminant_kind.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/discriminant_kind.rs
index 27d49df75..27d49df75 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/discriminant_kind.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/discriminant_kind.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/fn_family.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/fn_family.rs
index f2358bc73..f2358bc73 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/fn_family.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/fn_family.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/generator.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/generator.rs
index 67415bfd7..67415bfd7 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/generator.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/generator.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/sized.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/sized.rs
index 3ed46d425..3ed46d425 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/sized.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/sized.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/tuple.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/tuple.rs
index a62447827..a62447827 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/tuple.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/tuple.rs
diff --git a/vendor/chalk-solve/src/clauses/builtin_traits/unsize.rs b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/unsize.rs
index 6682735b6..6682735b6 100644
--- a/vendor/chalk-solve/src/clauses/builtin_traits/unsize.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/builtin_traits/unsize.rs
diff --git a/vendor/chalk-solve/src/clauses/dyn_ty.rs b/vendor/chalk-solve-0.87.0/src/clauses/dyn_ty.rs
index 505da43f9..505da43f9 100644
--- a/vendor/chalk-solve/src/clauses/dyn_ty.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/dyn_ty.rs
diff --git a/vendor/chalk-solve/src/clauses/env_elaborator.rs b/vendor/chalk-solve-0.87.0/src/clauses/env_elaborator.rs
index 29032a7ad..29032a7ad 100644
--- a/vendor/chalk-solve/src/clauses/env_elaborator.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/env_elaborator.rs
diff --git a/vendor/chalk-solve/src/clauses/generalize.rs b/vendor/chalk-solve-0.87.0/src/clauses/generalize.rs
index bff05b369..bff05b369 100644
--- a/vendor/chalk-solve/src/clauses/generalize.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/generalize.rs
diff --git a/vendor/chalk-solve/src/clauses/program_clauses.rs b/vendor/chalk-solve-0.87.0/src/clauses/program_clauses.rs
index 19811ff8b..19811ff8b 100644
--- a/vendor/chalk-solve/src/clauses/program_clauses.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/program_clauses.rs
diff --git a/vendor/chalk-solve/src/clauses/super_traits.rs b/vendor/chalk-solve-0.87.0/src/clauses/super_traits.rs
index 3110b03e8..3110b03e8 100644
--- a/vendor/chalk-solve/src/clauses/super_traits.rs
+++ b/vendor/chalk-solve-0.87.0/src/clauses/super_traits.rs
diff --git a/vendor/chalk-solve/src/coherence.rs b/vendor/chalk-solve-0.87.0/src/coherence.rs
index 5528b9a21..5528b9a21 100644
--- a/vendor/chalk-solve/src/coherence.rs
+++ b/vendor/chalk-solve-0.87.0/src/coherence.rs
diff --git a/vendor/chalk-solve/src/coherence/orphan.rs b/vendor/chalk-solve-0.87.0/src/coherence/orphan.rs
index f8e06b901..f8e06b901 100644
--- a/vendor/chalk-solve/src/coherence/orphan.rs
+++ b/vendor/chalk-solve-0.87.0/src/coherence/orphan.rs
diff --git a/vendor/chalk-solve/src/coherence/solve.rs b/vendor/chalk-solve-0.87.0/src/coherence/solve.rs
index 57dd81061..57dd81061 100644
--- a/vendor/chalk-solve/src/coherence/solve.rs
+++ b/vendor/chalk-solve-0.87.0/src/coherence/solve.rs
diff --git a/vendor/chalk-solve/src/coinductive_goal.rs b/vendor/chalk-solve-0.87.0/src/coinductive_goal.rs
index cdb5cca10..cdb5cca10 100644
--- a/vendor/chalk-solve/src/coinductive_goal.rs
+++ b/vendor/chalk-solve-0.87.0/src/coinductive_goal.rs
diff --git a/vendor/chalk-solve/src/display.rs b/vendor/chalk-solve-0.87.0/src/display.rs
index bb1f7a3c5..bb1f7a3c5 100644
--- a/vendor/chalk-solve/src/display.rs
+++ b/vendor/chalk-solve-0.87.0/src/display.rs
diff --git a/vendor/chalk-solve/src/display/bounds.rs b/vendor/chalk-solve-0.87.0/src/display/bounds.rs
index 3c6bfde14..3c6bfde14 100644
--- a/vendor/chalk-solve/src/display/bounds.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/bounds.rs
diff --git a/vendor/chalk-solve/src/display/identifiers.rs b/vendor/chalk-solve-0.87.0/src/display/identifiers.rs
index 81a08d71b..81a08d71b 100644
--- a/vendor/chalk-solve/src/display/identifiers.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/identifiers.rs
diff --git a/vendor/chalk-solve/src/display/items.rs b/vendor/chalk-solve-0.87.0/src/display/items.rs
index 00387a07b..00387a07b 100644
--- a/vendor/chalk-solve/src/display/items.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/items.rs
diff --git a/vendor/chalk-solve/src/display/render_trait.rs b/vendor/chalk-solve-0.87.0/src/display/render_trait.rs
index a565f076c..a565f076c 100644
--- a/vendor/chalk-solve/src/display/render_trait.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/render_trait.rs
diff --git a/vendor/chalk-solve/src/display/state.rs b/vendor/chalk-solve-0.87.0/src/display/state.rs
index fed2f5ca5..fed2f5ca5 100644
--- a/vendor/chalk-solve/src/display/state.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/state.rs
diff --git a/vendor/chalk-solve/src/display/stub.rs b/vendor/chalk-solve-0.87.0/src/display/stub.rs
index ec209bc91..ec209bc91 100644
--- a/vendor/chalk-solve/src/display/stub.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/stub.rs
diff --git a/vendor/chalk-solve/src/display/ty.rs b/vendor/chalk-solve-0.87.0/src/display/ty.rs
index b0186652e..b0186652e 100644
--- a/vendor/chalk-solve/src/display/ty.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/ty.rs
diff --git a/vendor/chalk-solve/src/display/utils.rs b/vendor/chalk-solve-0.87.0/src/display/utils.rs
index 306605616..306605616 100644
--- a/vendor/chalk-solve/src/display/utils.rs
+++ b/vendor/chalk-solve-0.87.0/src/display/utils.rs
diff --git a/vendor/chalk-solve/src/ext.rs b/vendor/chalk-solve-0.87.0/src/ext.rs
index 9cb8b774a..9cb8b774a 100644
--- a/vendor/chalk-solve/src/ext.rs
+++ b/vendor/chalk-solve-0.87.0/src/ext.rs
diff --git a/vendor/chalk-solve/src/goal_builder.rs b/vendor/chalk-solve-0.87.0/src/goal_builder.rs
index aa5c9c9eb..aa5c9c9eb 100644
--- a/vendor/chalk-solve/src/goal_builder.rs
+++ b/vendor/chalk-solve-0.87.0/src/goal_builder.rs
diff --git a/vendor/chalk-solve/src/infer.rs b/vendor/chalk-solve-0.87.0/src/infer.rs
index 6ede065e0..6ede065e0 100644
--- a/vendor/chalk-solve/src/infer.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer.rs
diff --git a/vendor/chalk-solve/src/infer/canonicalize.rs b/vendor/chalk-solve-0.87.0/src/infer/canonicalize.rs
index ddec0515d..ddec0515d 100644
--- a/vendor/chalk-solve/src/infer/canonicalize.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer/canonicalize.rs
diff --git a/vendor/chalk-solve/src/infer/instantiate.rs b/vendor/chalk-solve-0.87.0/src/infer/instantiate.rs
index 161271f23..161271f23 100644
--- a/vendor/chalk-solve/src/infer/instantiate.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer/instantiate.rs
diff --git a/vendor/chalk-solve/src/infer/invert.rs b/vendor/chalk-solve-0.87.0/src/infer/invert.rs
index e5bc3590c..e5bc3590c 100644
--- a/vendor/chalk-solve/src/infer/invert.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer/invert.rs
diff --git a/vendor/chalk-solve/src/infer/test.rs b/vendor/chalk-solve-0.87.0/src/infer/test.rs
index 2ac35f027..2ac35f027 100644
--- a/vendor/chalk-solve/src/infer/test.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer/test.rs
diff --git a/vendor/chalk-solve/src/infer/ucanonicalize.rs b/vendor/chalk-solve-0.87.0/src/infer/ucanonicalize.rs
index b44880e37..b44880e37 100644
--- a/vendor/chalk-solve/src/infer/ucanonicalize.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer/ucanonicalize.rs
diff --git a/vendor/chalk-solve/src/infer/unify.rs b/vendor/chalk-solve-0.87.0/src/infer/unify.rs
index 10086e651..10086e651 100644
--- a/vendor/chalk-solve/src/infer/unify.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer/unify.rs
diff --git a/vendor/chalk-solve/src/infer/var.rs b/vendor/chalk-solve-0.87.0/src/infer/var.rs
index 3fbf92002..3fbf92002 100644
--- a/vendor/chalk-solve/src/infer/var.rs
+++ b/vendor/chalk-solve-0.87.0/src/infer/var.rs
diff --git a/vendor/chalk-solve/src/lib.rs b/vendor/chalk-solve-0.87.0/src/lib.rs
index a870a0c49..a870a0c49 100644
--- a/vendor/chalk-solve/src/lib.rs
+++ b/vendor/chalk-solve-0.87.0/src/lib.rs
diff --git a/vendor/chalk-solve/src/logging.rs b/vendor/chalk-solve-0.87.0/src/logging.rs
index a5be4d4d4..a5be4d4d4 100644
--- a/vendor/chalk-solve/src/logging.rs
+++ b/vendor/chalk-solve-0.87.0/src/logging.rs
diff --git a/vendor/chalk-solve/src/logging_db.rs b/vendor/chalk-solve-0.87.0/src/logging_db.rs
index 12d8b052a..12d8b052a 100644
--- a/vendor/chalk-solve/src/logging_db.rs
+++ b/vendor/chalk-solve-0.87.0/src/logging_db.rs
diff --git a/vendor/chalk-solve/src/logging_db/id_collector.rs b/vendor/chalk-solve-0.87.0/src/logging_db/id_collector.rs
index 41aa38166..41aa38166 100644
--- a/vendor/chalk-solve/src/logging_db/id_collector.rs
+++ b/vendor/chalk-solve-0.87.0/src/logging_db/id_collector.rs
diff --git a/vendor/chalk-solve/src/rust_ir.rs b/vendor/chalk-solve-0.87.0/src/rust_ir.rs
index 935a29032..935a29032 100644
--- a/vendor/chalk-solve/src/rust_ir.rs
+++ b/vendor/chalk-solve-0.87.0/src/rust_ir.rs
diff --git a/vendor/chalk-solve/src/solve.rs b/vendor/chalk-solve-0.87.0/src/solve.rs
index 0734fc53e..0734fc53e 100644
--- a/vendor/chalk-solve/src/solve.rs
+++ b/vendor/chalk-solve-0.87.0/src/solve.rs
diff --git a/vendor/chalk-solve/src/solve/test/bench.rs b/vendor/chalk-solve-0.87.0/src/solve/test/bench.rs
index 6ef6eb1f9..6ef6eb1f9 100644
--- a/vendor/chalk-solve/src/solve/test/bench.rs
+++ b/vendor/chalk-solve-0.87.0/src/solve/test/bench.rs
diff --git a/vendor/chalk-solve/src/solve/truncate.rs b/vendor/chalk-solve-0.87.0/src/solve/truncate.rs
index 1ed47b94f..1ed47b94f 100644
--- a/vendor/chalk-solve/src/solve/truncate.rs
+++ b/vendor/chalk-solve-0.87.0/src/solve/truncate.rs
diff --git a/vendor/chalk-solve/src/split.rs b/vendor/chalk-solve-0.87.0/src/split.rs
index bea24044d..bea24044d 100644
--- a/vendor/chalk-solve/src/split.rs
+++ b/vendor/chalk-solve-0.87.0/src/split.rs
diff --git a/vendor/chalk-solve/src/wf.rs b/vendor/chalk-solve-0.87.0/src/wf.rs
index d552cdde7..d552cdde7 100644
--- a/vendor/chalk-solve/src/wf.rs
+++ b/vendor/chalk-solve-0.87.0/src/wf.rs