|
@@ -27,8 +27,6 @@ library "[[@TEST_NAME]]";
|
|
|
import Cpp library "decl_value_param_type.h";
|
|
import Cpp library "decl_value_param_type.h";
|
|
|
|
|
|
|
|
fn F() {
|
|
fn F() {
|
|
|
- //@dump-sem-ir-begin
|
|
|
|
|
- // TODO: This should fail on the fact `S` is declared and not defined.
|
|
|
|
|
// CHECK:STDERR: fail_todo_import_decl_value_param_type.carbon:[[@LINE+14]]:3: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
|
|
// CHECK:STDERR: fail_todo_import_decl_value_param_type.carbon:[[@LINE+14]]:3: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
|
|
|
// CHECK:STDERR: Cpp.foo({});
|
|
// CHECK:STDERR: Cpp.foo({});
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
// CHECK:STDERR: ^~~~~~~
|
|
@@ -44,7 +42,6 @@ fn F() {
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
// CHECK:STDERR:
|
|
// CHECK:STDERR:
|
|
|
Cpp.foo({});
|
|
Cpp.foo({});
|
|
|
- //@dump-sem-ir-end
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
// ============================================================================
|
|
// ============================================================================
|
|
@@ -288,8 +285,6 @@ library "[[@TEST_NAME]]";
|
|
|
import Cpp library "decl_value_return_type.h";
|
|
import Cpp library "decl_value_return_type.h";
|
|
|
|
|
|
|
|
fn F() {
|
|
fn F() {
|
|
|
- //@dump-sem-ir-begin
|
|
|
|
|
- // TODO: This should fail on the fact `S` is declared and not defined.
|
|
|
|
|
// CHECK:STDERR: fail_todo_import_decl_value_return_type.carbon:[[@LINE+14]]:3: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
|
|
// CHECK:STDERR: fail_todo_import_decl_value_return_type.carbon:[[@LINE+14]]:3: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
|
|
|
// CHECK:STDERR: Cpp.foo();
|
|
// CHECK:STDERR: Cpp.foo();
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
// CHECK:STDERR: ^~~~~~~
|
|
@@ -305,7 +300,6 @@ fn F() {
|
|
|
// CHECK:STDERR: ^~~~~~~
|
|
// CHECK:STDERR: ^~~~~~~
|
|
|
// CHECK:STDERR:
|
|
// CHECK:STDERR:
|
|
|
Cpp.foo();
|
|
Cpp.foo();
|
|
|
- //@dump-sem-ir-end
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
// ============================================================================
|
|
// ============================================================================
|
|
@@ -388,28 +382,6 @@ fn F() {
|
|
|
//@dump-sem-ir-end
|
|
//@dump-sem-ir-end
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-// CHECK:STDOUT: --- fail_todo_import_decl_value_param_type.carbon
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
-// CHECK:STDOUT: constants {
|
|
|
|
|
-// CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete]
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
-// CHECK:STDOUT: imports {
|
|
|
|
|
-// CHECK:STDOUT: %Cpp: <namespace> = namespace file.%Cpp.import_cpp, [concrete] {
|
|
|
|
|
-// CHECK:STDOUT: .foo = <error>
|
|
|
|
|
-// CHECK:STDOUT: .S = <error>
|
|
|
|
|
-// CHECK:STDOUT: import Cpp//...
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
-// CHECK:STDOUT: fn @F() {
|
|
|
|
|
-// CHECK:STDOUT: !entry:
|
|
|
|
|
-// CHECK:STDOUT: %Cpp.ref: <namespace> = name_ref Cpp, imports.%Cpp [concrete = imports.%Cpp]
|
|
|
|
|
-// CHECK:STDOUT: %foo.ref: <error> = name_ref foo, <error> [concrete = <error>]
|
|
|
|
|
-// CHECK:STDOUT: %.loc23: %empty_struct_type = struct_literal ()
|
|
|
|
|
-// CHECK:STDOUT: <elided>
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
// CHECK:STDOUT: --- import_definition_no_data_members_value_param_type.carbon
|
|
// CHECK:STDOUT: --- import_definition_no_data_members_value_param_type.carbon
|
|
|
// CHECK:STDOUT:
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: constants {
|
|
// CHECK:STDOUT: constants {
|
|
@@ -744,26 +716,6 @@ fn F() {
|
|
|
// CHECK:STDOUT: <elided>
|
|
// CHECK:STDOUT: <elided>
|
|
|
// CHECK:STDOUT: }
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: --- fail_todo_import_decl_value_return_type.carbon
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
-// CHECK:STDOUT: constants {
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
-// CHECK:STDOUT: imports {
|
|
|
|
|
-// CHECK:STDOUT: %Cpp: <namespace> = namespace file.%Cpp.import_cpp, [concrete] {
|
|
|
|
|
-// CHECK:STDOUT: .foo = <error>
|
|
|
|
|
-// CHECK:STDOUT: .S = <error>
|
|
|
|
|
-// CHECK:STDOUT: import Cpp//...
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
-// CHECK:STDOUT: fn @F() {
|
|
|
|
|
-// CHECK:STDOUT: !entry:
|
|
|
|
|
-// CHECK:STDOUT: %Cpp.ref: <namespace> = name_ref Cpp, imports.%Cpp [concrete = imports.%Cpp]
|
|
|
|
|
-// CHECK:STDOUT: %foo.ref: <error> = name_ref foo, <error> [concrete = <error>]
|
|
|
|
|
-// CHECK:STDOUT: <elided>
|
|
|
|
|
-// CHECK:STDOUT: }
|
|
|
|
|
-// CHECK:STDOUT:
|
|
|
|
|
// CHECK:STDOUT: --- import_definition_value_return_type.carbon
|
|
// CHECK:STDOUT: --- import_definition_value_return_type.carbon
|
|
|
// CHECK:STDOUT:
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: constants {
|
|
// CHECK:STDOUT: constants {
|