Add compile fail tests for bevy_reflect

.gitignore

@@ -1,5 +1,5 @@
 /target
-crates/*/target
+crates/**/target
 **/*.rs.bk
 Cargo.lock
 .cargo/config

Cargo.toml

@@ -12,7 +12,7 @@ readme = "README.md"
 repository = "https://github.com/bevyengine/bevy"
 
 [workspace]
-exclude = ["benches", "crates/bevy_ecs_compile_fail_tests"]
+exclude = ["benches", "crates/bevy_ecs_compile_fail_tests", "crates/bevy_reflect/bevy_reflect_compile_fail_tests"]
 members = [
  "crates/*",
  "examples/android",

crates/bevy_reflect/bevy_reflect_compile_fail_tests/Cargo.toml

@@ -0,0 +1,13 @@
+[package]
+name = "bevy_reflect_compile_fail_tests"
+version = "0.1.0"
+edition = "2021"
+description = "Compile fail tests for Bevy Engine's reflection system"
+homepage = "https://bevyengine.org"
+repository = "https://github.com/bevyengine/bevy"
+license = "MIT OR Apache-2.0"
+publish = false
+
+[dev-dependencies]
+bevy_reflect = { path = ".." }
+trybuild = "1.0.71"

crates/bevy_reflect/bevy_reflect_compile_fail_tests/src/lib.rs

@@ -0,0 +1 @@
+// Nothing here, check out the integration tests

crates/bevy_reflect/bevy_reflect_compile_fail_tests/tests/field_attributes.rs

@@ -0,0 +1,6 @@
+#[test]
+fn test() {
+ let t = trybuild::TestCases::new();
+ t.compile_fail("tests/field_attributes/*.fail.rs");
+ t.pass("tests/field_attributes/*.pass.rs");
+}

crates/bevy_reflect/bevy_reflect_compile_fail_tests/tests/field_attributes/ignored_order.fail.rs

@@ -0,0 +1,10 @@
+use bevy_reflect::Reflect;
+
+#[derive(Reflect)]
+struct Foo {
+ #[reflect(ignore)]
+ a: i32,
+ b: i32,
+}
+
+fn main() {}

crates/bevy_reflect/bevy_reflect_compile_fail_tests/tests/field_attributes/ignored_order.fail.stderr

@@ -0,0 +1,5 @@
+error: fields marked with `#[reflect(ignore)]` must come last in type definition
+ --> tests/field_attributes/ignored_order.fail.rs:5:15
+ |
+5 | #[reflect(ignore)]
+ | ^^^^^^

crates/bevy_reflect/bevy_reflect_compile_fail_tests/tests/field_attributes/ignored_order.pass.rs

@@ -0,0 +1,10 @@
+use bevy_reflect::Reflect;
+
+#[derive(Reflect)]
+struct Foo {
+ a: i32,
+ #[reflect(ignore)]
+ b: i32,
+}
+
+fn main() {}

crates/bevy_reflect/bevy_reflect_compile_fail_tests/tests/field_attributes/skipped_order.fail.rs

@@ -0,0 +1,19 @@
+use bevy_reflect::Reflect;
+
+#[derive(Reflect)]
+struct Foo {
+ #[reflect(skip_serializing)]
+ a: i32,
+ b: i32,
+}
+
+#[derive(Reflect)]
+struct Bar {
+ a: i32,
+ #[reflect(ignore)]
+ b: i32,
+ #[reflect(skip_serializing)]
+ c: i32,
+}
+
+fn main() {}

crates/bevy_reflect/bevy_reflect_compile_fail_tests/tests/field_attributes/skipped_order.fail.stderr

@@ -0,0 +1,11 @@
+error: fields marked with `#[reflect(skip_serializing)]` must come last in type definition (but before any fields marked `#[reflect(ignore)]`)
+ --> tests/field_attributes/skipped_order.fail.rs:5:15
+ |
+5 | #[reflect(skip_serializing)]
+ | ^^^^^^^^^^^^^^^^
+
+error: fields marked with `#[reflect(ignore)]` must come last in type definition
+ --> tests/field_attributes/skipped_order.fail.rs:13:15
+ |
+13 | #[reflect(ignore)]
+ | ^^^^^^

crates/bevy_reflect/bevy_reflect_compile_fail_tests/tests/field_attributes/skipped_order.pass.rs

@@ -0,0 +1,19 @@
+use bevy_reflect::Reflect;
+
+#[derive(Reflect)]
+struct Foo {
+ a: i32,
+ #[reflect(skip_serializing)]
+ b: i32,
+}
+
+#[derive(Reflect)]
+struct Bar {
+ a: i32,
+ #[reflect(skip_serializing)]
+ b: i32,
+ #[reflect(ignore)]
+ c: i32,
+}
+
+fn main() {}