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,45 +12,45 @@ 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/ios",
- "tools/ci",
- "tools/spancmp",
- "tools/build-example-pages",
- "tools/build-wasm-example",
- "errors",
+  "crates/*",
+  "examples/ios",
+  "tools/ci",
+  "tools/spancmp",
+  "tools/build-example-pages",
+  "tools/build-wasm-example",
+  "errors",
 ]
 
 [features]
 default = [
- "animation",
- "bevy_asset",
- "bevy_audio",
- "bevy_gilrs",
- "bevy_scene",
- "bevy_winit",
- "render",
- "png",
- "hdr",
- "vorbis",
- "x11",
- "filesystem_watcher",
+  "animation",
+  "bevy_asset",
+  "bevy_audio",
+  "bevy_gilrs",
+  "bevy_scene",
+  "bevy_winit",
+  "render",
+  "png",
+  "hdr",
+  "vorbis",
+  "x11",
+  "filesystem_watcher",
 ]
 
 # Force dynamic linking, which improves iterative compile times
 dynamic = ["bevy_dylib"]
 
 # Rendering support
 render = [
- "bevy_internal/bevy_core_pipeline",
- "bevy_internal/bevy_pbr",
- "bevy_internal/bevy_gltf",
- "bevy_internal/bevy_render",
- "bevy_internal/bevy_sprite",
- "bevy_internal/bevy_text",
- "bevy_internal/bevy_ui",
+  "bevy_internal/bevy_core_pipeline",
+  "bevy_internal/bevy_pbr",
+  "bevy_internal/bevy_gltf",
+  "bevy_internal/bevy_render",
+  "bevy_internal/bevy_sprite",
+  "bevy_internal/bevy_text",
+  "bevy_internal/bevy_ui",
 ]
 
 # Optional bevy crates
@@ -121,7 +121,7 @@ bevy_internal = { path = "crates/bevy_internal", version = "0.9.0-dev", default-
 
 [target.'cfg(target_arch = "wasm32")'.dependencies]
 bevy_internal = { path = "crates/bevy_internal", version = "0.9.0-dev", default-features = false, features = [
- "webgl",
+  "webgl",
 ] }
 
 [dev-dependencies]

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() {}