Skip to content

Commit 1f13494

Browse files
committed
autoupdate
1 parent aa92d0d commit 1f13494

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

toolchain/check/testdata/impl/fail_undefined_interface.carbon

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -235,12 +235,12 @@ impl C as I where .Self impls Incomplete {
235235
// CHECK:STDOUT: }
236236
// CHECK:STDOUT: }
237237
// CHECK:STDOUT: impl_decl @C.as.<error>.impl [concrete] {} {
238-
// CHECK:STDOUT: %C.ref.loc16: type = name_ref C, file.%C.decl [concrete = constants.%C]
239-
// CHECK:STDOUT: %J.ref.loc16: type = name_ref J, file.%J.decl [concrete = constants.%J.type]
238+
// CHECK:STDOUT: %C.ref.loc23: type = name_ref C, file.%C.decl [concrete = constants.%C]
239+
// CHECK:STDOUT: %J.ref.loc23: type = name_ref J, file.%J.decl [concrete = constants.%J.type]
240240
// CHECK:STDOUT: %.Self.1: %J.type = symbolic_binding .Self [symbolic_self = constants.%.Self]
241-
// CHECK:STDOUT: %.Self.ref.loc16: %J.type = name_ref .Self, %.Self.1 [symbolic_self = constants.%.Self]
242-
// CHECK:STDOUT: %.loc16_25: %empty_tuple.type = tuple_literal () [concrete = constants.%empty_tuple]
243-
// CHECK:STDOUT: %.loc16_13: type = where_expr %.Self.1 [concrete = <error>] {
241+
// CHECK:STDOUT: %.Self.ref.loc23: %J.type = name_ref .Self, %.Self.1 [symbolic_self = constants.%.Self]
242+
// CHECK:STDOUT: %.loc23_25: %empty_tuple.type = tuple_literal () [concrete = constants.%empty_tuple]
243+
// CHECK:STDOUT: %.loc23_13: type = where_expr %.Self.1 [concrete = <error>] {
244244
// CHECK:STDOUT: requirement_base_facet_type constants.%J.type
245245
// CHECK:STDOUT: requirement_rewrite <error>, <error>
246246
// CHECK:STDOUT: }

0 commit comments

Comments
 (0)