summaryrefslogtreecommitdiffstats
path: root/vendor/chalk-solve-0.87.0/src/clauses
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/src/clauses
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/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
16 files changed, 0 insertions, 0 deletions
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