carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 08:11:04 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Fix test failure due to racing commits. (#1802)

Browse Source
This commit is contained in:
Richard Smith
2022-07-28 09:25:14 -07:00
committed by GitHub
parent 64f3284a19
commit f3127d2e83
6 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
explorer/testdata/function/fail_invalid_fnty.carbon
Vendored
+1 -1
View File
@@ -13,7 +13,7 @@ package ExplorerTest api;
// TODO: We should type-check the prelude before the main input so that we can
// use it within the types of top-level declarations.
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/function/fail_invalid_fnty.carbon:[[@LINE+2]]: type error in `-`:
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/function/fail_invalid_fnty.carbon:[[@LINE+1]]: missing declaration for builtin `Negate`
// CHECK: missing declaration for builtin `Negate`
fn f(g: __Fn(-true) -> true) {
}
explorer/testdata/generic_function/fail_not_addable.carbon
Vendored
+1 -1
View File
@@ -12,7 +12,7 @@ package ExplorerTest api;
fn id[T:! Type](x: T) -> T {
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/generic_function/fail_not_addable.carbon:[[@LINE+2]]: type error in `+`:
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/generic_function/fail_not_addable.carbon:[[@LINE+1]]: could not find implementation of interface AddWith(U = i32) for T:! Type
// CHECK: could not find implementation of interface AddWith(U = i32) for T:! Type
return x + 0;
}
explorer/testdata/operators/fail_no_add.carbon
Vendored
+1 -1
View File
@@ -15,7 +15,7 @@ class A {}
fn Main() -> i32 {
var a: A = {};
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_add.carbon:[[@LINE+2]]: type error in `+`:
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_add.carbon:[[@LINE+1]]: could not find implementation of interface AddWith(U = i32) for class A
// CHECK: could not find implementation of interface AddWith(U = i32) for class A
a + 1;
return 0;
}
explorer/testdata/operators/fail_no_mul.carbon
Vendored
+1 -1
View File
@@ -15,7 +15,7 @@ class A {}
fn Main() -> i32 {
var a: A = {};
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_mul.carbon:[[@LINE+2]]: type error in `*`:
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_mul.carbon:[[@LINE+1]]: could not find implementation of interface MulWith(U = i32) for class A
// CHECK: could not find implementation of interface MulWith(U = i32) for class A
a * 1;
return 0;
}
explorer/testdata/operators/fail_no_negate.carbon
Vendored
+1 -1
View File
@@ -15,7 +15,7 @@ class A {}
fn Main() -> i32 {
var a: A = {};
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_negate.carbon:[[@LINE+2]]: type error in `-`:
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_negate.carbon:[[@LINE+1]]: could not find implementation of interface Negate for class A
// CHECK: could not find implementation of interface Negate for class A
-a;
return 0;
}
explorer/testdata/operators/fail_no_sub.carbon
Vendored
+1 -1
View File
@@ -15,7 +15,7 @@ class A {}
fn Main() -> i32 {
var a: A = {};
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_sub.carbon:[[@LINE+2]]: type error in `-`:
// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/operators/fail_no_sub.carbon:[[@LINE+1]]: could not find implementation of interface SubWith(U = i32) for class A
// CHECK: could not find implementation of interface SubWith(U = i32) for class A
a - 1;
return 0;
}