move-tests

Author: danakj

toolchain/check/testdata/facet/fail_incomplete.carbon

@@ -10,76 +10,6 @@
 // TIP: To dump output, run:
 // TIP:   bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/facet/fail_incomplete.carbon
 
-// --- fail_incomplete_interface.carbon
-library "[[@TEST_NAME]]";
-
-interface X;
-class C {}
-
-// Requires X identified.
-impl C as X;
-
-// Requires X complete.
-// CHECK:STDERR: fail_incomplete_interface.carbon:[[@LINE+7]]:1: error: definition of impl as incomplete facet type `X` [ImplAsIncompleteFacetTypeDefinition]
-// CHECK:STDERR: impl C as X {}
-// CHECK:STDERR: ^~~~~~~~~~~~~
-// CHECK:STDERR: fail_incomplete_interface.carbon:[[@LINE-10]]:1: note: interface was forward declared here [InterfaceForwardDeclaredHere]
-// CHECK:STDERR: interface X;
-// CHECK:STDERR: ^~~~~~~~~~~~
-// CHECK:STDERR:
-impl C as X {}
-
-// --- fail_incomplete_interface_without_forward_decl.carbon
-library "[[@TEST_NAME]]";
-
-interface X;
-class C {}
-
-// Requires X complete.
-// CHECK:STDERR: fail_incomplete_interface_without_forward_decl.carbon:[[@LINE+7]]:1: error: definition of impl as incomplete facet type `X` [ImplAsIncompleteFacetTypeDefinition]
-// CHECK:STDERR: impl C as X {}
-// CHECK:STDERR: ^~~~~~~~~~~~~
-// CHECK:STDERR: fail_incomplete_interface_without_forward_decl.carbon:[[@LINE-7]]:1: note: interface was forward declared here [InterfaceForwardDeclaredHere]
-// CHECK:STDERR: interface X;
-// CHECK:STDERR: ^~~~~~~~~~~~
-// CHECK:STDERR:
-impl C as X {}
-
-// --- fail_unidentified_constraint.carbon
-library "[[@TEST_NAME]]";
-
-constraint X;
-class C {}
-
-// Requires X identified.
-// CHECK:STDERR: fail_unidentified_constraint.carbon:[[@LINE+7]]:1: error: facet type `X` cannot be identified in `impl as` [ImplOfUnidentifiedFacetType]
-// CHECK:STDERR: impl C as X;
-// CHECK:STDERR: ^~~~~~~~~~~~
-// CHECK:STDERR: fail_unidentified_constraint.carbon:[[@LINE-7]]:1: note: constraint was forward declared here [NamedConstraintForwardDeclaredHere]
-// CHECK:STDERR: constraint X;
-// CHECK:STDERR: ^~~~~~~~~~~~~
-// CHECK:STDERR:
-impl C as X;
-
-// --- nested_require_incomplete_interface.carbon
-library "[[@TEST_NAME]]";
-
-interface Z;
-constraint Y {
-  require impls Z;
-}
-interface X {
-  require impls Y;
-}
-
-class C {}
-
-// Requires X identified.
-impl C as X;
-
-// Requires X complete.
-impl C as X {}
-
 // --- fail_impl_lookup_incomplete.carbon
 library "[[@TEST_NAME]]";