add failing test for resource type mismatch

internal/refactoring/move_validate_test.go

@@ -386,6 +386,24 @@ Each resource can have moved from only one source resource.`,
 			},
 			WantError: ``, // This is okay because the call itself is not considered to be inside the package it refers to
 		},
+		"resource type mismatch": {
+			Statements: []MoveStatement{
+				makeTestMoveStmt(t, ``,
+					`test.nonexist1`,
+					`other.single`,
+				),
+			},
+			WantError: `Resource type mismatch: This statement declares a move from test.nonexist1 to other.single, which is a resource of a different type.`,
+		},
+		"resource instance type mismatch": {
+			Statements: []MoveStatement{
+				makeTestMoveStmt(t, ``,
+					`test.nonexist1[0]`,
+					`other.single`,
+				),
+			},
+			WantError: `Resource type mismatch: This statement declares a move from test.nonexist1[0] to other.single, which is a resource instance of a different type.`,
+		},
 	}
 
 	for name, test := range tests {

internal/refactoring/testdata/move-validate-zoo/move-validate-root.tf

@@ -41,6 +41,9 @@ resource "test" "for_each" {
   }
 }
 
+resource "other" "single" {
+}
+
 module "fake_external" {
   # Our configuration fixture loader has a special case for a module call
   # named "fake_external" where it will mutate the source address after