Selaa lähdekoodia

Cleanup chmod +x on update_checks.py + update a couple testdata entries with update_checks.py (#1313)

pk19604014 3 vuotta sitten
vanhempi
sitoutus
a033abed7c

+ 1 - 1
explorer/testdata/addr/fail-method-let.carbon

@@ -7,7 +7,6 @@
 // RUN: %{not} %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
 // RUN:   %{FileCheck} --match-full-lines --allow-unused-prefixes %s
 // AUTOUPDATE: %{explorer} %s
-// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-let.carbon:32: method GetSetX requires its receiver to be an lvalue
 
 package ExplorerTest api;
 
@@ -29,6 +28,7 @@ class Point {
 
 fn Main() -> i32 {
   let p: Point = Point.Origin();
+  // CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-let.carbon:[[@LINE+1]]: method GetSetX requires its receiver to be an lvalue
   var x: auto = p.GetSetX(42);
   if (p.x == 42) {
     return x;

+ 1 - 1
explorer/testdata/addr/fail-method-me-type.carbon

@@ -7,7 +7,6 @@
 // RUN: %{not} %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
 // RUN:   %{FileCheck} --match-full-lines --allow-unused-prefixes %s
 // AUTOUPDATE: %{explorer} %s
-// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-me-type.carbon:36: type error in method access: 'class Point' is not implicitly convertible to 'class Shape'
 
 package ExplorerTest api;
 
@@ -33,6 +32,7 @@ class Point {
 
 fn Main() -> i32 {
   var p: Point = Point.Origin();
+  // CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-me-type.carbon:[[@LINE+1]]: type error in method access: 'class Point' is not implicitly convertible to 'class Shape'
   var x: auto = p.GetSetX(42);
   if (p.x == 42) {
     return x;

+ 0 - 0
explorer/update_checks.py