Skip to content

Commit 7f52cc7

Browse files
jonmeowjonmeow
authored
Add ranges flags in a smattering of files missed in other PRs (#5581)
Now that I'm getting to a relatively low number of remaining files for this cleanup, this is my second look for things that I missed before in directories that were generally already swept up (mostly by the TODOs).
1 parent 3e2fb5e commit 7f52cc7

File tree

12 files changed

+102
-77
lines changed

12 files changed

+102
-77
lines changed

‎toolchain/check/testdata/builtins/print/int.carbon‎

Lines changed: 20 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// EXTRA-ARGS: --dump-sem-ir-ranges=only
6+
//
57
// AUTOUPDATE
68
// TIP: To test this file alone, run:
79
// TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/builtins/print/int.carbon
@@ -72,27 +74,27 @@ fn Main() {
7274
// CHECK:STDOUT:
7375
// CHECK:STDOUT: fn @Main() {
7476
// CHECK:STDOUT: !entry:
75-
// CHECK:STDOUT: %Print.ref.loc17: %Print.type.980 = name_ref Print, file.%Print.decl [concrete = constants.%Print.b7c]
77+
// CHECK:STDOUT: %Print.ref.loc19: %Print.type.980 = name_ref Print, file.%Print.decl [concrete = constants.%Print.b7c]
7678
// CHECK:STDOUT: %int_1: Core.IntLiteral = int_value 1 [concrete = constants.%int_1.5b8]
77-
// CHECK:STDOUT: %impl.elem0.loc17: %.9c3 = impl_witness_access constants.%ImplicitAs.impl_witness.c75, element0 [concrete = constants.%Convert.956]
78-
// CHECK:STDOUT: %bound_method.loc17_9.1: <bound method> = bound_method %int_1, %impl.elem0.loc17 [concrete = constants.%Convert.bound.ab5]
79-
// CHECK:STDOUT: %specific_fn.loc17: <specific function> = specific_function %impl.elem0.loc17, @Convert.2(constants.%int_32) [concrete = constants.%Convert.specific_fn]
80-
// CHECK:STDOUT: %bound_method.loc17_9.2: <bound method> = bound_method %int_1, %specific_fn.loc17 [concrete = constants.%bound_method.9a1]
81-
// CHECK:STDOUT: %int.convert_checked.loc17: init %i32 = call %bound_method.loc17_9.2(%int_1) [concrete = constants.%int_1.5d2]
82-
// CHECK:STDOUT: %.loc17_9.1: %i32 = value_of_initializer %int.convert_checked.loc17 [concrete = constants.%int_1.5d2]
83-
// CHECK:STDOUT: %.loc17_9.2: %i32 = converted %int_1, %.loc17_9.1 [concrete = constants.%int_1.5d2]
84-
// CHECK:STDOUT: %print.int.loc17: init %empty_tuple.type = call %Print.ref.loc17(%.loc17_9.2)
79+
// CHECK:STDOUT: %impl.elem0.loc19: %.9c3 = impl_witness_access constants.%ImplicitAs.impl_witness.c75, element0 [concrete = constants.%Convert.956]
80+
// CHECK:STDOUT: %bound_method.loc19_9.1: <bound method> = bound_method %int_1, %impl.elem0.loc19 [concrete = constants.%Convert.bound.ab5]
81+
// CHECK:STDOUT: %specific_fn.loc19: <specific function> = specific_function %impl.elem0.loc19, @Convert.2(constants.%int_32) [concrete = constants.%Convert.specific_fn]
82+
// CHECK:STDOUT: %bound_method.loc19_9.2: <bound method> = bound_method %int_1, %specific_fn.loc19 [concrete = constants.%bound_method.9a1]
83+
// CHECK:STDOUT: %int.convert_checked.loc19: init %i32 = call %bound_method.loc19_9.2(%int_1) [concrete = constants.%int_1.5d2]
84+
// CHECK:STDOUT: %.loc19_9.1: %i32 = value_of_initializer %int.convert_checked.loc19 [concrete = constants.%int_1.5d2]
85+
// CHECK:STDOUT: %.loc19_9.2: %i32 = converted %int_1, %.loc19_9.1 [concrete = constants.%int_1.5d2]
86+
// CHECK:STDOUT: %print.int.loc19: init %empty_tuple.type = call %Print.ref.loc19(%.loc19_9.2)
8587
// CHECK:STDOUT: %Core.ref: <namespace> = name_ref Core, imports.%Core [concrete = imports.%Core]
86-
// CHECK:STDOUT: %Print.ref.loc18: %Print.type.6ed = name_ref Print, imports.%Core.Print [concrete = constants.%Print.723]
88+
// CHECK:STDOUT: %Print.ref.loc20: %Print.type.6ed = name_ref Print, imports.%Core.Print [concrete = constants.%Print.723]
8789
// CHECK:STDOUT: %int_2: Core.IntLiteral = int_value 2 [concrete = constants.%int_2.ecc]
88-
// CHECK:STDOUT: %impl.elem0.loc18: %.9c3 = impl_witness_access constants.%ImplicitAs.impl_witness.c75, element0 [concrete = constants.%Convert.956]
89-
// CHECK:STDOUT: %bound_method.loc18_14.1: <bound method> = bound_method %int_2, %impl.elem0.loc18 [concrete = constants.%Convert.bound.ef9]
90-
// CHECK:STDOUT: %specific_fn.loc18: <specific function> = specific_function %impl.elem0.loc18, @Convert.2(constants.%int_32) [concrete = constants.%Convert.specific_fn]
91-
// CHECK:STDOUT: %bound_method.loc18_14.2: <bound method> = bound_method %int_2, %specific_fn.loc18 [concrete = constants.%bound_method.b92]
92-
// CHECK:STDOUT: %int.convert_checked.loc18: init %i32 = call %bound_method.loc18_14.2(%int_2) [concrete = constants.%int_2.ef8]
93-
// CHECK:STDOUT: %.loc18_14.1: %i32 = value_of_initializer %int.convert_checked.loc18 [concrete = constants.%int_2.ef8]
94-
// CHECK:STDOUT: %.loc18_14.2: %i32 = converted %int_2, %.loc18_14.1 [concrete = constants.%int_2.ef8]
95-
// CHECK:STDOUT: %print.int.loc18: init %empty_tuple.type = call %Print.ref.loc18(%.loc18_14.2)
90+
// CHECK:STDOUT: %impl.elem0.loc20: %.9c3 = impl_witness_access constants.%ImplicitAs.impl_witness.c75, element0 [concrete = constants.%Convert.956]
91+
// CHECK:STDOUT: %bound_method.loc20_14.1: <bound method> = bound_method %int_2, %impl.elem0.loc20 [concrete = constants.%Convert.bound.ef9]
92+
// CHECK:STDOUT: %specific_fn.loc20: <specific function> = specific_function %impl.elem0.loc20, @Convert.2(constants.%int_32) [concrete = constants.%Convert.specific_fn]
93+
// CHECK:STDOUT: %bound_method.loc20_14.2: <bound method> = bound_method %int_2, %specific_fn.loc20 [concrete = constants.%bound_method.b92]
94+
// CHECK:STDOUT: %int.convert_checked.loc20: init %i32 = call %bound_method.loc20_14.2(%int_2) [concrete = constants.%int_2.ef8]
95+
// CHECK:STDOUT: %.loc20_14.1: %i32 = value_of_initializer %int.convert_checked.loc20 [concrete = constants.%int_2.ef8]
96+
// CHECK:STDOUT: %.loc20_14.2: %i32 = converted %int_2, %.loc20_14.1 [concrete = constants.%int_2.ef8]
97+
// CHECK:STDOUT: %print.int.loc20: init %empty_tuple.type = call %Print.ref.loc20(%.loc20_14.2)
9698
// CHECK:STDOUT: <elided>
9799
// CHECK:STDOUT: }
98100
// CHECK:STDOUT:

‎toolchain/check/testdata/class/min_prelude/destroy_calls.carbon‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE

‎toolchain/check/testdata/class/min_prelude/fail_abstract.carbon‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE

‎toolchain/check/testdata/class/min_prelude/fail_abstract_in_tuple.carbon‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE

‎toolchain/check/testdata/function/call/min_prelude/alias.carbon‎

Lines changed: 10 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE
@@ -48,8 +50,8 @@ fn Main() {
4850
// CHECK:STDOUT: %return.patt: %pattern_type = return_slot_pattern [concrete]
4951
// CHECK:STDOUT: %return.param_patt: %pattern_type = out_param_pattern %return.patt, call_param0 [concrete]
5052
// CHECK:STDOUT: } {
51-
// CHECK:STDOUT: %.loc13_12.1: %empty_tuple.type = tuple_literal ()
52-
// CHECK:STDOUT: %.loc13_12.2: type = converted %.loc13_12.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
53+
// CHECK:STDOUT: %.loc15_12.1: %empty_tuple.type = tuple_literal ()
54+
// CHECK:STDOUT: %.loc15_12.2: type = converted %.loc15_12.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
5355
// CHECK:STDOUT: %return.param: ref %empty_tuple.type = out_param call_param0
5456
// CHECK:STDOUT: %return: ref %empty_tuple.type = return_slot %return.param
5557
// CHECK:STDOUT: }
@@ -60,10 +62,10 @@ fn Main() {
6062
// CHECK:STDOUT:
6163
// CHECK:STDOUT: fn @A() -> %empty_tuple.type {
6264
// CHECK:STDOUT: !entry:
63-
// CHECK:STDOUT: %.loc13_24: %empty_tuple.type = tuple_literal ()
65+
// CHECK:STDOUT: %.loc15_24: %empty_tuple.type = tuple_literal ()
6466
// CHECK:STDOUT: %empty_tuple: %empty_tuple.type = tuple_value () [concrete = constants.%empty_tuple]
65-
// CHECK:STDOUT: %.loc13_25: %empty_tuple.type = converted %.loc13_24, %empty_tuple [concrete = constants.%empty_tuple]
66-
// CHECK:STDOUT: return %.loc13_25
67+
// CHECK:STDOUT: %.loc15_25: %empty_tuple.type = converted %.loc15_24, %empty_tuple [concrete = constants.%empty_tuple]
68+
// CHECK:STDOUT: return %.loc15_25
6769
// CHECK:STDOUT: }
6870
// CHECK:STDOUT:
6971
// CHECK:STDOUT: fn @Main() {
@@ -76,9 +78,9 @@ fn Main() {
7678
// CHECK:STDOUT: %B.ref: %A.type = name_ref B, file.%B [concrete = constants.%A]
7779
// CHECK:STDOUT: %A.call: init %empty_tuple.type = call %B.ref()
7880
// CHECK:STDOUT: assign %b.var, %A.call
79-
// CHECK:STDOUT: %.loc18_11.1: type = splice_block %.loc18_11.3 [concrete = constants.%empty_tuple.type] {
80-
// CHECK:STDOUT: %.loc18_11.2: %empty_tuple.type = tuple_literal ()
81-
// CHECK:STDOUT: %.loc18_11.3: type = converted %.loc18_11.2, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
81+
// CHECK:STDOUT: %.loc20_11.1: type = splice_block %.loc20_11.3 [concrete = constants.%empty_tuple.type] {
82+
// CHECK:STDOUT: %.loc20_11.2: %empty_tuple.type = tuple_literal ()
83+
// CHECK:STDOUT: %.loc20_11.3: type = converted %.loc20_11.2, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
8284
// CHECK:STDOUT: }
8385
// CHECK:STDOUT: %b: ref %empty_tuple.type = bind_name b, %b.var
8486
// CHECK:STDOUT: return

‎toolchain/check/testdata/function/call/min_prelude/return_implicit.carbon‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE
@@ -60,9 +62,9 @@ fn Main() {
6062
// CHECK:STDOUT: %MakeImplicitEmptyTuple.ref: %MakeImplicitEmptyTuple.type = name_ref MakeImplicitEmptyTuple, file.%MakeImplicitEmptyTuple.decl [concrete = constants.%MakeImplicitEmptyTuple]
6163
// CHECK:STDOUT: %MakeImplicitEmptyTuple.call: init %empty_tuple.type = call %MakeImplicitEmptyTuple.ref()
6264
// CHECK:STDOUT: assign %b.var, %MakeImplicitEmptyTuple.call
63-
// CHECK:STDOUT: %.loc17_11.1: type = splice_block %.loc17_11.3 [concrete = constants.%empty_tuple.type] {
64-
// CHECK:STDOUT: %.loc17_11.2: %empty_tuple.type = tuple_literal ()
65-
// CHECK:STDOUT: %.loc17_11.3: type = converted %.loc17_11.2, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
65+
// CHECK:STDOUT: %.loc19_11.1: type = splice_block %.loc19_11.3 [concrete = constants.%empty_tuple.type] {
66+
// CHECK:STDOUT: %.loc19_11.2: %empty_tuple.type = tuple_literal ()
67+
// CHECK:STDOUT: %.loc19_11.3: type = converted %.loc19_11.2, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
6668
// CHECK:STDOUT: }
6769
// CHECK:STDOUT: %b: ref %empty_tuple.type = bind_name b, %b.var
6870
// CHECK:STDOUT: return

‎toolchain/check/testdata/function/declaration/min_prelude/fail_import_incomplete_return.carbon‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE

‎toolchain/check/testdata/function/definition/min_prelude/fail_local_decl.carbon‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE

‎toolchain/check/testdata/function/generic/min_prelude/call.carbon‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE

‎toolchain/check/testdata/function/generic/min_prelude/fail_type_param_mismatch.carbon‎

Lines changed: 28 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// Exceptions. See /LICENSE for license information.
33
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
44
//
5+
// TODO: Add ranges and switch to "--dump-sem-ir-ranges=only".
6+
// EXTRA-ARGS: --dump-sem-ir-ranges=if-present
57
// INCLUDE-FILE: toolchain/testing/min_prelude/destroy.carbon
68
//
79
// AUTOUPDATE
@@ -51,49 +53,49 @@ fn F(T:! type, U:! type) {
5153
// CHECK:STDOUT: %T.patt: %pattern_type.98f = symbolic_binding_pattern T, 0 [concrete]
5254
// CHECK:STDOUT: %U.patt: %pattern_type.98f = symbolic_binding_pattern U, 1 [concrete]
5355
// CHECK:STDOUT: } {
54-
// CHECK:STDOUT: %T.loc13_6.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc13_6.2 (constants.%T)]
55-
// CHECK:STDOUT: %U.loc13_16.1: type = bind_symbolic_name U, 1 [symbolic = %U.loc13_16.2 (constants.%U)]
56+
// CHECK:STDOUT: %T.loc15_6.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc15_6.2 (constants.%T)]
57+
// CHECK:STDOUT: %U.loc15_16.1: type = bind_symbolic_name U, 1 [symbolic = %U.loc15_16.2 (constants.%U)]
5658
// CHECK:STDOUT: }
5759
// CHECK:STDOUT: }
5860
// CHECK:STDOUT:
59-
// CHECK:STDOUT: generic fn @F(%T.loc13_6.1: type, %U.loc13_16.1: type) {
60-
// CHECK:STDOUT: %T.loc13_6.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc13_6.2 (constants.%T)]
61-
// CHECK:STDOUT: %U.loc13_16.2: type = bind_symbolic_name U, 1 [symbolic = %U.loc13_16.2 (constants.%U)]
61+
// CHECK:STDOUT: generic fn @F(%T.loc15_6.1: type, %U.loc15_16.1: type) {
62+
// CHECK:STDOUT: %T.loc15_6.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc15_6.2 (constants.%T)]
63+
// CHECK:STDOUT: %U.loc15_16.2: type = bind_symbolic_name U, 1 [symbolic = %U.loc15_16.2 (constants.%U)]
6264
// CHECK:STDOUT:
6365
// CHECK:STDOUT: !definition:
64-
// CHECK:STDOUT: %ptr.loc14_11.2: type = ptr_type %T.loc13_6.2 [symbolic = %ptr.loc14_11.2 (constants.%ptr)]
65-
// CHECK:STDOUT: %require_complete.loc14: <witness> = require_complete_type %ptr.loc14_11.2 [symbolic = %require_complete.loc14 (constants.%require_complete.6e5)]
66-
// CHECK:STDOUT: %pattern_type.loc14: type = pattern_type %ptr.loc14_11.2 [symbolic = %pattern_type.loc14 (constants.%pattern_type.afe)]
67-
// CHECK:STDOUT: %require_complete.loc19: <witness> = require_complete_type %U.loc13_16.2 [symbolic = %require_complete.loc19 (constants.%require_complete.b54)]
68-
// CHECK:STDOUT: %pattern_type.loc19: type = pattern_type %U.loc13_16.2 [symbolic = %pattern_type.loc19 (constants.%pattern_type.a32)]
66+
// CHECK:STDOUT: %ptr.loc16_11.2: type = ptr_type %T.loc15_6.2 [symbolic = %ptr.loc16_11.2 (constants.%ptr)]
67+
// CHECK:STDOUT: %require_complete.loc16: <witness> = require_complete_type %ptr.loc16_11.2 [symbolic = %require_complete.loc16 (constants.%require_complete.6e5)]
68+
// CHECK:STDOUT: %pattern_type.loc16: type = pattern_type %ptr.loc16_11.2 [symbolic = %pattern_type.loc16 (constants.%pattern_type.afe)]
69+
// CHECK:STDOUT: %require_complete.loc21: <witness> = require_complete_type %U.loc15_16.2 [symbolic = %require_complete.loc21 (constants.%require_complete.b54)]
70+
// CHECK:STDOUT: %pattern_type.loc21: type = pattern_type %U.loc15_16.2 [symbolic = %pattern_type.loc21 (constants.%pattern_type.a32)]
6971
// CHECK:STDOUT:
7072
// CHECK:STDOUT: fn() {
7173
// CHECK:STDOUT: !entry:
7274
// CHECK:STDOUT: name_binding_decl {
73-
// CHECK:STDOUT: %p.patt: @F.%pattern_type.loc14 (%pattern_type.afe) = binding_pattern p [concrete]
74-
// CHECK:STDOUT: %p.var_patt: @F.%pattern_type.loc14 (%pattern_type.afe) = var_pattern %p.patt [concrete]
75+
// CHECK:STDOUT: %p.patt: @F.%pattern_type.loc16 (%pattern_type.afe) = binding_pattern p [concrete]
76+
// CHECK:STDOUT: %p.var_patt: @F.%pattern_type.loc16 (%pattern_type.afe) = var_pattern %p.patt [concrete]
7577
// CHECK:STDOUT: }
76-
// CHECK:STDOUT: %p.var: ref @F.%ptr.loc14_11.2 (%ptr) = var %p.var_patt
77-
// CHECK:STDOUT: %.loc14: type = splice_block %ptr.loc14_11.1 [symbolic = %ptr.loc14_11.2 (constants.%ptr)] {
78-
// CHECK:STDOUT: %T.ref: type = name_ref T, %T.loc13_6.1 [symbolic = %T.loc13_6.2 (constants.%T)]
79-
// CHECK:STDOUT: %ptr.loc14_11.1: type = ptr_type %T.ref [symbolic = %ptr.loc14_11.2 (constants.%ptr)]
78+
// CHECK:STDOUT: %p.var: ref @F.%ptr.loc16_11.2 (%ptr) = var %p.var_patt
79+
// CHECK:STDOUT: %.loc16: type = splice_block %ptr.loc16_11.1 [symbolic = %ptr.loc16_11.2 (constants.%ptr)] {
80+
// CHECK:STDOUT: %T.ref: type = name_ref T, %T.loc15_6.1 [symbolic = %T.loc15_6.2 (constants.%T)]
81+
// CHECK:STDOUT: %ptr.loc16_11.1: type = ptr_type %T.ref [symbolic = %ptr.loc16_11.2 (constants.%ptr)]
8082
// CHECK:STDOUT: }
81-
// CHECK:STDOUT: %p: ref @F.%ptr.loc14_11.2 (%ptr) = bind_name p, %p.var
83+
// CHECK:STDOUT: %p: ref @F.%ptr.loc16_11.2 (%ptr) = bind_name p, %p.var
8284
// CHECK:STDOUT: name_binding_decl {
83-
// CHECK:STDOUT: %n.patt: @F.%pattern_type.loc19 (%pattern_type.a32) = binding_pattern n [concrete]
85+
// CHECK:STDOUT: %n.patt: @F.%pattern_type.loc21 (%pattern_type.a32) = binding_pattern n [concrete]
8486
// CHECK:STDOUT: }
85-
// CHECK:STDOUT: %p.ref: ref @F.%ptr.loc14_11.2 (%ptr) = name_ref p, %p
86-
// CHECK:STDOUT: %.loc19_15: @F.%ptr.loc14_11.2 (%ptr) = bind_value %p.ref
87-
// CHECK:STDOUT: %.loc19_14.1: ref @F.%T.loc13_6.2 (%T) = deref %.loc19_15
88-
// CHECK:STDOUT: %U.ref: type = name_ref U, %U.loc13_16.1 [symbolic = %U.loc13_16.2 (constants.%U)]
89-
// CHECK:STDOUT: %.loc19_14.2: @F.%U.loc13_16.2 (%U) = converted %.loc19_14.1, <error> [concrete = <error>]
90-
// CHECK:STDOUT: %n: @F.%U.loc13_16.2 (%U) = bind_name n, <error> [concrete = <error>]
87+
// CHECK:STDOUT: %p.ref: ref @F.%ptr.loc16_11.2 (%ptr) = name_ref p, %p
88+
// CHECK:STDOUT: %.loc21_15: @F.%ptr.loc16_11.2 (%ptr) = bind_value %p.ref
89+
// CHECK:STDOUT: %.loc21_14.1: ref @F.%T.loc15_6.2 (%T) = deref %.loc21_15
90+
// CHECK:STDOUT: %U.ref: type = name_ref U, %U.loc15_16.1 [symbolic = %U.loc15_16.2 (constants.%U)]
91+
// CHECK:STDOUT: %.loc21_14.2: @F.%U.loc15_16.2 (%U) = converted %.loc21_14.1, <error> [concrete = <error>]
92+
// CHECK:STDOUT: %n: @F.%U.loc15_16.2 (%U) = bind_name n, <error> [concrete = <error>]
9193
// CHECK:STDOUT: return
9294
// CHECK:STDOUT: }
9395
// CHECK:STDOUT: }
9496
// CHECK:STDOUT:
9597
// CHECK:STDOUT: specific @F(constants.%T, constants.%U) {
96-
// CHECK:STDOUT: %T.loc13_6.2 => constants.%T
97-
// CHECK:STDOUT: %U.loc13_16.2 => constants.%U
98+
// CHECK:STDOUT: %T.loc15_6.2 => constants.%T
99+
// CHECK:STDOUT: %U.loc15_16.2 => constants.%U
98100
// CHECK:STDOUT: }
99101
// CHECK:STDOUT:

0 commit comments

Comments
 (0)