New Mojom Parser: Validate the use of '&' and '?'

mojom/mojom_parser/parser/resolution_test.go

Index: mojom/mojom_parser/parser/resolution_test.go
diff --git a/mojom/mojom_parser/parser/resolution_test.go b/mojom/mojom_parser/parser/resolution_test.go
index 9e3857f41c3359a9a197c931f990b0c23d4ded4e..80f4d7bff53b95dadb1909673b9373c1abe61531 100644
--- a/mojom/mojom_parser/parser/resolution_test.go
+++ b/mojom/mojom_parser/parser/resolution_test.go
@@ -827,6 +827,66 @@ func TestSingleFileTypeValidationErrors(t *testing.T) {
 	}
 
 	////////////////////////////////////////////////////////////
+	// Group 3: Invalid use of interface request.
+	////////////////////////////////////////////////////////////
+
+	////////////////////////////////////////////////////////////
+	// Test Case: Make an interface request out of a struct
+	////////////////////////////////////////////////////////////
+	{
+		contents := `
+	struct Foo{
+	};
+
+    struct Bar{
+    	Foo& x;
+	};
+	`
+		test.addTestCase(contents, []string{
+			"Invalid interface request specification",
+			"Foo&. Foo is not an interface type"})
+	}
+
+	////////////////////////////////////////////////////////////
+	// Test Case: Make a nullable interface request out of a struct
+	////////////////////////////////////////////////////////////
+	{
+		contents := `
+	struct Foo{
+	};
+
+    struct Bar{
+    	Foo&? x;
+	};
+	`
+		test.addTestCase(contents, []string{
+			"Invalid interface request specification",
+			"Foo&?. Foo is not an interface type"})
+	}
+
+	////////////////////////////////////////////////////////////
+	// Group 4: Invalid use of nullable
+	////////////////////////////////////////////////////////////
+
+	////////////////////////////////////////////////////////////
+	// Test Case: Make nullable enum.
+	////////////////////////////////////////////////////////////
+	{
+		contents := `
+	enum Hats {
+		COWBOY,
+		TOP
+	};
+
+    struct Bar{
+    	Hats? my_hat;
+	};
+	`
+		test.addTestCase(contents, []string{
+			"The type Hats? is invalid because Hats is an enum type and these may not be made nullable."})
+	}
+
+	////////////////////////////////////////////////////////////
 	// Execute all of the test cases.
 	////////////////////////////////////////////////////////////
 	for i, c := range test.cases {