diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:03 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:03 +0000 |
commit | 64d98f8ee037282c35007b64c2649055c56af1db (patch) | |
tree | 5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /vendor/chalk-solve-0.87.0 | |
parent | Adding debian version 1.67.1+dfsg1-1. (diff) | |
download | rustc-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 |