more tests

onflow · Jul 21, 2023 · 29ccac3 · 29ccac3
1 parent 6d98269
commit 29ccac3
Showing 1 changed file with 60 additions and 0 deletions.
diff --git a/runtime/tests/checker/interface_test.go b/runtime/tests/checker/interface_test.go
@@ -4500,6 +4500,42 @@ func TestNestedInterfaceInheritance(t *testing.T) {
 		require.NoError(t, err)
 	})
 
+	t.Run("all in one contract interface", func(t *testing.T) {
+
+		_, err := ParseAndCheck(t,
+			`
+        contract interface C {
+			resource interface TopInterface {}
+			resource interface MiddleInterface: TopInterface {}
+		 
+			fun createR(m: @{MiddleInterface}): @{TopInterface} {
+				return <-m
+			}
+		 }	
+        `,
+		)
+
+		require.NoError(t, err)
+	})
+
+	t.Run("all in one contract interface reverse order", func(t *testing.T) {
+
+		_, err := ParseAndCheck(t,
+			`
+        contract interface C {
+			resource interface MiddleInterface: TopInterface {}
+			resource interface TopInterface {}
+		 
+			fun createR(m: @{MiddleInterface}): @{TopInterface} {
+				return <-m
+			}
+		 }	
+        `,
+		)
+
+		require.NoError(t, err)
+	})
+
 	t.Run("contract interface", func(t *testing.T) {
 
 		_, err := ParseAndCheck(t,
@@ -4565,4 +4601,28 @@ func TestNestedInterfaceInheritance(t *testing.T) {
 		require.NoError(t, err)
 	})
 
+	t.Run("mixed with top levels", func(t *testing.T) {
+
+		_, err := ParseAndCheck(t,
+			`
+		contract C {
+			resource ConcreteResource: CI.MiddleInterface {}
+			
+			fun createR(): @{SuperTopInterface} {
+				return <-create ConcreteResource()
+			}
+		}	
+		contract C1 {
+			resource interface TopInterface: SuperTopInterface {}
+		}
+		contract interface CI {
+				resource interface MiddleInterface: C1.TopInterface {}
+		}
+		resource interface SuperTopInterface {}
+        `,
+		)
+
+		require.NoError(t, err)
+	})
+
 }