summaryrefslogtreecommitdiffstats
path: root/tests/ui/transmutability
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tests/ui/transmutability/abstraction/abstracted_assume.rs (renamed from src/test/ui/transmutability/abstraction/abstracted_assume.rs)0
-rw-r--r--tests/ui/transmutability/abstraction/const_generic_fn.rs (renamed from src/test/ui/transmutability/abstraction/const_generic_fn.rs)0
-rw-r--r--tests/ui/transmutability/arrays/issue-103783-array-length.rs (renamed from src/test/ui/transmutability/arrays/issue-103783-array-length.rs)0
-rw-r--r--tests/ui/transmutability/arrays/issue-103783-array-length.stderr (renamed from src/test/ui/transmutability/arrays/issue-103783-array-length.stderr)0
-rw-r--r--tests/ui/transmutability/arrays/should_have_correct_length.rs (renamed from src/test/ui/transmutability/arrays/should_have_correct_length.rs)0
-rw-r--r--tests/ui/transmutability/arrays/should_inherit_alignment.rs (renamed from src/test/ui/transmutability/arrays/should_inherit_alignment.rs)0
-rw-r--r--tests/ui/transmutability/arrays/should_require_well_defined_layout.rs (renamed from src/test/ui/transmutability/arrays/should_require_well_defined_layout.rs)0
-rw-r--r--tests/ui/transmutability/arrays/should_require_well_defined_layout.stderr (renamed from src/test/ui/transmutability/arrays/should_require_well_defined_layout.stderr)0
-rw-r--r--tests/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.rs (renamed from src/test/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.rs)0
-rw-r--r--tests/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.stderr (renamed from src/test/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.stderr)0
-rw-r--r--tests/ui/transmutability/enums/repr/should_require_well_defined_layout.rs (renamed from src/test/ui/transmutability/enums/repr/should_require_well_defined_layout.rs)0
-rw-r--r--tests/ui/transmutability/enums/repr/should_require_well_defined_layout.stderr (renamed from src/test/ui/transmutability/enums/repr/should_require_well_defined_layout.stderr)0
-rw-r--r--tests/ui/transmutability/enums/should_order_correctly.rs (renamed from src/test/ui/transmutability/enums/should_order_correctly.rs)0
-rw-r--r--tests/ui/transmutability/enums/should_pad_variants.rs (renamed from src/test/ui/transmutability/enums/should_pad_variants.rs)0
-rw-r--r--tests/ui/transmutability/enums/should_pad_variants.stderr (renamed from src/test/ui/transmutability/enums/should_pad_variants.stderr)0
-rw-r--r--tests/ui/transmutability/enums/should_respect_endianness.rs (renamed from src/test/ui/transmutability/enums/should_respect_endianness.rs)0
-rw-r--r--tests/ui/transmutability/enums/should_respect_endianness.stderr (renamed from src/test/ui/transmutability/enums/should_respect_endianness.stderr)0
-rw-r--r--tests/ui/transmutability/issue-101739-1.rs (renamed from src/test/ui/transmutability/issue-101739-1.rs)0
-rw-r--r--tests/ui/transmutability/issue-101739-1.stderr (renamed from src/test/ui/transmutability/issue-101739-1.stderr)0
-rw-r--r--tests/ui/transmutability/issue-101739-2.rs (renamed from src/test/ui/transmutability/issue-101739-2.rs)0
-rw-r--r--tests/ui/transmutability/issue-101739-2.stderr14
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/feature-missing.rs (renamed from src/test/ui/transmutability/malformed-program-gracefulness/feature-missing.rs)0
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/feature-missing.stderr (renamed from src/test/ui/transmutability/malformed-program-gracefulness/feature-missing.stderr)0
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/unknown_dst.rs (renamed from src/test/ui/transmutability/malformed-program-gracefulness/unknown_dst.rs)0
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/unknown_dst.stderr14
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/unknown_src.rs (renamed from src/test/ui/transmutability/malformed-program-gracefulness/unknown_src.rs)0
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/unknown_src.stderr14
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/unknown_src_field.rs (renamed from src/test/ui/transmutability/malformed-program-gracefulness/unknown_src_field.rs)0
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/unknown_src_field.stderr (renamed from src/test/ui/transmutability/malformed-program-gracefulness/unknown_src_field.stderr)0
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs (renamed from src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs)0
-rw-r--r--tests/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.stderr (renamed from src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.stderr)0
-rw-r--r--tests/ui/transmutability/primitives/bool.rs (renamed from src/test/ui/transmutability/primitives/bool.rs)0
-rw-r--r--tests/ui/transmutability/primitives/bool.stderr (renamed from src/test/ui/transmutability/primitives/bool.stderr)0
-rw-r--r--tests/ui/transmutability/primitives/numbers.rs (renamed from src/test/ui/transmutability/primitives/numbers.rs)0
-rw-r--r--tests/ui/transmutability/primitives/numbers.stderr (renamed from src/test/ui/transmutability/primitives/numbers.stderr)0
-rw-r--r--tests/ui/transmutability/primitives/unit.rs (renamed from src/test/ui/transmutability/primitives/unit.rs)0
-rw-r--r--tests/ui/transmutability/primitives/unit.stderr (renamed from src/test/ui/transmutability/primitives/unit.stderr)0
-rw-r--r--tests/ui/transmutability/references.rs (renamed from src/test/ui/transmutability/references.rs)0
-rw-r--r--tests/ui/transmutability/references.stderr (renamed from src/test/ui/transmutability/references.stderr)0
-rw-r--r--tests/ui/transmutability/structs/repr/should_handle_align.rs (renamed from src/test/ui/transmutability/structs/repr/should_handle_align.rs)0
-rw-r--r--tests/ui/transmutability/structs/repr/should_handle_packed.rs (renamed from src/test/ui/transmutability/structs/repr/should_handle_packed.rs)0
-rw-r--r--tests/ui/transmutability/structs/repr/should_require_well_defined_layout.rs (renamed from src/test/ui/transmutability/structs/repr/should_require_well_defined_layout.rs)0
-rw-r--r--tests/ui/transmutability/structs/repr/should_require_well_defined_layout.stderr (renamed from src/test/ui/transmutability/structs/repr/should_require_well_defined_layout.stderr)0
-rw-r--r--tests/ui/transmutability/structs/should_order_fields_correctly.rs (renamed from src/test/ui/transmutability/structs/should_order_fields_correctly.rs)0
-rw-r--r--tests/ui/transmutability/unions/boolish.rs (renamed from src/test/ui/transmutability/unions/boolish.rs)0
-rw-r--r--tests/ui/transmutability/unions/repr/should_handle_align.rs (renamed from src/test/ui/transmutability/unions/repr/should_handle_align.rs)0
-rw-r--r--tests/ui/transmutability/unions/repr/should_handle_packed.rs (renamed from src/test/ui/transmutability/unions/repr/should_handle_packed.rs)0
-rw-r--r--tests/ui/transmutability/unions/repr/should_require_well_defined_layout.rs (renamed from src/test/ui/transmutability/unions/repr/should_require_well_defined_layout.rs)0
-rw-r--r--tests/ui/transmutability/unions/repr/should_require_well_defined_layout.stderr (renamed from src/test/ui/transmutability/unions/repr/should_require_well_defined_layout.stderr)0
-rw-r--r--tests/ui/transmutability/unions/should_pad_variants.rs (renamed from src/test/ui/transmutability/unions/should_pad_variants.rs)0
-rw-r--r--tests/ui/transmutability/unions/should_pad_variants.stderr (renamed from src/test/ui/transmutability/unions/should_pad_variants.stderr)0
-rw-r--r--tests/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs (renamed from src/test/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs)0
-rw-r--r--tests/ui/transmutability/unions/should_reject_contraction.rs (renamed from src/test/ui/transmutability/unions/should_reject_contraction.rs)0
-rw-r--r--tests/ui/transmutability/unions/should_reject_contraction.stderr (renamed from src/test/ui/transmutability/unions/should_reject_contraction.stderr)0
-rw-r--r--tests/ui/transmutability/unions/should_reject_disjoint.rs (renamed from src/test/ui/transmutability/unions/should_reject_disjoint.rs)0
-rw-r--r--tests/ui/transmutability/unions/should_reject_disjoint.stderr (renamed from src/test/ui/transmutability/unions/should_reject_disjoint.stderr)0
-rw-r--r--tests/ui/transmutability/unions/should_reject_intersecting.rs (renamed from src/test/ui/transmutability/unions/should_reject_intersecting.rs)0
-rw-r--r--tests/ui/transmutability/unions/should_reject_intersecting.stderr (renamed from src/test/ui/transmutability/unions/should_reject_intersecting.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs (renamed from src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs (renamed from src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs)0
-rw-r--r--tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs (renamed from src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs (renamed from src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.stderr (renamed from src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.rs (renamed from src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.rs)0
-rw-r--r--tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.stderr (renamed from src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs (renamed from src/test/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs (renamed from src/test/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs (renamed from src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.stderr (renamed from src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.rs (renamed from src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.stderr (renamed from src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_private_field.rs (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_private_field.stderr (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_field.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.rs (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.stderr (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.rs (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.stderr (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.stderr)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.rs (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.rs)0
-rw-r--r--tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.stderr (renamed from src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.stderr)0
80 files changed, 42 insertions, 0 deletions
diff --git a/src/test/ui/transmutability/abstraction/abstracted_assume.rs b/tests/ui/transmutability/abstraction/abstracted_assume.rs
index 0225c4230..0225c4230 100644
--- a/src/test/ui/transmutability/abstraction/abstracted_assume.rs
+++ b/tests/ui/transmutability/abstraction/abstracted_assume.rs
diff --git a/src/test/ui/transmutability/abstraction/const_generic_fn.rs b/tests/ui/transmutability/abstraction/const_generic_fn.rs
index e693a0957..e693a0957 100644
--- a/src/test/ui/transmutability/abstraction/const_generic_fn.rs
+++ b/tests/ui/transmutability/abstraction/const_generic_fn.rs
diff --git a/src/test/ui/transmutability/arrays/issue-103783-array-length.rs b/tests/ui/transmutability/arrays/issue-103783-array-length.rs
index cb36e539e..cb36e539e 100644
--- a/src/test/ui/transmutability/arrays/issue-103783-array-length.rs
+++ b/tests/ui/transmutability/arrays/issue-103783-array-length.rs
diff --git a/src/test/ui/transmutability/arrays/issue-103783-array-length.stderr b/tests/ui/transmutability/arrays/issue-103783-array-length.stderr
index 37774c59e..37774c59e 100644
--- a/src/test/ui/transmutability/arrays/issue-103783-array-length.stderr
+++ b/tests/ui/transmutability/arrays/issue-103783-array-length.stderr
diff --git a/src/test/ui/transmutability/arrays/should_have_correct_length.rs b/tests/ui/transmutability/arrays/should_have_correct_length.rs
index 353797d0c..353797d0c 100644
--- a/src/test/ui/transmutability/arrays/should_have_correct_length.rs
+++ b/tests/ui/transmutability/arrays/should_have_correct_length.rs
diff --git a/src/test/ui/transmutability/arrays/should_inherit_alignment.rs b/tests/ui/transmutability/arrays/should_inherit_alignment.rs
index b00e5c7e4..b00e5c7e4 100644
--- a/src/test/ui/transmutability/arrays/should_inherit_alignment.rs
+++ b/tests/ui/transmutability/arrays/should_inherit_alignment.rs
diff --git a/src/test/ui/transmutability/arrays/should_require_well_defined_layout.rs b/tests/ui/transmutability/arrays/should_require_well_defined_layout.rs
index 853bd9cbc..853bd9cbc 100644
--- a/src/test/ui/transmutability/arrays/should_require_well_defined_layout.rs
+++ b/tests/ui/transmutability/arrays/should_require_well_defined_layout.rs
diff --git a/src/test/ui/transmutability/arrays/should_require_well_defined_layout.stderr b/tests/ui/transmutability/arrays/should_require_well_defined_layout.stderr
index 96a2fdc54..96a2fdc54 100644
--- a/src/test/ui/transmutability/arrays/should_require_well_defined_layout.stderr
+++ b/tests/ui/transmutability/arrays/should_require_well_defined_layout.stderr
diff --git a/src/test/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.rs b/tests/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.rs
index 940f070e7..940f070e7 100644
--- a/src/test/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.rs
+++ b/tests/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.rs
diff --git a/src/test/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.stderr b/tests/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.stderr
index 4da5fcea3..4da5fcea3 100644
--- a/src/test/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.stderr
+++ b/tests/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.stderr
diff --git a/src/test/ui/transmutability/enums/repr/should_require_well_defined_layout.rs b/tests/ui/transmutability/enums/repr/should_require_well_defined_layout.rs
index 102111ae2..102111ae2 100644
--- a/src/test/ui/transmutability/enums/repr/should_require_well_defined_layout.rs
+++ b/tests/ui/transmutability/enums/repr/should_require_well_defined_layout.rs
diff --git a/src/test/ui/transmutability/enums/repr/should_require_well_defined_layout.stderr b/tests/ui/transmutability/enums/repr/should_require_well_defined_layout.stderr
index 510b8c56e..510b8c56e 100644
--- a/src/test/ui/transmutability/enums/repr/should_require_well_defined_layout.stderr
+++ b/tests/ui/transmutability/enums/repr/should_require_well_defined_layout.stderr
diff --git a/src/test/ui/transmutability/enums/should_order_correctly.rs b/tests/ui/transmutability/enums/should_order_correctly.rs
index 1335cc9d2..1335cc9d2 100644
--- a/src/test/ui/transmutability/enums/should_order_correctly.rs
+++ b/tests/ui/transmutability/enums/should_order_correctly.rs
diff --git a/src/test/ui/transmutability/enums/should_pad_variants.rs b/tests/ui/transmutability/enums/should_pad_variants.rs
index c077c52a3..c077c52a3 100644
--- a/src/test/ui/transmutability/enums/should_pad_variants.rs
+++ b/tests/ui/transmutability/enums/should_pad_variants.rs
diff --git a/src/test/ui/transmutability/enums/should_pad_variants.stderr b/tests/ui/transmutability/enums/should_pad_variants.stderr
index a823503d5..a823503d5 100644
--- a/src/test/ui/transmutability/enums/should_pad_variants.stderr
+++ b/tests/ui/transmutability/enums/should_pad_variants.stderr
diff --git a/src/test/ui/transmutability/enums/should_respect_endianness.rs b/tests/ui/transmutability/enums/should_respect_endianness.rs
index f3567b405..f3567b405 100644
--- a/src/test/ui/transmutability/enums/should_respect_endianness.rs
+++ b/tests/ui/transmutability/enums/should_respect_endianness.rs
diff --git a/src/test/ui/transmutability/enums/should_respect_endianness.stderr b/tests/ui/transmutability/enums/should_respect_endianness.stderr
index 0845a5edf..0845a5edf 100644
--- a/src/test/ui/transmutability/enums/should_respect_endianness.stderr
+++ b/tests/ui/transmutability/enums/should_respect_endianness.stderr
diff --git a/src/test/ui/transmutability/issue-101739-1.rs b/tests/ui/transmutability/issue-101739-1.rs
index bcb8b158e..bcb8b158e 100644
--- a/src/test/ui/transmutability/issue-101739-1.rs
+++ b/tests/ui/transmutability/issue-101739-1.rs
diff --git a/src/test/ui/transmutability/issue-101739-1.stderr b/tests/ui/transmutability/issue-101739-1.stderr
index 5fa741f26..5fa741f26 100644
--- a/src/test/ui/transmutability/issue-101739-1.stderr
+++ b/tests/ui/transmutability/issue-101739-1.stderr
diff --git a/src/test/ui/transmutability/issue-101739-2.rs b/tests/ui/transmutability/issue-101739-2.rs
index 964a7e49e..964a7e49e 100644
--- a/src/test/ui/transmutability/issue-101739-2.rs
+++ b/tests/ui/transmutability/issue-101739-2.rs
diff --git a/tests/ui/transmutability/issue-101739-2.stderr b/tests/ui/transmutability/issue-101739-2.stderr
new file mode 100644
index 000000000..1b3d20259
--- /dev/null
+++ b/tests/ui/transmutability/issue-101739-2.stderr
@@ -0,0 +1,14 @@
+error[E0107]: this trait takes at most 3 generic arguments but 6 generic arguments were supplied
+ --> $DIR/issue-101739-2.rs:18:14
+ |
+LL | Dst: BikeshedIntrinsicFrom<
+ | ^^^^^^^^^^^^^^^^^^^^^ expected at most 3 generic arguments
+...
+LL | / ASSUME_LIFETIMES,
+LL | | ASSUME_VALIDITY,
+LL | | ASSUME_VISIBILITY,
+ | |_____________________________- help: remove these generic arguments
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0107`.
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/feature-missing.rs b/tests/ui/transmutability/malformed-program-gracefulness/feature-missing.rs
index 30c381745..30c381745 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/feature-missing.rs
+++ b/tests/ui/transmutability/malformed-program-gracefulness/feature-missing.rs
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/feature-missing.stderr b/tests/ui/transmutability/malformed-program-gracefulness/feature-missing.stderr
index ba8093f86..ba8093f86 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/feature-missing.stderr
+++ b/tests/ui/transmutability/malformed-program-gracefulness/feature-missing.stderr
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_dst.rs b/tests/ui/transmutability/malformed-program-gracefulness/unknown_dst.rs
index b3a1e13b8..b3a1e13b8 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_dst.rs
+++ b/tests/ui/transmutability/malformed-program-gracefulness/unknown_dst.rs
diff --git a/tests/ui/transmutability/malformed-program-gracefulness/unknown_dst.stderr b/tests/ui/transmutability/malformed-program-gracefulness/unknown_dst.stderr
new file mode 100644
index 000000000..b4591778f
--- /dev/null
+++ b/tests/ui/transmutability/malformed-program-gracefulness/unknown_dst.stderr
@@ -0,0 +1,14 @@
+error[E0412]: cannot find type `Dst` in this scope
+ --> $DIR/unknown_dst.rs:20:36
+ |
+LL | assert::is_transmutable::<Src, Dst, Context>();
+ | ^^^ not found in this scope
+ |
+help: you might be missing a type parameter
+ |
+LL | fn should_gracefully_handle_unknown_dst<Dst>() {
+ | +++++
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0412`.
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_src.rs b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src.rs
index 092b205b7..092b205b7 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_src.rs
+++ b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src.rs
diff --git a/tests/ui/transmutability/malformed-program-gracefulness/unknown_src.stderr b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src.stderr
new file mode 100644
index 000000000..a55d71d80
--- /dev/null
+++ b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src.stderr
@@ -0,0 +1,14 @@
+error[E0412]: cannot find type `Src` in this scope
+ --> $DIR/unknown_src.rs:20:31
+ |
+LL | assert::is_transmutable::<Src, Dst, Context>();
+ | ^^^ not found in this scope
+ |
+help: you might be missing a type parameter
+ |
+LL | fn should_gracefully_handle_unknown_src<Src>() {
+ | +++++
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0412`.
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_src_field.rs b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src_field.rs
index ebe34e134..ebe34e134 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_src_field.rs
+++ b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src_field.rs
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_src_field.stderr b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src_field.stderr
index 475e6f429..475e6f429 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/unknown_src_field.stderr
+++ b/tests/ui/transmutability/malformed-program-gracefulness/unknown_src_field.stderr
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs b/tests/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs
index 52aa4bb31..52aa4bb31 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs
+++ b/tests/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.rs
diff --git a/src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.stderr b/tests/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.stderr
index c6d93876c..c6d93876c 100644
--- a/src/test/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.stderr
+++ b/tests/ui/transmutability/malformed-program-gracefulness/wrong-type-assume.stderr
diff --git a/src/test/ui/transmutability/primitives/bool.rs b/tests/ui/transmutability/primitives/bool.rs
index eebb74fff..eebb74fff 100644
--- a/src/test/ui/transmutability/primitives/bool.rs
+++ b/tests/ui/transmutability/primitives/bool.rs
diff --git a/src/test/ui/transmutability/primitives/bool.stderr b/tests/ui/transmutability/primitives/bool.stderr
index 214b5e150..214b5e150 100644
--- a/src/test/ui/transmutability/primitives/bool.stderr
+++ b/tests/ui/transmutability/primitives/bool.stderr
diff --git a/src/test/ui/transmutability/primitives/numbers.rs b/tests/ui/transmutability/primitives/numbers.rs
index 0df43d204..0df43d204 100644
--- a/src/test/ui/transmutability/primitives/numbers.rs
+++ b/tests/ui/transmutability/primitives/numbers.rs
diff --git a/src/test/ui/transmutability/primitives/numbers.stderr b/tests/ui/transmutability/primitives/numbers.stderr
index 7cb7ca8e6..7cb7ca8e6 100644
--- a/src/test/ui/transmutability/primitives/numbers.stderr
+++ b/tests/ui/transmutability/primitives/numbers.stderr
diff --git a/src/test/ui/transmutability/primitives/unit.rs b/tests/ui/transmutability/primitives/unit.rs
index 1975a61de..1975a61de 100644
--- a/src/test/ui/transmutability/primitives/unit.rs
+++ b/tests/ui/transmutability/primitives/unit.rs
diff --git a/src/test/ui/transmutability/primitives/unit.stderr b/tests/ui/transmutability/primitives/unit.stderr
index 8cabe44a0..8cabe44a0 100644
--- a/src/test/ui/transmutability/primitives/unit.stderr
+++ b/tests/ui/transmutability/primitives/unit.stderr
diff --git a/src/test/ui/transmutability/references.rs b/tests/ui/transmutability/references.rs
index af3ff0ec1..af3ff0ec1 100644
--- a/src/test/ui/transmutability/references.rs
+++ b/tests/ui/transmutability/references.rs
diff --git a/src/test/ui/transmutability/references.stderr b/tests/ui/transmutability/references.stderr
index e9c7b144a..e9c7b144a 100644
--- a/src/test/ui/transmutability/references.stderr
+++ b/tests/ui/transmutability/references.stderr
diff --git a/src/test/ui/transmutability/structs/repr/should_handle_align.rs b/tests/ui/transmutability/structs/repr/should_handle_align.rs
index ea9bf2a23..ea9bf2a23 100644
--- a/src/test/ui/transmutability/structs/repr/should_handle_align.rs
+++ b/tests/ui/transmutability/structs/repr/should_handle_align.rs
diff --git a/src/test/ui/transmutability/structs/repr/should_handle_packed.rs b/tests/ui/transmutability/structs/repr/should_handle_packed.rs
index 17dc995fc..17dc995fc 100644
--- a/src/test/ui/transmutability/structs/repr/should_handle_packed.rs
+++ b/tests/ui/transmutability/structs/repr/should_handle_packed.rs
diff --git a/src/test/ui/transmutability/structs/repr/should_require_well_defined_layout.rs b/tests/ui/transmutability/structs/repr/should_require_well_defined_layout.rs
index 9a65b4d70..9a65b4d70 100644
--- a/src/test/ui/transmutability/structs/repr/should_require_well_defined_layout.rs
+++ b/tests/ui/transmutability/structs/repr/should_require_well_defined_layout.rs
diff --git a/src/test/ui/transmutability/structs/repr/should_require_well_defined_layout.stderr b/tests/ui/transmutability/structs/repr/should_require_well_defined_layout.stderr
index 621dbee84..621dbee84 100644
--- a/src/test/ui/transmutability/structs/repr/should_require_well_defined_layout.stderr
+++ b/tests/ui/transmutability/structs/repr/should_require_well_defined_layout.stderr
diff --git a/src/test/ui/transmutability/structs/should_order_fields_correctly.rs b/tests/ui/transmutability/structs/should_order_fields_correctly.rs
index 28724562b..28724562b 100644
--- a/src/test/ui/transmutability/structs/should_order_fields_correctly.rs
+++ b/tests/ui/transmutability/structs/should_order_fields_correctly.rs
diff --git a/src/test/ui/transmutability/unions/boolish.rs b/tests/ui/transmutability/unions/boolish.rs
index e469c4973..e469c4973 100644
--- a/src/test/ui/transmutability/unions/boolish.rs
+++ b/tests/ui/transmutability/unions/boolish.rs
diff --git a/src/test/ui/transmutability/unions/repr/should_handle_align.rs b/tests/ui/transmutability/unions/repr/should_handle_align.rs
index 09c13cc4d..09c13cc4d 100644
--- a/src/test/ui/transmutability/unions/repr/should_handle_align.rs
+++ b/tests/ui/transmutability/unions/repr/should_handle_align.rs
diff --git a/src/test/ui/transmutability/unions/repr/should_handle_packed.rs b/tests/ui/transmutability/unions/repr/should_handle_packed.rs
index 24c2abd69..24c2abd69 100644
--- a/src/test/ui/transmutability/unions/repr/should_handle_packed.rs
+++ b/tests/ui/transmutability/unions/repr/should_handle_packed.rs
diff --git a/src/test/ui/transmutability/unions/repr/should_require_well_defined_layout.rs b/tests/ui/transmutability/unions/repr/should_require_well_defined_layout.rs
index b1d5f71dc..b1d5f71dc 100644
--- a/src/test/ui/transmutability/unions/repr/should_require_well_defined_layout.rs
+++ b/tests/ui/transmutability/unions/repr/should_require_well_defined_layout.rs
diff --git a/src/test/ui/transmutability/unions/repr/should_require_well_defined_layout.stderr b/tests/ui/transmutability/unions/repr/should_require_well_defined_layout.stderr
index 523bde85a..523bde85a 100644
--- a/src/test/ui/transmutability/unions/repr/should_require_well_defined_layout.stderr
+++ b/tests/ui/transmutability/unions/repr/should_require_well_defined_layout.stderr
diff --git a/src/test/ui/transmutability/unions/should_pad_variants.rs b/tests/ui/transmutability/unions/should_pad_variants.rs
index cabe54467..cabe54467 100644
--- a/src/test/ui/transmutability/unions/should_pad_variants.rs
+++ b/tests/ui/transmutability/unions/should_pad_variants.rs
diff --git a/src/test/ui/transmutability/unions/should_pad_variants.stderr b/tests/ui/transmutability/unions/should_pad_variants.stderr
index a823503d5..a823503d5 100644
--- a/src/test/ui/transmutability/unions/should_pad_variants.stderr
+++ b/tests/ui/transmutability/unions/should_pad_variants.stderr
diff --git a/src/test/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs b/tests/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs
index 1007fdd79..1007fdd79 100644
--- a/src/test/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs
+++ b/tests/ui/transmutability/unions/should_permit_intersecting_if_validity_is_assumed.rs
diff --git a/src/test/ui/transmutability/unions/should_reject_contraction.rs b/tests/ui/transmutability/unions/should_reject_contraction.rs
index a24dfccd3..a24dfccd3 100644
--- a/src/test/ui/transmutability/unions/should_reject_contraction.rs
+++ b/tests/ui/transmutability/unions/should_reject_contraction.rs
diff --git a/src/test/ui/transmutability/unions/should_reject_contraction.stderr b/tests/ui/transmutability/unions/should_reject_contraction.stderr
index 41f0cedc3..41f0cedc3 100644
--- a/src/test/ui/transmutability/unions/should_reject_contraction.stderr
+++ b/tests/ui/transmutability/unions/should_reject_contraction.stderr
diff --git a/src/test/ui/transmutability/unions/should_reject_disjoint.rs b/tests/ui/transmutability/unions/should_reject_disjoint.rs
index 43aaa6905..43aaa6905 100644
--- a/src/test/ui/transmutability/unions/should_reject_disjoint.rs
+++ b/tests/ui/transmutability/unions/should_reject_disjoint.rs
diff --git a/src/test/ui/transmutability/unions/should_reject_disjoint.stderr b/tests/ui/transmutability/unions/should_reject_disjoint.stderr
index 4323f9740..4323f9740 100644
--- a/src/test/ui/transmutability/unions/should_reject_disjoint.stderr
+++ b/tests/ui/transmutability/unions/should_reject_disjoint.stderr
diff --git a/src/test/ui/transmutability/unions/should_reject_intersecting.rs b/tests/ui/transmutability/unions/should_reject_intersecting.rs
index 9cd4233ee..9cd4233ee 100644
--- a/src/test/ui/transmutability/unions/should_reject_intersecting.rs
+++ b/tests/ui/transmutability/unions/should_reject_intersecting.rs
diff --git a/src/test/ui/transmutability/unions/should_reject_intersecting.stderr b/tests/ui/transmutability/unions/should_reject_intersecting.stderr
index e009888ae..e009888ae 100644
--- a/src/test/ui/transmutability/unions/should_reject_intersecting.stderr
+++ b/tests/ui/transmutability/unions/should_reject_intersecting.stderr
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs
index 8a41669c6..8a41669c6 100644
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_field.rs
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
index dd57b877d..dd57b877d 100644
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_private_variant.rs
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs
index ebce8ce87..ebce8ce87 100644
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_tricky_unreachable_field.rs
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs
index 546fcbaa3..546fcbaa3 100644
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.rs
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.stderr b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.stderr
index be83b7ce3..be83b7ce3 100644
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.stderr
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_field.stderr
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.rs b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.rs
index b9b74d183..b9b74d183 100644
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.rs
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.rs
diff --git a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.stderr b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.stderr
index 827df05de..827df05de 100644
--- a/src/test/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.stderr
+++ b/tests/ui/transmutability/visibility/assume/should_accept_if_dst_has_unreachable_ty.stderr
diff --git a/src/test/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs
index 5a0df09d4..5a0df09d4 100644
--- a/src/test/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_field.rs
diff --git a/src/test/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs
index 0f69630cc..0f69630cc 100644
--- a/src/test/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_private_variant.rs
diff --git a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs
index 9c8345a8e..9c8345a8e 100644
--- a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.rs
diff --git a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.stderr b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.stderr
index 39b73302e..39b73302e 100644
--- a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.stderr
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_field.stderr
diff --git a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.rs b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.rs
index acf9f2302..acf9f2302 100644
--- a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.rs
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.rs
diff --git a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.stderr b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.stderr
index 76dc7f340..76dc7f340 100644
--- a/src/test/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.stderr
+++ b/tests/ui/transmutability/visibility/should_accept_if_src_has_unreachable_ty.stderr
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_field.rs b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_field.rs
index e8c3fbc9a..e8c3fbc9a 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_field.rs
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_field.rs
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_field.stderr b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_field.stderr
index d5d6d431b..d5d6d431b 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_field.stderr
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_field.stderr
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.rs b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.rs
index 47bca27ab..47bca27ab 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.rs
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.rs
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.stderr b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.stderr
index a1ca2ced5..a1ca2ced5 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.stderr
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_private_variant.stderr
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs b/tests/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs
index 662c32af1..662c32af1 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_tricky_unreachable_field.rs
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.rs b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.rs
index d7e21676f..d7e21676f 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.rs
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.rs
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.stderr b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.stderr
index 4e648664d..4e648664d 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.stderr
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_field.stderr
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.rs b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.rs
index c7b59f15b..c7b59f15b 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.rs
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.rs
diff --git a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.stderr b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.stderr
index bd72d64cc..bd72d64cc 100644
--- a/src/test/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.stderr
+++ b/tests/ui/transmutability/visibility/should_reject_if_dst_has_unreachable_ty.stderr