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

Fix the textual IR name of WrapperBindingPattern (#7650)

Browse Source 
`at_binding_pattern` is a relic from an earlier revision of #6930.
This commit is contained in:
Geoff Romer
2026-08-18 22:31:27 +00:00
committed by GitHub
parent 70b6abd6f1
commit d21cc3197f
333 changed files with 3806 additions and 3806 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/interface/as_type.carbon
Vendored
+2 -2
View File
@@ -23,7 +23,7 @@ fn F(unused e: Empty) {}
// CHECK:STDOUT: %Self: %Empty.type = symbolic_binding Self, 0 [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Empty.type [concrete]
// CHECK:STDOUT: %e.param_patt: %pattern_type = value_param_pattern [concrete]
// CHECK:STDOUT: %e.patt: %pattern_type = at_binding_pattern e, %e.param_patt [concrete]
// CHECK:STDOUT: %e.patt: %pattern_type = wrapper_binding_pattern e, %e.param_patt [concrete]
// CHECK:STDOUT: %F.type: type = fn_type @F [concrete]
// CHECK:STDOUT: %F: %F.type = struct_value () [concrete]
// CHECK:STDOUT: }
@@ -36,7 +36,7 @@ fn F(unused e: Empty) {}
// CHECK:STDOUT: %Empty.decl: type = interface_decl @Empty [concrete = constants.%Empty.type] {} {}
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %e.param_patt: %pattern_type = value_param_pattern [concrete = constants.%e.param_patt]
// CHECK:STDOUT: %e.patt: %pattern_type = at_binding_pattern e, %e.param_patt [concrete = constants.%e.patt]
// CHECK:STDOUT: %e.patt: %pattern_type = wrapper_binding_pattern e, %e.param_patt [concrete = constants.%e.patt]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %e.param: %Empty.type = value_param call_param0
// CHECK:STDOUT: %Empty.ref: type = name_ref Empty, file.%Empty.decl [concrete = constants.%Empty.type]
toolchain/check/testdata/interface/compound_member_access.carbon
Vendored
+44 -44
View File
@@ -556,7 +556,7 @@ fn Works() {
// CHECK:STDOUT: %T.as_type: type = facet_access_type %T [symbolic]
// CHECK:STDOUT: %pattern_type.f2711c.1: type = pattern_type %T.as_type [symbolic]
// CHECK:STDOUT: %x.param_patt: %pattern_type.f2711c.1 = value_param_pattern [symbolic]
// CHECK:STDOUT: %x.patt: %pattern_type.f2711c.1 = at_binding_pattern x, %x.param_patt [symbolic]
// CHECK:STDOUT: %x.patt: %pattern_type.f2711c.1 = wrapper_binding_pattern x, %x.param_patt [symbolic]
// CHECK:STDOUT: %Simple3.type: type = fn_type @Simple3 [concrete]
// CHECK:STDOUT: %Simple3: %Simple3.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.041d4e.1: <witness> = require_complete_type %T.as_type [symbolic]
@@ -571,7 +571,7 @@ fn Works() {
// CHECK:STDOUT: %V.as_type: type = facet_access_type %V [symbolic]
// CHECK:STDOUT: %pattern_type.f2711c.2: type = pattern_type %V.as_type [symbolic]
// CHECK:STDOUT: %y.param_patt: %pattern_type.f2711c.2 = value_param_pattern [symbolic]
// CHECK:STDOUT: %y.patt: %pattern_type.f2711c.2 = at_binding_pattern y, %y.param_patt [symbolic]
// CHECK:STDOUT: %y.patt: %pattern_type.f2711c.2 = wrapper_binding_pattern y, %y.param_patt [symbolic]
// CHECK:STDOUT: %Compound3.type: type = fn_type @Compound3 [concrete]
// CHECK:STDOUT: %Compound3: %Compound3.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.041d4e.2: <witness> = require_complete_type %V.as_type [symbolic]
@@ -600,7 +600,7 @@ fn Works() {
// CHECK:STDOUT: %Simple3.decl: %Simple3.type = fn_decl @Simple3 [concrete = constants.%Simple3] {
// CHECK:STDOUT: %T.patt.loc8_21.1: %pattern_type.583 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc8_21.2 (constants.%T.patt)]
// CHECK:STDOUT: %x.param_patt.loc8_28.1: @Simple3.%pattern_type (%pattern_type.f2711c.1) = value_param_pattern [symbolic = %x.param_patt.loc8_28.2 (constants.%x.param_patt)]
// CHECK:STDOUT: %x.patt.loc8_28.1: @Simple3.%pattern_type (%pattern_type.f2711c.1) = at_binding_pattern x, %x.param_patt.loc8_28.1 [symbolic = %x.patt.loc8_28.2 (constants.%x.patt)]
// CHECK:STDOUT: %x.patt.loc8_28.1: @Simple3.%pattern_type (%pattern_type.f2711c.1) = wrapper_binding_pattern x, %x.param_patt.loc8_28.1 [symbolic = %x.patt.loc8_28.2 (constants.%x.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc8_23: type = splice_block %K2.ref [concrete = constants.%K2.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -618,7 +618,7 @@ fn Works() {
// CHECK:STDOUT: %Compound3.decl: %Compound3.type = fn_decl @Compound3 [concrete = constants.%Compound3] {
// CHECK:STDOUT: %V.patt.loc14_23.1: %pattern_type.583 = symbolic_binding_pattern V, 0 [symbolic = %V.patt.loc14_23.2 (constants.%V.patt)]
// CHECK:STDOUT: %y.param_patt.loc14_30.1: @Compound3.%pattern_type (%pattern_type.f2711c.2) = value_param_pattern [symbolic = %y.param_patt.loc14_30.2 (constants.%y.param_patt)]
// CHECK:STDOUT: %y.patt.loc14_30.1: @Compound3.%pattern_type (%pattern_type.f2711c.2) = at_binding_pattern y, %y.param_patt.loc14_30.1 [symbolic = %y.patt.loc14_30.2 (constants.%y.patt)]
// CHECK:STDOUT: %y.patt.loc14_30.1: @Compound3.%pattern_type (%pattern_type.f2711c.2) = wrapper_binding_pattern y, %y.param_patt.loc14_30.1 [symbolic = %y.patt.loc14_30.2 (constants.%y.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc14_25: type = splice_block %K2.ref.loc14 [concrete = constants.%K2.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -661,7 +661,7 @@ fn Works() {
// CHECK:STDOUT: %T.as_type.loc8_30.1: type = facet_access_type %T.loc8_21.1 [symbolic = %T.as_type.loc8_30.1 (constants.%T.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %T.as_type.loc8_30.1 [symbolic = %pattern_type (constants.%pattern_type.f2711c.1)]
// CHECK:STDOUT: %x.param_patt.loc8_28.2: @Simple3.%pattern_type (%pattern_type.f2711c.1) = value_param_pattern [symbolic = %x.param_patt.loc8_28.2 (constants.%x.param_patt)]
// CHECK:STDOUT: %x.patt.loc8_28.2: @Simple3.%pattern_type (%pattern_type.f2711c.1) = at_binding_pattern x, %x.param_patt.loc8_28.2 [symbolic = %x.patt.loc8_28.2 (constants.%x.patt)]
// CHECK:STDOUT: %x.patt.loc8_28.2: @Simple3.%pattern_type (%pattern_type.f2711c.1) = wrapper_binding_pattern x, %x.param_patt.loc8_28.2 [symbolic = %x.patt.loc8_28.2 (constants.%x.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %T.as_type.loc8_30.1 [symbolic = %require_complete (constants.%require_complete.041d4e.1)]
@@ -688,7 +688,7 @@ fn Works() {
// CHECK:STDOUT: %V.as_type.loc14_32.1: type = facet_access_type %V.loc14_23.1 [symbolic = %V.as_type.loc14_32.1 (constants.%V.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %V.as_type.loc14_32.1 [symbolic = %pattern_type (constants.%pattern_type.f2711c.2)]
// CHECK:STDOUT: %y.param_patt.loc14_30.2: @Compound3.%pattern_type (%pattern_type.f2711c.2) = value_param_pattern [symbolic = %y.param_patt.loc14_30.2 (constants.%y.param_patt)]
// CHECK:STDOUT: %y.patt.loc14_30.2: @Compound3.%pattern_type (%pattern_type.f2711c.2) = at_binding_pattern y, %y.param_patt.loc14_30.2 [symbolic = %y.patt.loc14_30.2 (constants.%y.patt)]
// CHECK:STDOUT: %y.patt.loc14_30.2: @Compound3.%pattern_type (%pattern_type.f2711c.2) = wrapper_binding_pattern y, %y.param_patt.loc14_30.2 [symbolic = %y.patt.loc14_30.2 (constants.%y.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %V.as_type.loc14_32.1 [symbolic = %require_complete (constants.%require_complete.041d4e.2)]
@@ -747,14 +747,14 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type.63b: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt.075: %pattern_type.63b = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.637: %pattern_type.63b = at_binding_pattern self, %self.param_patt.075 [symbolic]
// CHECK:STDOUT: %self.patt.f8b: %pattern_type.63b = wrapper_binding_pattern self, %self.param_patt.075 [symbolic]
// CHECK:STDOUT: %L1.WithSelf.R1.type.861: type = fn_type @L1.WithSelf.R1, @L1.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete]
// CHECK:STDOUT: %L1.WithSelf.R1.1c0: %L1.WithSelf.R1.type.861 = struct_value () [symbolic]
// CHECK:STDOUT: %L1.assoc_type: type = assoc_entity_type @L1 [concrete]
// CHECK:STDOUT: %assoc0: %L1.assoc_type = assoc_entity element0, @L1.WithSelf.%L1.WithSelf.R1.decl [concrete]
// CHECK:STDOUT: %self.param_patt.f1b: %pattern_type.63b = ref_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.d80: %pattern_type.63b = at_binding_pattern self, %self.param_patt.f1b [symbolic]
// CHECK:STDOUT: %self.patt.822: %pattern_type.63b = wrapper_binding_pattern self, %self.param_patt.f1b [symbolic]
// CHECK:STDOUT: %L1.WithSelf.S1.type.ff3: type = fn_type @L1.WithSelf.S1, @L1.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %L1.WithSelf.S1.11f: %L1.WithSelf.S1.type.ff3 = struct_value () [symbolic]
// CHECK:STDOUT: %assoc1: %L1.assoc_type = assoc_entity element1, @L1.WithSelf.%L1.WithSelf.S1.decl [concrete]
@@ -766,11 +766,11 @@ fn Works() {
// CHECK:STDOUT: %T.as_type: type = facet_access_type %T [symbolic]
// CHECK:STDOUT: %pattern_type.5697a7.1: type = pattern_type %T.as_type [symbolic]
// CHECK:STDOUT: %x.param_patt: %pattern_type.5697a7.1 = value_param_pattern [symbolic]
// CHECK:STDOUT: %x.patt: %pattern_type.5697a7.1 = at_binding_pattern x, %x.param_patt [symbolic]
// CHECK:STDOUT: %x.patt: %pattern_type.5697a7.1 = wrapper_binding_pattern x, %x.param_patt [symbolic]
// CHECK:STDOUT: %ptr.ed22b9.1: type = ptr_type %T.as_type [symbolic]
// CHECK:STDOUT: %pattern_type.e0b9be.1: type = pattern_type %ptr.ed22b9.1 [symbolic]
// CHECK:STDOUT: %p.param_patt.f2a353.1: %pattern_type.e0b9be.1 = value_param_pattern [symbolic]
// CHECK:STDOUT: %p.patt.4967c5.1: %pattern_type.e0b9be.1 = at_binding_pattern p, %p.param_patt.f2a353.1 [symbolic]
// CHECK:STDOUT: %p.patt.0298e1.1: %pattern_type.e0b9be.1 = wrapper_binding_pattern p, %p.param_patt.f2a353.1 [symbolic]
// CHECK:STDOUT: %Simple4.type: type = fn_type @Simple4 [concrete]
// CHECK:STDOUT: %Simple4: %Simple4.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.770490.1: <witness> = require_complete_type %T.as_type [symbolic]
@@ -783,23 +783,23 @@ fn Works() {
// CHECK:STDOUT: %.56f6e0.1: type = fn_type_with_self_type %L1.WithSelf.R1.type.62535e.1, %T [symbolic]
// CHECK:STDOUT: %impl.elem0.4e8926.1: %.56f6e0.1 = impl_witness_access %L1.lookup_impl_witness.cca206.1, element0 [symbolic]
// CHECK:STDOUT: %self.param_patt.346880.1: %pattern_type.5697a7.1 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.3f2bf1.1: %pattern_type.5697a7.1 = at_binding_pattern self, %self.param_patt.346880.1 [symbolic]
// CHECK:STDOUT: %self.patt.270275.1: %pattern_type.5697a7.1 = wrapper_binding_pattern self, %self.param_patt.346880.1 [symbolic]
// CHECK:STDOUT: %specific_impl_fn.e046e8.1: <specific function> = specific_impl_function %impl.elem0.4e8926.1, @L1.WithSelf.R1(%T) [symbolic]
// CHECK:STDOUT: %.b63157.1: type = fn_type_with_self_type %L1.WithSelf.S1.type.690082.1, %T [symbolic]
// CHECK:STDOUT: %impl.elem1.86bb43.1: %.b63157.1 = impl_witness_access %L1.lookup_impl_witness.cca206.1, element1 [symbolic]
// CHECK:STDOUT: %self.param_patt.f25107.1: %pattern_type.5697a7.1 = ref_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.c50c02.1: %pattern_type.5697a7.1 = at_binding_pattern self, %self.param_patt.f25107.1 [symbolic]
// CHECK:STDOUT: %self.patt.38f562.1: %pattern_type.5697a7.1 = wrapper_binding_pattern self, %self.param_patt.f25107.1 [symbolic]
// CHECK:STDOUT: %specific_impl_fn.340d61.1: <specific function> = specific_impl_function %impl.elem1.86bb43.1, @L1.WithSelf.S1(%T) [symbolic]
// CHECK:STDOUT: %V.patt: %pattern_type.b7b = symbolic_binding_pattern V, 0 [symbolic]
// CHECK:STDOUT: %V: %L1.type = symbolic_binding V, 0 [symbolic]
// CHECK:STDOUT: %V.as_type: type = facet_access_type %V [symbolic]
// CHECK:STDOUT: %pattern_type.5697a7.2: type = pattern_type %V.as_type [symbolic]
// CHECK:STDOUT: %y.param_patt: %pattern_type.5697a7.2 = value_param_pattern [symbolic]
// CHECK:STDOUT: %y.patt: %pattern_type.5697a7.2 = at_binding_pattern y, %y.param_patt [symbolic]
// CHECK:STDOUT: %y.patt: %pattern_type.5697a7.2 = wrapper_binding_pattern y, %y.param_patt [symbolic]
// CHECK:STDOUT: %ptr.ed22b9.2: type = ptr_type %V.as_type [symbolic]
// CHECK:STDOUT: %pattern_type.e0b9be.2: type = pattern_type %ptr.ed22b9.2 [symbolic]
// CHECK:STDOUT: %p.param_patt.f2a353.2: %pattern_type.e0b9be.2 = value_param_pattern [symbolic]
// CHECK:STDOUT: %p.patt.4967c5.2: %pattern_type.e0b9be.2 = at_binding_pattern p, %p.param_patt.f2a353.2 [symbolic]
// CHECK:STDOUT: %p.patt.0298e1.2: %pattern_type.e0b9be.2 = wrapper_binding_pattern p, %p.param_patt.f2a353.2 [symbolic]
// CHECK:STDOUT: %Compound4.type: type = fn_type @Compound4 [concrete]
// CHECK:STDOUT: %Compound4: %Compound4.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.770490.2: <witness> = require_complete_type %V.as_type [symbolic]
@@ -812,12 +812,12 @@ fn Works() {
// CHECK:STDOUT: %.56f6e0.2: type = fn_type_with_self_type %L1.WithSelf.R1.type.62535e.2, %V [symbolic]
// CHECK:STDOUT: %impl.elem0.4e8926.2: %.56f6e0.2 = impl_witness_access %L1.lookup_impl_witness.cca206.2, element0 [symbolic]
// CHECK:STDOUT: %self.param_patt.346880.2: %pattern_type.5697a7.2 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.3f2bf1.2: %pattern_type.5697a7.2 = at_binding_pattern self, %self.param_patt.346880.2 [symbolic]
// CHECK:STDOUT: %self.patt.270275.2: %pattern_type.5697a7.2 = wrapper_binding_pattern self, %self.param_patt.346880.2 [symbolic]
// CHECK:STDOUT: %specific_impl_fn.e046e8.2: <specific function> = specific_impl_function %impl.elem0.4e8926.2, @L1.WithSelf.R1(%V) [symbolic]
// CHECK:STDOUT: %.b63157.2: type = fn_type_with_self_type %L1.WithSelf.S1.type.690082.2, %V [symbolic]
// CHECK:STDOUT: %impl.elem1.86bb43.2: %.b63157.2 = impl_witness_access %L1.lookup_impl_witness.cca206.2, element1 [symbolic]
// CHECK:STDOUT: %self.param_patt.f25107.2: %pattern_type.5697a7.2 = ref_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.c50c02.2: %pattern_type.5697a7.2 = at_binding_pattern self, %self.param_patt.f25107.2 [symbolic]
// CHECK:STDOUT: %self.patt.38f562.2: %pattern_type.5697a7.2 = wrapper_binding_pattern self, %self.param_patt.f25107.2 [symbolic]
// CHECK:STDOUT: %specific_impl_fn.340d61.2: <specific function> = specific_impl_function %impl.elem1.86bb43.2, @L1.WithSelf.S1(%V) [symbolic]
// CHECK:STDOUT: }
// CHECK:STDOUT:
@@ -840,9 +840,9 @@ fn Works() {
// CHECK:STDOUT: %Simple4.decl: %Simple4.type = fn_decl @Simple4 [concrete = constants.%Simple4] {
// CHECK:STDOUT: %T.patt.loc9_21.1: %pattern_type.b7b = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_21.2 (constants.%T.patt)]
// CHECK:STDOUT: %x.param_patt.loc9_28.1: @Simple4.%pattern_type.loc9_28 (%pattern_type.5697a7.1) = value_param_pattern [symbolic = %x.param_patt.loc9_28.2 (constants.%x.param_patt)]
// CHECK:STDOUT: %x.patt.loc9_28.1: @Simple4.%pattern_type.loc9_28 (%pattern_type.5697a7.1) = at_binding_pattern x, %x.param_patt.loc9_28.1 [symbolic = %x.patt.loc9_28.2 (constants.%x.patt)]
// CHECK:STDOUT: %x.patt.loc9_28.1: @Simple4.%pattern_type.loc9_28 (%pattern_type.5697a7.1) = wrapper_binding_pattern x, %x.param_patt.loc9_28.1 [symbolic = %x.patt.loc9_28.2 (constants.%x.patt)]
// CHECK:STDOUT: %p.param_patt.loc9_34.1: @Simple4.%pattern_type.loc9_34 (%pattern_type.e0b9be.1) = value_param_pattern [symbolic = %p.param_patt.loc9_34.2 (constants.%p.param_patt.f2a353.1)]
// CHECK:STDOUT: %p.patt.loc9_34.1: @Simple4.%pattern_type.loc9_34 (%pattern_type.e0b9be.1) = at_binding_pattern p, %p.param_patt.loc9_34.1 [symbolic = %p.patt.loc9_34.2 (constants.%p.patt.4967c5.1)]
// CHECK:STDOUT: %p.patt.loc9_34.1: @Simple4.%pattern_type.loc9_34 (%pattern_type.e0b9be.1) = wrapper_binding_pattern p, %p.param_patt.loc9_34.1 [symbolic = %p.patt.loc9_34.2 (constants.%p.patt.0298e1.1)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc9_23: type = splice_block %L1.ref [concrete = constants.%L1.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -868,9 +868,9 @@ fn Works() {
// CHECK:STDOUT: %Compound4.decl: %Compound4.type = fn_decl @Compound4 [concrete = constants.%Compound4] {
// CHECK:STDOUT: %V.patt.loc15_23.1: %pattern_type.b7b = symbolic_binding_pattern V, 0 [symbolic = %V.patt.loc15_23.2 (constants.%V.patt)]
// CHECK:STDOUT: %y.param_patt.loc15_30.1: @Compound4.%pattern_type.loc15_30 (%pattern_type.5697a7.2) = value_param_pattern [symbolic = %y.param_patt.loc15_30.2 (constants.%y.param_patt)]
// CHECK:STDOUT: %y.patt.loc15_30.1: @Compound4.%pattern_type.loc15_30 (%pattern_type.5697a7.2) = at_binding_pattern y, %y.param_patt.loc15_30.1 [symbolic = %y.patt.loc15_30.2 (constants.%y.patt)]
// CHECK:STDOUT: %y.patt.loc15_30.1: @Compound4.%pattern_type.loc15_30 (%pattern_type.5697a7.2) = wrapper_binding_pattern y, %y.param_patt.loc15_30.1 [symbolic = %y.patt.loc15_30.2 (constants.%y.patt)]
// CHECK:STDOUT: %p.param_patt.loc15_36.1: @Compound4.%pattern_type.loc15_36 (%pattern_type.e0b9be.2) = value_param_pattern [symbolic = %p.param_patt.loc15_36.2 (constants.%p.param_patt.f2a353.2)]
// CHECK:STDOUT: %p.patt.loc15_36.1: @Compound4.%pattern_type.loc15_36 (%pattern_type.e0b9be.2) = at_binding_pattern p, %p.param_patt.loc15_36.1 [symbolic = %p.patt.loc15_36.2 (constants.%p.patt.4967c5.2)]
// CHECK:STDOUT: %p.patt.loc15_36.1: @Compound4.%pattern_type.loc15_36 (%pattern_type.e0b9be.2) = wrapper_binding_pattern p, %p.param_patt.loc15_36.1 [symbolic = %p.patt.loc15_36.2 (constants.%p.patt.0298e1.2)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc15_25: type = splice_block %L1.ref.loc15 [concrete = constants.%L1.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -902,7 +902,7 @@ fn Works() {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %L1.WithSelf.R1.decl: @L1.WithSelf.%L1.WithSelf.R1.type (%L1.WithSelf.R1.type.861) = fn_decl @L1.WithSelf.R1 [symbolic = @L1.WithSelf.%L1.WithSelf.R1 (constants.%L1.WithSelf.R1.1c0)] {
// CHECK:STDOUT: %self.param_patt.loc4_9.1: @L1.WithSelf.R1.%pattern_type (%pattern_type.63b) = value_param_pattern [symbolic = %self.param_patt.loc4_9.2 (constants.%self.param_patt.075)]
// CHECK:STDOUT: %self.patt.loc4_9.1: @L1.WithSelf.R1.%pattern_type (%pattern_type.63b) = at_binding_pattern self, %self.param_patt.loc4_9.1 [symbolic = %self.patt.loc4_9.2 (constants.%self.patt.637)]
// CHECK:STDOUT: %self.patt.loc4_9.1: @L1.WithSelf.R1.%pattern_type (%pattern_type.63b) = wrapper_binding_pattern self, %self.param_patt.loc4_9.1 [symbolic = %self.patt.loc4_9.2 (constants.%self.patt.f8b)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @L1.WithSelf.R1.%Self.as_type.loc4_9.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc4_9.1: type = splice_block %.loc4_9.2 [symbolic = %Self.as_type.loc4_9.1 (constants.%Self.as_type)] {
@@ -915,7 +915,7 @@ fn Works() {
// CHECK:STDOUT: %assoc0: %L1.assoc_type = assoc_entity element0, %L1.WithSelf.R1.decl [concrete = constants.%assoc0]
// CHECK:STDOUT: %L1.WithSelf.S1.decl: @L1.WithSelf.%L1.WithSelf.S1.type (%L1.WithSelf.S1.type.ff3) = fn_decl @L1.WithSelf.S1 [symbolic = @L1.WithSelf.%L1.WithSelf.S1 (constants.%L1.WithSelf.S1.11f)] {
// CHECK:STDOUT: %self.param_patt.loc5_13.1: @L1.WithSelf.S1.%pattern_type (%pattern_type.63b) = ref_param_pattern [symbolic = %self.param_patt.loc5_13.2 (constants.%self.param_patt.f1b)]
// CHECK:STDOUT: %self.patt.loc5_13.1: @L1.WithSelf.S1.%pattern_type (%pattern_type.63b) = at_binding_pattern self, %self.param_patt.loc5_13.1 [symbolic = %self.patt.loc5_13.2 (constants.%self.patt.d80)]
// CHECK:STDOUT: %self.patt.loc5_13.1: @L1.WithSelf.S1.%pattern_type (%pattern_type.63b) = wrapper_binding_pattern self, %self.param_patt.loc5_13.1 [symbolic = %self.patt.loc5_13.2 (constants.%self.patt.822)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: ref @L1.WithSelf.S1.%Self.as_type.loc5_13.1 (%Self.as_type) = ref_param call_param0
// CHECK:STDOUT: %.loc5_13.1: type = splice_block %.loc5_13.2 [symbolic = %Self.as_type.loc5_13.1 (constants.%Self.as_type)] {
@@ -941,7 +941,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc4_9.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc4_9.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc4_9.1 [symbolic = %pattern_type (constants.%pattern_type.63b)]
// CHECK:STDOUT: %self.param_patt.loc4_9.2: @L1.WithSelf.R1.%pattern_type (%pattern_type.63b) = value_param_pattern [symbolic = %self.param_patt.loc4_9.2 (constants.%self.param_patt.075)]
// CHECK:STDOUT: %self.patt.loc4_9.2: @L1.WithSelf.R1.%pattern_type (%pattern_type.63b) = at_binding_pattern self, %self.param_patt.loc4_9.2 [symbolic = %self.patt.loc4_9.2 (constants.%self.patt.637)]
// CHECK:STDOUT: %self.patt.loc4_9.2: @L1.WithSelf.R1.%pattern_type (%pattern_type.63b) = wrapper_binding_pattern self, %self.param_patt.loc4_9.2 [symbolic = %self.patt.loc4_9.2 (constants.%self.patt.f8b)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @L1.WithSelf.R1.%Self.as_type.loc4_9.1 (%Self.as_type));
// CHECK:STDOUT: }
@@ -951,7 +951,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc5_13.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc5_13.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc5_13.1 [symbolic = %pattern_type (constants.%pattern_type.63b)]
// CHECK:STDOUT: %self.param_patt.loc5_13.2: @L1.WithSelf.S1.%pattern_type (%pattern_type.63b) = ref_param_pattern [symbolic = %self.param_patt.loc5_13.2 (constants.%self.param_patt.f1b)]
// CHECK:STDOUT: %self.patt.loc5_13.2: @L1.WithSelf.S1.%pattern_type (%pattern_type.63b) = at_binding_pattern self, %self.param_patt.loc5_13.2 [symbolic = %self.patt.loc5_13.2 (constants.%self.patt.d80)]
// CHECK:STDOUT: %self.patt.loc5_13.2: @L1.WithSelf.S1.%pattern_type (%pattern_type.63b) = wrapper_binding_pattern self, %self.param_patt.loc5_13.2 [symbolic = %self.patt.loc5_13.2 (constants.%self.patt.822)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: ref @L1.WithSelf.S1.%Self.as_type.loc5_13.1 (%Self.as_type));
// CHECK:STDOUT: }
@@ -962,11 +962,11 @@ fn Works() {
// CHECK:STDOUT: %T.as_type.loc9_30.1: type = facet_access_type %T.loc9_21.1 [symbolic = %T.as_type.loc9_30.1 (constants.%T.as_type)]
// CHECK:STDOUT: %pattern_type.loc9_28: type = pattern_type %T.as_type.loc9_30.1 [symbolic = %pattern_type.loc9_28 (constants.%pattern_type.5697a7.1)]
// CHECK:STDOUT: %x.param_patt.loc9_28.2: @Simple4.%pattern_type.loc9_28 (%pattern_type.5697a7.1) = value_param_pattern [symbolic = %x.param_patt.loc9_28.2 (constants.%x.param_patt)]
// CHECK:STDOUT: %x.patt.loc9_28.2: @Simple4.%pattern_type.loc9_28 (%pattern_type.5697a7.1) = at_binding_pattern x, %x.param_patt.loc9_28.2 [symbolic = %x.patt.loc9_28.2 (constants.%x.patt)]
// CHECK:STDOUT: %x.patt.loc9_28.2: @Simple4.%pattern_type.loc9_28 (%pattern_type.5697a7.1) = wrapper_binding_pattern x, %x.param_patt.loc9_28.2 [symbolic = %x.patt.loc9_28.2 (constants.%x.patt)]
// CHECK:STDOUT: %ptr.loc9_37.1: type = ptr_type %T.as_type.loc9_30.1 [symbolic = %ptr.loc9_37.1 (constants.%ptr.ed22b9.1)]
// CHECK:STDOUT: %pattern_type.loc9_34: type = pattern_type %ptr.loc9_37.1 [symbolic = %pattern_type.loc9_34 (constants.%pattern_type.e0b9be.1)]
// CHECK:STDOUT: %p.param_patt.loc9_34.2: @Simple4.%pattern_type.loc9_34 (%pattern_type.e0b9be.1) = value_param_pattern [symbolic = %p.param_patt.loc9_34.2 (constants.%p.param_patt.f2a353.1)]
// CHECK:STDOUT: %p.patt.loc9_34.2: @Simple4.%pattern_type.loc9_34 (%pattern_type.e0b9be.1) = at_binding_pattern p, %p.param_patt.loc9_34.2 [symbolic = %p.patt.loc9_34.2 (constants.%p.patt.4967c5.1)]
// CHECK:STDOUT: %p.patt.loc9_34.2: @Simple4.%pattern_type.loc9_34 (%pattern_type.e0b9be.1) = wrapper_binding_pattern p, %p.param_patt.loc9_34.2 [symbolic = %p.patt.loc9_34.2 (constants.%p.patt.0298e1.1)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete.loc9_28: <witness> = require_complete_type %T.as_type.loc9_30.1 [symbolic = %require_complete.loc9_28 (constants.%require_complete.770490.1)]
@@ -1012,11 +1012,11 @@ fn Works() {
// CHECK:STDOUT: %V.as_type.loc15_32.1: type = facet_access_type %V.loc15_23.1 [symbolic = %V.as_type.loc15_32.1 (constants.%V.as_type)]
// CHECK:STDOUT: %pattern_type.loc15_30: type = pattern_type %V.as_type.loc15_32.1 [symbolic = %pattern_type.loc15_30 (constants.%pattern_type.5697a7.2)]
// CHECK:STDOUT: %y.param_patt.loc15_30.2: @Compound4.%pattern_type.loc15_30 (%pattern_type.5697a7.2) = value_param_pattern [symbolic = %y.param_patt.loc15_30.2 (constants.%y.param_patt)]
// CHECK:STDOUT: %y.patt.loc15_30.2: @Compound4.%pattern_type.loc15_30 (%pattern_type.5697a7.2) = at_binding_pattern y, %y.param_patt.loc15_30.2 [symbolic = %y.patt.loc15_30.2 (constants.%y.patt)]
// CHECK:STDOUT: %y.patt.loc15_30.2: @Compound4.%pattern_type.loc15_30 (%pattern_type.5697a7.2) = wrapper_binding_pattern y, %y.param_patt.loc15_30.2 [symbolic = %y.patt.loc15_30.2 (constants.%y.patt)]
// CHECK:STDOUT: %ptr.loc15_39.1: type = ptr_type %V.as_type.loc15_32.1 [symbolic = %ptr.loc15_39.1 (constants.%ptr.ed22b9.2)]
// CHECK:STDOUT: %pattern_type.loc15_36: type = pattern_type %ptr.loc15_39.1 [symbolic = %pattern_type.loc15_36 (constants.%pattern_type.e0b9be.2)]
// CHECK:STDOUT: %p.param_patt.loc15_36.2: @Compound4.%pattern_type.loc15_36 (%pattern_type.e0b9be.2) = value_param_pattern [symbolic = %p.param_patt.loc15_36.2 (constants.%p.param_patt.f2a353.2)]
// CHECK:STDOUT: %p.patt.loc15_36.2: @Compound4.%pattern_type.loc15_36 (%pattern_type.e0b9be.2) = at_binding_pattern p, %p.param_patt.loc15_36.2 [symbolic = %p.patt.loc15_36.2 (constants.%p.patt.4967c5.2)]
// CHECK:STDOUT: %p.patt.loc15_36.2: @Compound4.%pattern_type.loc15_36 (%pattern_type.e0b9be.2) = wrapper_binding_pattern p, %p.param_patt.loc15_36.2 [symbolic = %p.patt.loc15_36.2 (constants.%p.patt.0298e1.2)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete.loc15_30: <witness> = require_complete_type %V.as_type.loc15_32.1 [symbolic = %require_complete.loc15_30 (constants.%require_complete.770490.2)]
@@ -1072,7 +1072,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc4_9.1 => constants.%Self.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.63b
// CHECK:STDOUT: %self.param_patt.loc4_9.2 => constants.%self.param_patt.075
// CHECK:STDOUT: %self.patt.loc4_9.2 => constants.%self.patt.637
// CHECK:STDOUT: %self.patt.loc4_9.2 => constants.%self.patt.f8b
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @L1.WithSelf.S1(constants.%Self) {
@@ -1080,7 +1080,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc5_13.1 => constants.%Self.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.63b
// CHECK:STDOUT: %self.param_patt.loc5_13.2 => constants.%self.param_patt.f1b
// CHECK:STDOUT: %self.patt.loc5_13.2 => constants.%self.patt.d80
// CHECK:STDOUT: %self.patt.loc5_13.2 => constants.%self.patt.822
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @Simple4(constants.%T) {
@@ -1093,7 +1093,7 @@ fn Works() {
// CHECK:STDOUT: %ptr.loc9_37.1 => constants.%ptr.ed22b9.1
// CHECK:STDOUT: %pattern_type.loc9_34 => constants.%pattern_type.e0b9be.1
// CHECK:STDOUT: %p.param_patt.loc9_34.2 => constants.%p.param_patt.f2a353.1
// CHECK:STDOUT: %p.patt.loc9_34.2 => constants.%p.patt.4967c5.1
// CHECK:STDOUT: %p.patt.loc9_34.2 => constants.%p.patt.0298e1.1
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @L1.WithSelf(constants.%T) {
@@ -1110,7 +1110,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc4_9.1 => constants.%T.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.5697a7.1
// CHECK:STDOUT: %self.param_patt.loc4_9.2 => constants.%self.param_patt.346880.1
// CHECK:STDOUT: %self.patt.loc4_9.2 => constants.%self.patt.3f2bf1.1
// CHECK:STDOUT: %self.patt.loc4_9.2 => constants.%self.patt.270275.1
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @L1.WithSelf.S1(constants.%T) {
@@ -1118,7 +1118,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc5_13.1 => constants.%T.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.5697a7.1
// CHECK:STDOUT: %self.param_patt.loc5_13.2 => constants.%self.param_patt.f25107.1
// CHECK:STDOUT: %self.patt.loc5_13.2 => constants.%self.patt.c50c02.1
// CHECK:STDOUT: %self.patt.loc5_13.2 => constants.%self.patt.38f562.1
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @Compound4(constants.%V) {
@@ -1131,7 +1131,7 @@ fn Works() {
// CHECK:STDOUT: %ptr.loc15_39.1 => constants.%ptr.ed22b9.2
// CHECK:STDOUT: %pattern_type.loc15_36 => constants.%pattern_type.e0b9be.2
// CHECK:STDOUT: %p.param_patt.loc15_36.2 => constants.%p.param_patt.f2a353.2
// CHECK:STDOUT: %p.patt.loc15_36.2 => constants.%p.patt.4967c5.2
// CHECK:STDOUT: %p.patt.loc15_36.2 => constants.%p.patt.0298e1.2
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @L1.WithSelf(constants.%V) {
@@ -1148,7 +1148,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc4_9.1 => constants.%V.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.5697a7.2
// CHECK:STDOUT: %self.param_patt.loc4_9.2 => constants.%self.param_patt.346880.2
// CHECK:STDOUT: %self.patt.loc4_9.2 => constants.%self.patt.3f2bf1.2
// CHECK:STDOUT: %self.patt.loc4_9.2 => constants.%self.patt.270275.2
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @L1.WithSelf.S1(constants.%V) {
@@ -1156,7 +1156,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc5_13.1 => constants.%V.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.5697a7.2
// CHECK:STDOUT: %self.param_patt.loc5_13.2 => constants.%self.param_patt.f25107.2
// CHECK:STDOUT: %self.patt.loc5_13.2 => constants.%self.patt.c50c02.2
// CHECK:STDOUT: %self.patt.loc5_13.2 => constants.%self.patt.38f562.2
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_interface_instance_caller_not.carbon
@@ -1167,13 +1167,13 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type.b91: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt.d8c: %pattern_type.b91 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.588: %pattern_type.b91 = at_binding_pattern self, %self.param_patt.d8c [symbolic]
// CHECK:STDOUT: %self.patt.274: %pattern_type.b91 = wrapper_binding_pattern self, %self.param_patt.d8c [symbolic]
// CHECK:STDOUT: %L2.WithSelf.R2.type.bc0: type = fn_type @L2.WithSelf.R2, @L2.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %L2.WithSelf.R2.efd: %L2.WithSelf.R2.type.bc0 = struct_value () [symbolic]
// CHECK:STDOUT: %L2.assoc_type: type = assoc_entity_type @L2 [concrete]
// CHECK:STDOUT: %assoc0: %L2.assoc_type = assoc_entity element0, @L2.WithSelf.%L2.WithSelf.R2.decl [concrete]
// CHECK:STDOUT: %self.param_patt.2ec: %pattern_type.b91 = ref_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.663: %pattern_type.b91 = at_binding_pattern self, %self.param_patt.2ec [symbolic]
// CHECK:STDOUT: %self.patt.22b: %pattern_type.b91 = wrapper_binding_pattern self, %self.param_patt.2ec [symbolic]
// CHECK:STDOUT: %L2.WithSelf.S2.type.51d: type = fn_type @L2.WithSelf.S2, @L2.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %L2.WithSelf.S2.a11: %L2.WithSelf.S2.type.51d = struct_value () [symbolic]
// CHECK:STDOUT: %assoc1: %L2.assoc_type = assoc_entity element1, @L2.WithSelf.%L2.WithSelf.S2.decl [concrete]
@@ -1243,7 +1243,7 @@ fn Works() {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %L2.WithSelf.R2.decl: @L2.WithSelf.%L2.WithSelf.R2.type (%L2.WithSelf.R2.type.bc0) = fn_decl @L2.WithSelf.R2 [symbolic = @L2.WithSelf.%L2.WithSelf.R2 (constants.%L2.WithSelf.R2.efd)] {
// CHECK:STDOUT: %self.param_patt.loc5_9.1: @L2.WithSelf.R2.%pattern_type (%pattern_type.b91) = value_param_pattern [symbolic = %self.param_patt.loc5_9.2 (constants.%self.param_patt.d8c)]
// CHECK:STDOUT: %self.patt.loc5_9.1: @L2.WithSelf.R2.%pattern_type (%pattern_type.b91) = at_binding_pattern self, %self.param_patt.loc5_9.1 [symbolic = %self.patt.loc5_9.2 (constants.%self.patt.588)]
// CHECK:STDOUT: %self.patt.loc5_9.1: @L2.WithSelf.R2.%pattern_type (%pattern_type.b91) = wrapper_binding_pattern self, %self.param_patt.loc5_9.1 [symbolic = %self.patt.loc5_9.2 (constants.%self.patt.274)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @L2.WithSelf.R2.%Self.as_type.loc5_9.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc5_9.1: type = splice_block %.loc5_9.2 [symbolic = %Self.as_type.loc5_9.1 (constants.%Self.as_type)] {
@@ -1256,7 +1256,7 @@ fn Works() {
// CHECK:STDOUT: %assoc0: %L2.assoc_type = assoc_entity element0, %L2.WithSelf.R2.decl [concrete = constants.%assoc0]
// CHECK:STDOUT: %L2.WithSelf.S2.decl: @L2.WithSelf.%L2.WithSelf.S2.type (%L2.WithSelf.S2.type.51d) = fn_decl @L2.WithSelf.S2 [symbolic = @L2.WithSelf.%L2.WithSelf.S2 (constants.%L2.WithSelf.S2.a11)] {
// CHECK:STDOUT: %self.param_patt.loc6_13.1: @L2.WithSelf.S2.%pattern_type (%pattern_type.b91) = ref_param_pattern [symbolic = %self.param_patt.loc6_13.2 (constants.%self.param_patt.2ec)]
// CHECK:STDOUT: %self.patt.loc6_13.1: @L2.WithSelf.S2.%pattern_type (%pattern_type.b91) = at_binding_pattern self, %self.param_patt.loc6_13.1 [symbolic = %self.patt.loc6_13.2 (constants.%self.patt.663)]
// CHECK:STDOUT: %self.patt.loc6_13.1: @L2.WithSelf.S2.%pattern_type (%pattern_type.b91) = wrapper_binding_pattern self, %self.param_patt.loc6_13.1 [symbolic = %self.patt.loc6_13.2 (constants.%self.patt.22b)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: ref @L2.WithSelf.S2.%Self.as_type.loc6_13.1 (%Self.as_type) = ref_param call_param0
// CHECK:STDOUT: %.loc6_13.1: type = splice_block %.loc6_13.2 [symbolic = %Self.as_type.loc6_13.1 (constants.%Self.as_type)] {
@@ -1282,7 +1282,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc5_9.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc5_9.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc5_9.1 [symbolic = %pattern_type (constants.%pattern_type.b91)]
// CHECK:STDOUT: %self.param_patt.loc5_9.2: @L2.WithSelf.R2.%pattern_type (%pattern_type.b91) = value_param_pattern [symbolic = %self.param_patt.loc5_9.2 (constants.%self.param_patt.d8c)]
// CHECK:STDOUT: %self.patt.loc5_9.2: @L2.WithSelf.R2.%pattern_type (%pattern_type.b91) = at_binding_pattern self, %self.param_patt.loc5_9.2 [symbolic = %self.patt.loc5_9.2 (constants.%self.patt.588)]
// CHECK:STDOUT: %self.patt.loc5_9.2: @L2.WithSelf.R2.%pattern_type (%pattern_type.b91) = wrapper_binding_pattern self, %self.param_patt.loc5_9.2 [symbolic = %self.patt.loc5_9.2 (constants.%self.patt.274)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @L2.WithSelf.R2.%Self.as_type.loc5_9.1 (%Self.as_type));
// CHECK:STDOUT: }
@@ -1292,7 +1292,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc6_13.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc6_13.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc6_13.1 [symbolic = %pattern_type (constants.%pattern_type.b91)]
// CHECK:STDOUT: %self.param_patt.loc6_13.2: @L2.WithSelf.S2.%pattern_type (%pattern_type.b91) = ref_param_pattern [symbolic = %self.param_patt.loc6_13.2 (constants.%self.param_patt.2ec)]
// CHECK:STDOUT: %self.patt.loc6_13.2: @L2.WithSelf.S2.%pattern_type (%pattern_type.b91) = at_binding_pattern self, %self.param_patt.loc6_13.2 [symbolic = %self.patt.loc6_13.2 (constants.%self.patt.663)]
// CHECK:STDOUT: %self.patt.loc6_13.2: @L2.WithSelf.S2.%pattern_type (%pattern_type.b91) = wrapper_binding_pattern self, %self.param_patt.loc6_13.2 [symbolic = %self.patt.loc6_13.2 (constants.%self.patt.22b)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: ref @L2.WithSelf.S2.%Self.as_type.loc6_13.1 (%Self.as_type));
// CHECK:STDOUT: }
@@ -1359,7 +1359,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc5_9.1 => constants.%Self.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.b91
// CHECK:STDOUT: %self.param_patt.loc5_9.2 => constants.%self.param_patt.d8c
// CHECK:STDOUT: %self.patt.loc5_9.2 => constants.%self.patt.588
// CHECK:STDOUT: %self.patt.loc5_9.2 => constants.%self.patt.274
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @L2.WithSelf.S2(constants.%Self) {
@@ -1367,7 +1367,7 @@ fn Works() {
// CHECK:STDOUT: %Self.as_type.loc6_13.1 => constants.%Self.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.b91
// CHECK:STDOUT: %self.param_patt.loc6_13.2 => constants.%self.param_patt.2ec
// CHECK:STDOUT: %self.patt.loc6_13.2 => constants.%self.patt.663
// CHECK:STDOUT: %self.patt.loc6_13.2 => constants.%self.patt.22b
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @Simple5(constants.%T) {
toolchain/check/testdata/interface/default_fn.carbon
Vendored
+8 -8
View File
@@ -37,7 +37,7 @@ class C {
// CHECK:STDOUT: %Self.as_type.0fa: type = facet_access_type %Self.4e9 [symbolic]
// CHECK:STDOUT: %pattern_type.492: type = pattern_type %Self.as_type.0fa [symbolic]
// CHECK:STDOUT: %self.param_patt.55d: %pattern_type.492 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.bd2: %pattern_type.492 = at_binding_pattern self, %self.param_patt.55d [symbolic]
// CHECK:STDOUT: %self.patt.ce2: %pattern_type.492 = wrapper_binding_pattern self, %self.param_patt.55d [symbolic]
// CHECK:STDOUT: %I.WithSelf.F.type.933: type = fn_type @I.WithSelf.F, @I.WithSelf(%Self.4e9) [symbolic]
// CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete]
// CHECK:STDOUT: %I.WithSelf.F.02a: %I.WithSelf.F.type.933 = struct_value () [symbolic]
@@ -47,13 +47,13 @@ class C {
// CHECK:STDOUT: %I.impl_witness: <witness> = impl_witness @C.as.I.impl.%I.impl_witness_table [concrete]
// CHECK:STDOUT: %pattern_type.98b: type = pattern_type %C [concrete]
// CHECK:STDOUT: %self.param_patt.303: %pattern_type.98b = value_param_pattern [concrete]
// CHECK:STDOUT: %self.patt.49a718.1: %pattern_type.98b = at_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %self.patt.36a3f7.1: %pattern_type.98b = wrapper_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %C.as.I.impl.F.type: type = fn_type @C.as.I.impl.F [concrete]
// CHECK:STDOUT: %C.as.I.impl.F: %C.as.I.impl.F.type = struct_value () [concrete]
// CHECK:STDOUT: %I.facet: %I.type = facet_value %C, (%I.impl_witness) [concrete]
// CHECK:STDOUT: %I.WithSelf.F.type.684: type = fn_type @I.WithSelf.F, @I.WithSelf(%I.facet) [concrete]
// CHECK:STDOUT: %I.WithSelf.F.ee1: %I.WithSelf.F.type.684 = struct_value () [concrete]
// CHECK:STDOUT: %self.patt.49a718.2: %pattern_type.98b = at_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %self.patt.36a3f7.2: %pattern_type.98b = wrapper_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete]
// CHECK:STDOUT: %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete]
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %Self.as_type.0fa [symbolic]
@@ -92,7 +92,7 @@ class C {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %I.WithSelf.F.decl: @I.WithSelf.%I.WithSelf.F.type (%I.WithSelf.F.type.933) = fn_decl @I.WithSelf.F [symbolic = @I.WithSelf.%I.WithSelf.F (constants.%I.WithSelf.F.02a)] {
// CHECK:STDOUT: %self.param_patt.loc18_17.1: @I.WithSelf.F.%pattern_type (%pattern_type.492) = value_param_pattern [symbolic = %self.param_patt.loc18_17.2 (constants.%self.param_patt.55d)]
// CHECK:STDOUT: %self.patt.loc18_17.1: @I.WithSelf.F.%pattern_type (%pattern_type.492) = at_binding_pattern self, %self.param_patt.loc18_17.1 [symbolic = %self.patt.loc18_17.2 (constants.%self.patt.bd2)]
// CHECK:STDOUT: %self.patt.loc18_17.1: @I.WithSelf.F.%pattern_type (%pattern_type.492) = wrapper_binding_pattern self, %self.param_patt.loc18_17.1 [symbolic = %self.patt.loc18_17.2 (constants.%self.patt.ce2)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @I.WithSelf.F.%Self.as_type.loc18_17.1 (%Self.as_type.0fa) = value_param call_param0
// CHECK:STDOUT: %.loc18_17.1: type = splice_block %.loc18_17.2 [symbolic = %Self.as_type.loc18_17.1 (constants.%Self.as_type.0fa)] {
@@ -119,7 +119,7 @@ class C {
// CHECK:STDOUT: impl @C.as.I.impl: %C.ref as %I.ref {
// CHECK:STDOUT: %C.as.I.impl.F.decl: %C.as.I.impl.F.type = fn_decl @C.as.I.impl.F [concrete = constants.%C.as.I.impl.F] {
// CHECK:STDOUT: %self.param_patt: %pattern_type.98b = value_param_pattern [concrete = constants.%self.param_patt.303]
// CHECK:STDOUT: %self.patt: %pattern_type.98b = at_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.49a718.1]
// CHECK:STDOUT: %self.patt: %pattern_type.98b = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.36a3f7.1]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: %C = value_param call_param0
// CHECK:STDOUT: %Self.ref: type = name_ref Self, @C.as.I.impl.%C.ref [concrete = constants.%C]
@@ -155,7 +155,7 @@ class C {
// CHECK:STDOUT: %Self.as_type.loc18_17.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc18_17.1 (constants.%Self.as_type.0fa)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc18_17.1 [symbolic = %pattern_type (constants.%pattern_type.492)]
// CHECK:STDOUT: %self.param_patt.loc18_17.2: @I.WithSelf.F.%pattern_type (%pattern_type.492) = value_param_pattern [symbolic = %self.param_patt.loc18_17.2 (constants.%self.param_patt.55d)]
// CHECK:STDOUT: %self.patt.loc18_17.2: @I.WithSelf.F.%pattern_type (%pattern_type.492) = at_binding_pattern self, %self.param_patt.loc18_17.2 [symbolic = %self.patt.loc18_17.2 (constants.%self.patt.bd2)]
// CHECK:STDOUT: %self.patt.loc18_17.2: @I.WithSelf.F.%pattern_type (%pattern_type.492) = wrapper_binding_pattern self, %self.param_patt.loc18_17.2 [symbolic = %self.patt.loc18_17.2 (constants.%self.patt.ce2)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %Self.as_type.loc18_17.1 [symbolic = %require_complete (constants.%require_complete)]
@@ -210,7 +210,7 @@ class C {
// CHECK:STDOUT: %Self.as_type.loc18_17.1 => constants.%Self.as_type.0fa
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.492
// CHECK:STDOUT: %self.param_patt.loc18_17.2 => constants.%self.param_patt.55d
// CHECK:STDOUT: %self.patt.loc18_17.2 => constants.%self.patt.bd2
// CHECK:STDOUT: %self.patt.loc18_17.2 => constants.%self.patt.ce2
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @I.WithSelf(constants.%I.facet) {
@@ -225,6 +225,6 @@ class C {
// CHECK:STDOUT: %Self.as_type.loc18_17.1 => constants.%C
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.98b
// CHECK:STDOUT: %self.param_patt.loc18_17.2 => constants.%self.param_patt.303
// CHECK:STDOUT: %self.patt.loc18_17.2 => constants.%self.patt.49a718.2
// CHECK:STDOUT: %self.patt.loc18_17.2 => constants.%self.patt.36a3f7.2
// CHECK:STDOUT: }
// CHECK:STDOUT:
toolchain/check/testdata/interface/export_name.carbon
Vendored
+2 -2
View File
@@ -106,7 +106,7 @@ fn UseEmpty(unused i: I) {}
// CHECK:STDOUT: %Self: %I.type = symbolic_binding Self, 0 [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %I.type [concrete]
// CHECK:STDOUT: %i.param_patt: %pattern_type = value_param_pattern [concrete]
// CHECK:STDOUT: %i.patt: %pattern_type = at_binding_pattern i, %i.param_patt [concrete]
// CHECK:STDOUT: %i.patt: %pattern_type = wrapper_binding_pattern i, %i.param_patt [concrete]
// CHECK:STDOUT: %UseEmpty.type: type = fn_type @UseEmpty [concrete]
// CHECK:STDOUT: %UseEmpty: %UseEmpty.type = struct_value () [concrete]
// CHECK:STDOUT: }
@@ -124,7 +124,7 @@ fn UseEmpty(unused i: I) {}
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %UseEmpty.decl: %UseEmpty.type = fn_decl @UseEmpty [concrete = constants.%UseEmpty] {
// CHECK:STDOUT: %i.param_patt: %pattern_type = value_param_pattern [concrete = constants.%i.param_patt]
// CHECK:STDOUT: %i.patt: %pattern_type = at_binding_pattern i, %i.param_patt [concrete = constants.%i.patt]
// CHECK:STDOUT: %i.patt: %pattern_type = wrapper_binding_pattern i, %i.param_patt [concrete = constants.%i.patt]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: %I.type = value_param call_param0
// CHECK:STDOUT: %I.ref: type = name_ref I, imports.%Main.I [concrete = constants.%I.type]
toolchain/check/testdata/interface/fail_assoc_const_alias.carbon
Vendored
+1 -1
View File
@@ -173,7 +173,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt: %pattern_type = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = at_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = wrapper_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %C.WithSelf.F.type: type = fn_type @C.WithSelf.F, @C.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete]
// CHECK:STDOUT: %C.WithSelf.F: %C.WithSelf.F.type = struct_value () [symbolic]
toolchain/check/testdata/interface/fail_assoc_fn_invalid_use.carbon
Vendored
+3 -3
View File
@@ -37,7 +37,7 @@ fn Use(generic T: I) {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type.c60: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt: %pattern_type.c60 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type.c60 = at_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type.c60 = wrapper_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %I.WithSelf.F.type.dcc: type = fn_type @I.WithSelf.F, @I.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %I.WithSelf.F.ec6: %I.WithSelf.F.type.dcc = struct_value () [symbolic]
// CHECK:STDOUT: %I.assoc_type: type = assoc_entity_type @I [concrete]
@@ -82,7 +82,7 @@ fn Use(generic T: I) {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %I.WithSelf.F.decl: @I.WithSelf.%I.WithSelf.F.type (%I.WithSelf.F.type.dcc) = fn_decl @I.WithSelf.F [symbolic = @I.WithSelf.%I.WithSelf.F (constants.%I.WithSelf.F.ec6)] {
// CHECK:STDOUT: %self.param_patt.loc5_8.1: @I.WithSelf.F.%pattern_type (%pattern_type.c60) = value_param_pattern [symbolic = %self.param_patt.loc5_8.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc5_8.1: @I.WithSelf.F.%pattern_type (%pattern_type.c60) = at_binding_pattern self, %self.param_patt.loc5_8.1 [symbolic = %self.patt.loc5_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc5_8.1: @I.WithSelf.F.%pattern_type (%pattern_type.c60) = wrapper_binding_pattern self, %self.param_patt.loc5_8.1 [symbolic = %self.patt.loc5_8.2 (constants.%self.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @I.WithSelf.F.%Self.as_type.loc5_8.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc5_8.1: type = splice_block %.loc5_8.2 [symbolic = %Self.as_type.loc5_8.1 (constants.%Self.as_type)] {
@@ -107,7 +107,7 @@ fn Use(generic T: I) {
// CHECK:STDOUT: %Self.as_type.loc5_8.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc5_8.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc5_8.1 [symbolic = %pattern_type (constants.%pattern_type.c60)]
// CHECK:STDOUT: %self.param_patt.loc5_8.2: @I.WithSelf.F.%pattern_type (%pattern_type.c60) = value_param_pattern [symbolic = %self.param_patt.loc5_8.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc5_8.2: @I.WithSelf.F.%pattern_type (%pattern_type.c60) = at_binding_pattern self, %self.param_patt.loc5_8.2 [symbolic = %self.patt.loc5_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc5_8.2: @I.WithSelf.F.%pattern_type (%pattern_type.c60) = wrapper_binding_pattern self, %self.param_patt.loc5_8.2 [symbolic = %self.patt.loc5_8.2 (constants.%self.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @I.WithSelf.F.%Self.as_type.loc5_8.1 (%Self.as_type));
// CHECK:STDOUT: }
toolchain/check/testdata/interface/fail_duplicate.carbon
Vendored
+3 -3
View File
@@ -143,7 +143,7 @@ interface Class { }
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self.3ce02d.2 [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt: %pattern_type = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = at_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = wrapper_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %Interface.WithSelf.F.type: type = fn_type @Interface.WithSelf.F, @Interface.WithSelf.loc13(%Self.3ce02d.2) [symbolic]
// CHECK:STDOUT: %Interface.WithSelf.F: %Interface.WithSelf.F.type = struct_value () [symbolic]
// CHECK:STDOUT: %Interface.assoc_type: type = assoc_entity_type @Interface.loc13 [concrete]
@@ -176,7 +176,7 @@ interface Class { }
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %Interface.WithSelf.F.decl: @Interface.WithSelf.loc13.%Interface.WithSelf.F.type (%Interface.WithSelf.F.type) = fn_decl @Interface.WithSelf.F [symbolic = @Interface.WithSelf.loc13.%Interface.WithSelf.F (constants.%Interface.WithSelf.F)] {
// CHECK:STDOUT: %self.param_patt.loc14_8.1: @Interface.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc14_8.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc14_8.1: @Interface.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc14_8.1 [symbolic = %self.patt.loc14_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc14_8.1: @Interface.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc14_8.1 [symbolic = %self.patt.loc14_8.2 (constants.%self.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @Interface.WithSelf.F.%Self.as_type.loc14_8.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc14_8.1: type = splice_block %.loc14_8.2 [symbolic = %Self.as_type.loc14_8.1 (constants.%Self.as_type)] {
@@ -201,7 +201,7 @@ interface Class { }
// CHECK:STDOUT: %Self.as_type.loc14_8.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc14_8.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc14_8.1 [symbolic = %pattern_type (constants.%pattern_type)]
// CHECK:STDOUT: %self.param_patt.loc14_8.2: @Interface.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc14_8.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc14_8.2: @Interface.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc14_8.2 [symbolic = %self.patt.loc14_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc14_8.2: @Interface.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc14_8.2 [symbolic = %self.patt.loc14_8.2 (constants.%self.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @Interface.WithSelf.F.%Self.as_type.loc14_8.1 (%Self.as_type));
// CHECK:STDOUT: }
toolchain/check/testdata/interface/fail_modifiers.carbon
Vendored
+6 -6
View File
@@ -170,7 +170,7 @@ interface I {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt: %pattern_type = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = at_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = wrapper_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %I.WithSelf.F.type: type = fn_type @I.WithSelf.F, @I.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %I.WithSelf.F: %I.WithSelf.F.type = struct_value () [symbolic]
// CHECK:STDOUT: %I.assoc_type: type = assoc_entity_type @I [concrete]
@@ -191,7 +191,7 @@ interface I {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %I.WithSelf.F.decl: @I.WithSelf.%I.WithSelf.F.type (%I.WithSelf.F.type) = fn_decl @I.WithSelf.F [symbolic = @I.WithSelf.%I.WithSelf.F (constants.%I.WithSelf.F)] {
// CHECK:STDOUT: %self.param_patt.loc9_16.1: @I.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc9_16.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc9_16.1: @I.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc9_16.1 [symbolic = %self.patt.loc9_16.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc9_16.1: @I.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc9_16.1 [symbolic = %self.patt.loc9_16.2 (constants.%self.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @I.WithSelf.F.%Self.as_type.loc9_16.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc9_16.1: type = splice_block %.loc9_16.2 [symbolic = %Self.as_type.loc9_16.1 (constants.%Self.as_type)] {
@@ -216,7 +216,7 @@ interface I {
// CHECK:STDOUT: %Self.as_type.loc9_16.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc9_16.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc9_16.1 [symbolic = %pattern_type (constants.%pattern_type)]
// CHECK:STDOUT: %self.param_patt.loc9_16.2: @I.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc9_16.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc9_16.2: @I.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc9_16.2 [symbolic = %self.patt.loc9_16.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc9_16.2: @I.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc9_16.2 [symbolic = %self.patt.loc9_16.2 (constants.%self.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @I.WithSelf.F.%Self.as_type.loc9_16.1 (%Self.as_type));
// CHECK:STDOUT: }
@@ -239,7 +239,7 @@ interface I {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt: %pattern_type = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = at_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = wrapper_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %I.WithSelf.F.type: type = fn_type @I.WithSelf.F, @I.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %I.WithSelf.F: %I.WithSelf.F.type = struct_value () [symbolic]
// CHECK:STDOUT: %I.assoc_type: type = assoc_entity_type @I [concrete]
@@ -260,7 +260,7 @@ interface I {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %I.WithSelf.F.decl: @I.WithSelf.%I.WithSelf.F.type (%I.WithSelf.F.type) = fn_decl @I.WithSelf.F [symbolic = @I.WithSelf.%I.WithSelf.F (constants.%I.WithSelf.F)] {
// CHECK:STDOUT: %self.param_patt.loc9_18.1: @I.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc9_18.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc9_18.1: @I.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc9_18.1 [symbolic = %self.patt.loc9_18.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc9_18.1: @I.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc9_18.1 [symbolic = %self.patt.loc9_18.2 (constants.%self.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @I.WithSelf.F.%Self.as_type.loc9_18.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc9_18.1: type = splice_block %.loc9_18.2 [symbolic = %Self.as_type.loc9_18.1 (constants.%Self.as_type)] {
@@ -285,7 +285,7 @@ interface I {
// CHECK:STDOUT: %Self.as_type.loc9_18.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc9_18.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc9_18.1 [symbolic = %pattern_type (constants.%pattern_type)]
// CHECK:STDOUT: %self.param_patt.loc9_18.2: @I.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc9_18.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc9_18.2: @I.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc9_18.2 [symbolic = %self.patt.loc9_18.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc9_18.2: @I.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc9_18.2 [symbolic = %self.patt.loc9_18.2 (constants.%self.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @I.WithSelf.F.%Self.as_type.loc9_18.1 (%Self.as_type));
// CHECK:STDOUT: }
toolchain/check/testdata/interface/generic_method.carbon
Vendored
+26 -26
View File
@@ -102,7 +102,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.8f6: type = ptr_type %U.4e7 [symbolic]
// CHECK:STDOUT: %pattern_type.986: type = pattern_type %ptr.8f6 [symbolic]
// CHECK:STDOUT: %u.param_patt.a01: %pattern_type.986 = value_param_pattern [symbolic]
// CHECK:STDOUT: %u.patt.c78: %pattern_type.986 = at_binding_pattern u, %u.param_patt.a01 [symbolic]
// CHECK:STDOUT: %u.patt.d42: %pattern_type.986 = wrapper_binding_pattern u, %u.param_patt.a01 [symbolic]
// CHECK:STDOUT: %tuple.type.76f: type = tuple_type (type, %A.type.acd, type) [symbolic]
// CHECK:STDOUT: %tuple.0f4: %tuple.type.76f = tuple_value (%T.67d, %Self.49a, %ptr.8f6) [symbolic]
// CHECK:STDOUT: %Self.as_type.763: type = facet_access_type %Self.49a [symbolic]
@@ -133,7 +133,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.e8f8f9.1: type = ptr_type %U.67d [symbolic]
// CHECK:STDOUT: %pattern_type.4f4b84.1: type = pattern_type %ptr.e8f8f9.1 [symbolic]
// CHECK:STDOUT: %u.param_patt.58b: %pattern_type.4f4b84.1 = value_param_pattern [symbolic]
// CHECK:STDOUT: %u.patt.542: %pattern_type.4f4b84.1 = at_binding_pattern u, %u.param_patt.58b [symbolic]
// CHECK:STDOUT: %u.patt.60f: %pattern_type.4f4b84.1 = wrapper_binding_pattern u, %u.param_patt.58b [symbolic]
// CHECK:STDOUT: %tuple.type.ff9: type = tuple_type (type, type, type) [concrete]
// CHECK:STDOUT: %tuple.f57: %tuple.type.ff9 = tuple_value (%X, %Y, %ptr.e8f8f9.1) [symbolic]
// CHECK:STDOUT: %tuple.type.316: type = tuple_type (%X, %Y, %ptr.e8f8f9.1) [symbolic]
@@ -181,7 +181,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.415: type = ptr_type %Z [concrete]
// CHECK:STDOUT: %pattern_type.b4b: type = pattern_type %ptr.415 [concrete]
// CHECK:STDOUT: %u.param_patt.5c1: %pattern_type.b4b = value_param_pattern [concrete]
// CHECK:STDOUT: %u.patt.5b6: %pattern_type.b4b = at_binding_pattern u, %u.param_patt.5c1 [concrete]
// CHECK:STDOUT: %u.patt.d7f: %pattern_type.b4b = wrapper_binding_pattern u, %u.param_patt.5c1 [concrete]
// CHECK:STDOUT: %tuple.8e4: %tuple.type.ff9 = tuple_value (%X, %Y, %ptr.415) [concrete]
// CHECK:STDOUT: %tuple.type.2cd: type = tuple_type (%X, %Y, %ptr.415) [concrete]
// CHECK:STDOUT: %.5bc: Core.Form = init_form %tuple.type.2cd [concrete]
@@ -348,7 +348,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %A.WithSelf.F.decl: @A.WithSelf.%A.WithSelf.F.type (%A.WithSelf.F.type.08d) = fn_decl @A.WithSelf.F [symbolic = @A.WithSelf.%A.WithSelf.F (constants.%A.WithSelf.F.3fa)] {
// CHECK:STDOUT: %U.patt.loc6_17.1: %pattern_type.98f = symbolic_binding_pattern U, 2 [symbolic = %U.patt.loc6_17.2 (constants.%U.patt.b22)]
// CHECK:STDOUT: %u.param_patt.loc6_26.1: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.986) = value_param_pattern [symbolic = %u.param_patt.loc6_26.2 (constants.%u.param_patt.a01)]
// CHECK:STDOUT: %u.patt.loc6_26.1: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.986) = at_binding_pattern u, %u.param_patt.loc6_26.1 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.c78)]
// CHECK:STDOUT: %u.patt.loc6_26.1: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.986) = wrapper_binding_pattern u, %u.param_patt.loc6_26.1 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.d42)]
// CHECK:STDOUT: %return.param_patt.loc6_47.1: @A.WithSelf.F.%pattern_type.loc6_47 (%pattern_type.0d7) = out_param_pattern [symbolic = %return.param_patt.loc6_47.2 (constants.%return.param_patt.9d3)]
// CHECK:STDOUT: %return.patt.loc6_32.1: @A.WithSelf.F.%pattern_type.loc6_47 (%pattern_type.0d7) = return_slot_pattern %return.param_patt.loc6_47.1, %.loc6_47.4 [symbolic = %return.patt.loc6_32.2 (constants.%return.patt.8aa)]
// CHECK:STDOUT: } {
@@ -395,7 +395,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %Y.as.A.impl.F.decl: %Y.as.A.impl.F.type = fn_decl @Y.as.A.impl.F [concrete = constants.%Y.as.A.impl.F] {
// CHECK:STDOUT: %U.patt.loc16_17.1: %pattern_type.98f = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc16_17.2 (constants.%U.patt.d47)]
// CHECK:STDOUT: %u.param_patt.loc16_26.1: @Y.as.A.impl.F.%pattern_type.loc16_26 (%pattern_type.4f4b84.1) = value_param_pattern [symbolic = %u.param_patt.loc16_26.2 (constants.%u.param_patt.58b)]
// CHECK:STDOUT: %u.patt.loc16_26.1: @Y.as.A.impl.F.%pattern_type.loc16_26 (%pattern_type.4f4b84.1) = at_binding_pattern u, %u.param_patt.loc16_26.1 [symbolic = %u.patt.loc16_26.2 (constants.%u.patt.542)]
// CHECK:STDOUT: %u.patt.loc16_26.1: @Y.as.A.impl.F.%pattern_type.loc16_26 (%pattern_type.4f4b84.1) = wrapper_binding_pattern u, %u.param_patt.loc16_26.1 [symbolic = %u.patt.loc16_26.2 (constants.%u.patt.60f)]
// CHECK:STDOUT: %return.param_patt.loc16_44.1: @Y.as.A.impl.F.%pattern_type.loc16_44 (%pattern_type.178) = out_param_pattern [symbolic = %return.param_patt.loc16_44.2 (constants.%return.param_patt.b96)]
// CHECK:STDOUT: %return.patt.loc16_32.1: @Y.as.A.impl.F.%pattern_type.loc16_44 (%pattern_type.178) = return_slot_pattern %return.param_patt.loc16_44.1, %.loc16_44.3 [symbolic = %return.patt.loc16_32.2 (constants.%return.patt.f2f)]
// CHECK:STDOUT: } {
@@ -461,7 +461,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc6_29.1: type = ptr_type %U.loc6_17.1 [symbolic = %ptr.loc6_29.1 (constants.%ptr.8f6)]
// CHECK:STDOUT: %pattern_type.loc6_26: type = pattern_type %ptr.loc6_29.1 [symbolic = %pattern_type.loc6_26 (constants.%pattern_type.986)]
// CHECK:STDOUT: %u.param_patt.loc6_26.2: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.986) = value_param_pattern [symbolic = %u.param_patt.loc6_26.2 (constants.%u.param_patt.a01)]
// CHECK:STDOUT: %u.patt.loc6_26.2: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.986) = at_binding_pattern u, %u.param_patt.loc6_26.2 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.c78)]
// CHECK:STDOUT: %u.patt.loc6_26.2: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.986) = wrapper_binding_pattern u, %u.param_patt.loc6_26.2 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.d42)]
// CHECK:STDOUT: %T: type = symbolic_binding T, 0 [symbolic = %T (constants.%T.67d)]
// CHECK:STDOUT: %A.type: type = facet_type <@A, @A(%T)> [symbolic = %A.type (constants.%A.type.acd)]
// CHECK:STDOUT: %Self: @A.WithSelf.F.%A.type (%A.type.acd) = symbolic_binding Self, 1 [symbolic = %Self (constants.%Self.49a)]
@@ -483,7 +483,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc16_29.1: type = ptr_type %U.loc16_17.1 [symbolic = %ptr.loc16_29.1 (constants.%ptr.e8f8f9.1)]
// CHECK:STDOUT: %pattern_type.loc16_26: type = pattern_type %ptr.loc16_29.1 [symbolic = %pattern_type.loc16_26 (constants.%pattern_type.4f4b84.1)]
// CHECK:STDOUT: %u.param_patt.loc16_26.2: @Y.as.A.impl.F.%pattern_type.loc16_26 (%pattern_type.4f4b84.1) = value_param_pattern [symbolic = %u.param_patt.loc16_26.2 (constants.%u.param_patt.58b)]
// CHECK:STDOUT: %u.patt.loc16_26.2: @Y.as.A.impl.F.%pattern_type.loc16_26 (%pattern_type.4f4b84.1) = at_binding_pattern u, %u.param_patt.loc16_26.2 [symbolic = %u.patt.loc16_26.2 (constants.%u.patt.542)]
// CHECK:STDOUT: %u.patt.loc16_26.2: @Y.as.A.impl.F.%pattern_type.loc16_26 (%pattern_type.4f4b84.1) = wrapper_binding_pattern u, %u.param_patt.loc16_26.2 [symbolic = %u.patt.loc16_26.2 (constants.%u.patt.60f)]
// CHECK:STDOUT: %tuple: %tuple.type.ff9 = tuple_value (constants.%X, constants.%Y, %ptr.loc16_29.1) [symbolic = %tuple (constants.%tuple.f57)]
// CHECK:STDOUT: %tuple.type.loc16: type = tuple_type (constants.%X, constants.%Y, %ptr.loc16_29.1) [symbolic = %tuple.type.loc16 (constants.%tuple.type.316)]
// CHECK:STDOUT: %.loc16_44.1: Core.Form = init_form %tuple.type.loc16 [symbolic = %.loc16_44.1 (constants.%.3c1)]
@@ -688,7 +688,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc6_29.1 => constants.%ptr.8f6
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.986
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.a01
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.c78
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.d42
// CHECK:STDOUT: %T => constants.%T.67d
// CHECK:STDOUT: %A.type => constants.%A.type.acd
// CHECK:STDOUT: %Self => constants.%Self.49a
@@ -728,7 +728,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc16_29.1 => constants.%ptr.e8f8f9.1
// CHECK:STDOUT: %pattern_type.loc16_26 => constants.%pattern_type.4f4b84.1
// CHECK:STDOUT: %u.param_patt.loc16_26.2 => constants.%u.param_patt.58b
// CHECK:STDOUT: %u.patt.loc16_26.2 => constants.%u.patt.542
// CHECK:STDOUT: %u.patt.loc16_26.2 => constants.%u.patt.60f
// CHECK:STDOUT: %tuple => constants.%tuple.f57
// CHECK:STDOUT: %tuple.type.loc16 => constants.%tuple.type.316
// CHECK:STDOUT: %.loc16_44.1 => constants.%.3c1
@@ -754,7 +754,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc6_29.1 => constants.%ptr.e8f8f9.1
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.4f4b84.1
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.58b
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.542
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.60f
// CHECK:STDOUT: %T => constants.%X
// CHECK:STDOUT: %A.type => constants.%A.type.df0
// CHECK:STDOUT: %Self => constants.%A.facet.d1f
@@ -774,7 +774,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc16_29.1 => constants.%ptr.415
// CHECK:STDOUT: %pattern_type.loc16_26 => constants.%pattern_type.b4b
// CHECK:STDOUT: %u.param_patt.loc16_26.2 => constants.%u.param_patt.5c1
// CHECK:STDOUT: %u.patt.loc16_26.2 => constants.%u.patt.5b6
// CHECK:STDOUT: %u.patt.loc16_26.2 => constants.%u.patt.d7f
// CHECK:STDOUT: %tuple => constants.%tuple.8e4
// CHECK:STDOUT: %tuple.type.loc16 => constants.%tuple.type.2cd
// CHECK:STDOUT: %.loc16_44.1 => constants.%.5bc
@@ -828,7 +828,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc6_29.1 => constants.%ptr.415
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.b4b
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.5c1
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.5b6
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.d7f
// CHECK:STDOUT: %T => constants.%X
// CHECK:STDOUT: %A.type => constants.%A.type.df0
// CHECK:STDOUT: %Self => constants.%A.facet.318
@@ -870,7 +870,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %ptr.loc6_29.1 => constants.%ptr.415
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.b4b
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.5c1
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.5b6
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.d7f
// CHECK:STDOUT: %T => constants.%X
// CHECK:STDOUT: %A.type => constants.%A.type.df0
// CHECK:STDOUT: %Self => constants.%A.facet.d1f
@@ -901,7 +901,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.4e7: type = symbolic_binding U, 2 [symbolic]
// CHECK:STDOUT: %pattern_type.62e: type = pattern_type %U.4e7 [symbolic]
// CHECK:STDOUT: %u.param_patt.6ef: %pattern_type.62e = value_param_pattern [symbolic]
// CHECK:STDOUT: %u.patt.8af: %pattern_type.62e = at_binding_pattern u, %u.param_patt.6ef [symbolic]
// CHECK:STDOUT: %u.patt.9b1: %pattern_type.62e = wrapper_binding_pattern u, %u.param_patt.6ef [symbolic]
// CHECK:STDOUT: %tuple.type.76f: type = tuple_type (type, %A.type.acd, type) [symbolic]
// CHECK:STDOUT: %tuple.55a: %tuple.type.76f = tuple_value (%T.67d, %Self.49a, %U.4e7) [symbolic]
// CHECK:STDOUT: %Self.as_type.763: type = facet_access_type %Self.49a [symbolic]
@@ -942,7 +942,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.ce4: type = symbolic_binding U, 3 [symbolic]
// CHECK:STDOUT: %pattern_type.e4a: type = pattern_type %U.ce4 [symbolic]
// CHECK:STDOUT: %u.param_patt.afe: %pattern_type.e4a = value_param_pattern [symbolic]
// CHECK:STDOUT: %u.patt.e63: %pattern_type.e4a = at_binding_pattern u, %u.param_patt.afe [symbolic]
// CHECK:STDOUT: %u.patt.60c: %pattern_type.e4a = wrapper_binding_pattern u, %u.param_patt.afe [symbolic]
// CHECK:STDOUT: %tuple.type.11f: type = tuple_type (type, %tuple.type.24b, type) [concrete]
// CHECK:STDOUT: %tuple.117: %tuple.type.11f = tuple_value (%W, %tuple.4b9, %U.ce4) [symbolic]
// CHECK:STDOUT: %tuple.type.897: type = tuple_type (%W, %tuple.type.a5e, %U.ce4) [symbolic]
@@ -982,7 +982,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %empty_struct: %empty_struct_type = struct_value () [concrete]
// CHECK:STDOUT: %pattern_type.34e: type = pattern_type %Z [concrete]
// CHECK:STDOUT: %u.param_patt.a3e: %pattern_type.34e = value_param_pattern [concrete]
// CHECK:STDOUT: %u.patt.a51: %pattern_type.34e = at_binding_pattern u, %u.param_patt.a3e [concrete]
// CHECK:STDOUT: %u.patt.5d3: %pattern_type.34e = wrapper_binding_pattern u, %u.param_patt.a3e [concrete]
// CHECK:STDOUT: %tuple.1a1: %tuple.type.11f = tuple_value (%X, %tuple.8db, %Z) [concrete]
// CHECK:STDOUT: %tuple.type.d40: type = tuple_type (%X, %tuple.type.59f, %Z) [concrete]
// CHECK:STDOUT: %.1a9: Core.Form = init_form %tuple.type.d40 [concrete]
@@ -1159,7 +1159,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %A.WithSelf.F.decl: @A.WithSelf.%A.WithSelf.F.type (%A.WithSelf.F.type.08d) = fn_decl @A.WithSelf.F [symbolic = @A.WithSelf.%A.WithSelf.F (constants.%A.WithSelf.F.3fa)] {
// CHECK:STDOUT: %U.patt.loc6_17.1: %pattern_type.98f = symbolic_binding_pattern U, 2 [symbolic = %U.patt.loc6_17.2 (constants.%U.patt.b22)]
// CHECK:STDOUT: %u.param_patt.loc6_26.1: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.62e) = value_param_pattern [symbolic = %u.param_patt.loc6_26.2 (constants.%u.param_patt.6ef)]
// CHECK:STDOUT: %u.patt.loc6_26.1: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.62e) = at_binding_pattern u, %u.param_patt.loc6_26.1 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.8af)]
// CHECK:STDOUT: %u.patt.loc6_26.1: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.62e) = wrapper_binding_pattern u, %u.param_patt.loc6_26.1 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.9b1)]
// CHECK:STDOUT: %return.param_patt.loc6_45.1: @A.WithSelf.F.%pattern_type.loc6_45 (%pattern_type.d6c) = out_param_pattern [symbolic = %return.param_patt.loc6_45.2 (constants.%return.param_patt.52a)]
// CHECK:STDOUT: %return.patt.loc6_31.1: @A.WithSelf.F.%pattern_type.loc6_45 (%pattern_type.d6c) = return_slot_pattern %return.param_patt.loc6_45.1, %.loc6_45.4 [symbolic = %return.patt.loc6_31.2 (constants.%return.patt.808)]
// CHECK:STDOUT: } {
@@ -1221,7 +1221,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %tuple.type.as.A.impl.F.decl: @tuple.type.as.A.impl.%tuple.type.as.A.impl.F.type (%tuple.type.as.A.impl.F.type.44a) = fn_decl @tuple.type.as.A.impl.F [symbolic = @tuple.type.as.A.impl.%tuple.type.as.A.impl.F (constants.%tuple.type.as.A.impl.F.742)] {
// CHECK:STDOUT: %U.patt.loc17_17.1: %pattern_type.98f = symbolic_binding_pattern U, 3 [symbolic = %U.patt.loc17_17.2 (constants.%U.patt.637)]
// CHECK:STDOUT: %u.param_patt.loc17_26.1: @tuple.type.as.A.impl.F.%pattern_type.loc17_26 (%pattern_type.e4a) = value_param_pattern [symbolic = %u.param_patt.loc17_26.2 (constants.%u.param_patt.afe)]
// CHECK:STDOUT: %u.patt.loc17_26.1: @tuple.type.as.A.impl.F.%pattern_type.loc17_26 (%pattern_type.e4a) = at_binding_pattern u, %u.param_patt.loc17_26.1 [symbolic = %u.patt.loc17_26.2 (constants.%u.patt.e63)]
// CHECK:STDOUT: %u.patt.loc17_26.1: @tuple.type.as.A.impl.F.%pattern_type.loc17_26 (%pattern_type.e4a) = wrapper_binding_pattern u, %u.param_patt.loc17_26.1 [symbolic = %u.patt.loc17_26.2 (constants.%u.patt.60c)]
// CHECK:STDOUT: %return.param_patt.loc17_49.1: @tuple.type.as.A.impl.F.%pattern_type.loc17_49 (%pattern_type.5cc) = out_param_pattern [symbolic = %return.param_patt.loc17_49.2 (constants.%return.param_patt.b1c)]
// CHECK:STDOUT: %return.patt.loc17_31.1: @tuple.type.as.A.impl.F.%pattern_type.loc17_49 (%pattern_type.5cc) = return_slot_pattern %return.param_patt.loc17_49.1, %.loc17_49.5 [symbolic = %return.patt.loc17_31.2 (constants.%return.patt.bad9)]
// CHECK:STDOUT: } {
@@ -1295,7 +1295,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc6_17.1: type = symbolic_binding U, 2 [symbolic = %U.loc6_17.1 (constants.%U.4e7)]
// CHECK:STDOUT: %pattern_type.loc6_26: type = pattern_type %U.loc6_17.1 [symbolic = %pattern_type.loc6_26 (constants.%pattern_type.62e)]
// CHECK:STDOUT: %u.param_patt.loc6_26.2: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.62e) = value_param_pattern [symbolic = %u.param_patt.loc6_26.2 (constants.%u.param_patt.6ef)]
// CHECK:STDOUT: %u.patt.loc6_26.2: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.62e) = at_binding_pattern u, %u.param_patt.loc6_26.2 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.8af)]
// CHECK:STDOUT: %u.patt.loc6_26.2: @A.WithSelf.F.%pattern_type.loc6_26 (%pattern_type.62e) = wrapper_binding_pattern u, %u.param_patt.loc6_26.2 [symbolic = %u.patt.loc6_26.2 (constants.%u.patt.9b1)]
// CHECK:STDOUT: %T: type = symbolic_binding T, 0 [symbolic = %T (constants.%T.67d)]
// CHECK:STDOUT: %A.type: type = facet_type <@A, @A(%T)> [symbolic = %A.type (constants.%A.type.acd)]
// CHECK:STDOUT: %Self: @A.WithSelf.F.%A.type (%A.type.acd) = symbolic_binding Self, 1 [symbolic = %Self (constants.%Self.49a)]
@@ -1316,7 +1316,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc17_17.1: type = symbolic_binding U, 3 [symbolic = %U.loc17_17.1 (constants.%U.ce4)]
// CHECK:STDOUT: %pattern_type.loc17_26: type = pattern_type %U.loc17_17.1 [symbolic = %pattern_type.loc17_26 (constants.%pattern_type.e4a)]
// CHECK:STDOUT: %u.param_patt.loc17_26.2: @tuple.type.as.A.impl.F.%pattern_type.loc17_26 (%pattern_type.e4a) = value_param_pattern [symbolic = %u.param_patt.loc17_26.2 (constants.%u.param_patt.afe)]
// CHECK:STDOUT: %u.patt.loc17_26.2: @tuple.type.as.A.impl.F.%pattern_type.loc17_26 (%pattern_type.e4a) = at_binding_pattern u, %u.param_patt.loc17_26.2 [symbolic = %u.patt.loc17_26.2 (constants.%u.patt.e63)]
// CHECK:STDOUT: %u.patt.loc17_26.2: @tuple.type.as.A.impl.F.%pattern_type.loc17_26 (%pattern_type.e4a) = wrapper_binding_pattern u, %u.param_patt.loc17_26.2 [symbolic = %u.patt.loc17_26.2 (constants.%u.patt.60c)]
// CHECK:STDOUT: %W: type = symbolic_binding W, 2 [symbolic = %W (constants.%W)]
// CHECK:STDOUT: %V1: type = symbolic_binding V1, 0 [symbolic = %V1 (constants.%V1)]
// CHECK:STDOUT: %V2: type = symbolic_binding V2, 1 [symbolic = %V2 (constants.%V2)]
@@ -1496,7 +1496,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc6_17.1 => constants.%U.4e7
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.62e
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.6ef
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.8af
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.9b1
// CHECK:STDOUT: %T => constants.%T.67d
// CHECK:STDOUT: %A.type => constants.%A.type.acd
// CHECK:STDOUT: %Self => constants.%Self.49a
@@ -1554,7 +1554,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc17_17.1 => constants.%U.ce4
// CHECK:STDOUT: %pattern_type.loc17_26 => constants.%pattern_type.e4a
// CHECK:STDOUT: %u.param_patt.loc17_26.2 => constants.%u.param_patt.afe
// CHECK:STDOUT: %u.patt.loc17_26.2 => constants.%u.patt.e63
// CHECK:STDOUT: %u.patt.loc17_26.2 => constants.%u.patt.60c
// CHECK:STDOUT: %W => constants.%W
// CHECK:STDOUT: %V1 => constants.%V1
// CHECK:STDOUT: %V2 => constants.%V2
@@ -1591,7 +1591,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc6_17.1 => constants.%U.ce4
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.e4a
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.afe
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.e63
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.60c
// CHECK:STDOUT: %T => constants.%W
// CHECK:STDOUT: %A.type => constants.%A.type.3ad
// CHECK:STDOUT: %Self => constants.%A.facet.de4
@@ -1660,7 +1660,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc17_17.1 => constants.%Z
// CHECK:STDOUT: %pattern_type.loc17_26 => constants.%pattern_type.34e
// CHECK:STDOUT: %u.param_patt.loc17_26.2 => constants.%u.param_patt.a3e
// CHECK:STDOUT: %u.patt.loc17_26.2 => constants.%u.patt.a51
// CHECK:STDOUT: %u.patt.loc17_26.2 => constants.%u.patt.5d3
// CHECK:STDOUT: %W => constants.%X
// CHECK:STDOUT: %V1 => constants.%Y1
// CHECK:STDOUT: %V2 => constants.%Y2
@@ -1713,7 +1713,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc6_17.1 => constants.%Z
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.34e
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.a3e
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.a51
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.5d3
// CHECK:STDOUT: %T => constants.%X
// CHECK:STDOUT: %A.type => constants.%A.type.df0
// CHECK:STDOUT: %Self => constants.%A.facet.318
@@ -1754,7 +1754,7 @@ fn CallIndirect() {
// CHECK:STDOUT: %U.loc6_17.1 => constants.%Z
// CHECK:STDOUT: %pattern_type.loc6_26 => constants.%pattern_type.34e
// CHECK:STDOUT: %u.param_patt.loc6_26.2 => constants.%u.param_patt.a3e
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.a51
// CHECK:STDOUT: %u.patt.loc6_26.2 => constants.%u.patt.5d3
// CHECK:STDOUT: %T => constants.%X
// CHECK:STDOUT: %A.type => constants.%A.type.df0
// CHECK:STDOUT: %Self => constants.%A.facet.89e
toolchain/check/testdata/interface/import.carbon
Vendored
+6 -6
View File
@@ -214,7 +214,7 @@ var f: ForwardDeclared* = &f_ref.f;
// CHECK:STDOUT: %Self.4e8: %Empty.type = symbolic_binding Self, 0 [symbolic]
// CHECK:STDOUT: %pattern_type.894: type = pattern_type %Empty.type [concrete]
// CHECK:STDOUT: %e.param_patt.a16: %pattern_type.894 = value_param_pattern [concrete]
// CHECK:STDOUT: %e.patt.2d7: %pattern_type.894 = at_binding_pattern e, %e.param_patt.a16 [concrete]
// CHECK:STDOUT: %e.patt.639: %pattern_type.894 = wrapper_binding_pattern e, %e.param_patt.a16 [concrete]
// CHECK:STDOUT: %UseEmpty.type: type = fn_type @UseEmpty [concrete]
// CHECK:STDOUT: %UseEmpty: %UseEmpty.type = struct_value () [concrete]
// CHECK:STDOUT: %Basic.type: type = facet_type <@Basic> [concrete]
@@ -223,7 +223,7 @@ var f: ForwardDeclared* = &f_ref.f;
// CHECK:STDOUT: %Basic.WithSelf.F: %Basic.WithSelf.F.type = struct_value () [symbolic]
// CHECK:STDOUT: %pattern_type.7fe: type = pattern_type %Basic.type [concrete]
// CHECK:STDOUT: %e.param_patt.7a3: %pattern_type.7fe = value_param_pattern [concrete]
// CHECK:STDOUT: %e.patt.cd2: %pattern_type.7fe = at_binding_pattern e, %e.param_patt.7a3 [concrete]
// CHECK:STDOUT: %e.patt.8fd: %pattern_type.7fe = wrapper_binding_pattern e, %e.param_patt.7a3 [concrete]
// CHECK:STDOUT: %UseBasic.type: type = fn_type @UseBasic [concrete]
// CHECK:STDOUT: %UseBasic: %UseBasic.type = struct_value () [concrete]
// CHECK:STDOUT: %ForwardDeclared.type: type = facet_type <@ForwardDeclared> [concrete]
@@ -232,7 +232,7 @@ var f: ForwardDeclared* = &f_ref.f;
// CHECK:STDOUT: %ForwardDeclared.WithSelf.F: %ForwardDeclared.WithSelf.F.type = struct_value () [symbolic]
// CHECK:STDOUT: %pattern_type.566: type = pattern_type %ForwardDeclared.type [concrete]
// CHECK:STDOUT: %f.param_patt: %pattern_type.566 = value_param_pattern [concrete]
// CHECK:STDOUT: %f.patt.8a1: %pattern_type.566 = at_binding_pattern f, %f.param_patt [concrete]
// CHECK:STDOUT: %f.patt.6f0: %pattern_type.566 = wrapper_binding_pattern f, %f.param_patt [concrete]
// CHECK:STDOUT: %UseForwardDeclared.type: type = fn_type @UseForwardDeclared [concrete]
// CHECK:STDOUT: %UseForwardDeclared: %UseForwardDeclared.type = struct_value () [concrete]
// CHECK:STDOUT: %Basic.assoc_type: type = assoc_entity_type @Basic [concrete]
@@ -319,7 +319,7 @@ var f: ForwardDeclared* = &f_ref.f;
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %UseEmpty.decl: %UseEmpty.type = fn_decl @UseEmpty [concrete = constants.%UseEmpty] {
// CHECK:STDOUT: %e.param_patt: %pattern_type.894 = value_param_pattern [concrete = constants.%e.param_patt.a16]
// CHECK:STDOUT: %e.patt: %pattern_type.894 = at_binding_pattern e, %e.param_patt [concrete = constants.%e.patt.2d7]
// CHECK:STDOUT: %e.patt: %pattern_type.894 = wrapper_binding_pattern e, %e.param_patt [concrete = constants.%e.patt.639]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %e.param: %Empty.type = value_param call_param0
// CHECK:STDOUT: %Empty.ref: type = name_ref Empty, imports.%Main.Empty [concrete = constants.%Empty.type]
@@ -327,7 +327,7 @@ var f: ForwardDeclared* = &f_ref.f;
// CHECK:STDOUT: }
// CHECK:STDOUT: %UseBasic.decl: %UseBasic.type = fn_decl @UseBasic [concrete = constants.%UseBasic] {
// CHECK:STDOUT: %e.param_patt: %pattern_type.7fe = value_param_pattern [concrete = constants.%e.param_patt.7a3]
// CHECK:STDOUT: %e.patt: %pattern_type.7fe = at_binding_pattern e, %e.param_patt [concrete = constants.%e.patt.cd2]
// CHECK:STDOUT: %e.patt: %pattern_type.7fe = wrapper_binding_pattern e, %e.param_patt [concrete = constants.%e.patt.8fd]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %e.param: %Basic.type = value_param call_param0
// CHECK:STDOUT: %Basic.ref: type = name_ref Basic, imports.%Main.Basic [concrete = constants.%Basic.type]
@@ -335,7 +335,7 @@ var f: ForwardDeclared* = &f_ref.f;
// CHECK:STDOUT: }
// CHECK:STDOUT: %UseForwardDeclared.decl: %UseForwardDeclared.type = fn_decl @UseForwardDeclared [concrete = constants.%UseForwardDeclared] {
// CHECK:STDOUT: %f.param_patt: %pattern_type.566 = value_param_pattern [concrete = constants.%f.param_patt]
// CHECK:STDOUT: %f.patt: %pattern_type.566 = at_binding_pattern f, %f.param_patt [concrete = constants.%f.patt.8a1]
// CHECK:STDOUT: %f.patt: %pattern_type.566 = wrapper_binding_pattern f, %f.param_patt [concrete = constants.%f.patt.6f0]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %f.param: %ForwardDeclared.type = value_param call_param0
// CHECK:STDOUT: %ForwardDeclared.ref: type = name_ref ForwardDeclared, imports.%Main.ForwardDeclared [concrete = constants.%ForwardDeclared.type]
toolchain/check/testdata/interface/import_access.carbon
Vendored
+11 -11
View File
@@ -220,7 +220,7 @@ private interface Redecl {}
// CHECK:STDOUT: %Self: %Def.type = symbolic_binding Self, 0 [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Def.type [concrete]
// CHECK:STDOUT: %i.param_patt: %pattern_type = value_param_pattern [concrete]
// CHECK:STDOUT: %i.patt: %pattern_type = at_binding_pattern i, %i.param_patt [concrete]
// CHECK:STDOUT: %i.patt: %pattern_type = wrapper_binding_pattern i, %i.param_patt [concrete]
// CHECK:STDOUT: %F.type: type = fn_type @F [concrete]
// CHECK:STDOUT: %F: %F.type = struct_value () [concrete]
// CHECK:STDOUT: }
@@ -239,7 +239,7 @@ private interface Redecl {}
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: %pattern_type = value_param_pattern [concrete = constants.%i.param_patt]
// CHECK:STDOUT: %i.patt: %pattern_type = at_binding_pattern i, %i.param_patt [concrete = constants.%i.patt]
// CHECK:STDOUT: %i.patt: %pattern_type = wrapper_binding_pattern i, %i.param_patt [concrete = constants.%i.patt]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: %Def.type = value_param call_param0
// CHECK:STDOUT: %Def.ref: type = name_ref Def, imports.%Test.Def [concrete = constants.%Def.type]
@@ -279,7 +279,7 @@ private interface Redecl {}
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: <error> = value_param_pattern [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = at_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = wrapper_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: <error> = value_param call_param0
// CHECK:STDOUT: %Def.ref: <error> = name_ref Def, <error> [concrete = <error>]
@@ -314,7 +314,7 @@ private interface Redecl {}
// CHECK:STDOUT: %Test.import = import Test
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: <error> = value_param_pattern [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = at_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = wrapper_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: <error> = value_param call_param0
// CHECK:STDOUT: %.1: <error> = splice_block <error> [concrete = <error>] {
@@ -337,7 +337,7 @@ private interface Redecl {}
// CHECK:STDOUT: %Self: %ForwardWithDef.type = symbolic_binding Self, 0 [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %ForwardWithDef.type [concrete]
// CHECK:STDOUT: %i.param_patt: %pattern_type = value_param_pattern [concrete]
// CHECK:STDOUT: %i.patt: %pattern_type = at_binding_pattern i, %i.param_patt [concrete]
// CHECK:STDOUT: %i.patt: %pattern_type = wrapper_binding_pattern i, %i.param_patt [concrete]
// CHECK:STDOUT: %F.type: type = fn_type @F [concrete]
// CHECK:STDOUT: %F: %F.type = struct_value () [concrete]
// CHECK:STDOUT: }
@@ -356,7 +356,7 @@ private interface Redecl {}
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: %pattern_type = value_param_pattern [concrete = constants.%i.param_patt]
// CHECK:STDOUT: %i.patt: %pattern_type = at_binding_pattern i, %i.param_patt [concrete = constants.%i.patt]
// CHECK:STDOUT: %i.patt: %pattern_type = wrapper_binding_pattern i, %i.param_patt [concrete = constants.%i.patt]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: %ForwardWithDef.type = value_param call_param0
// CHECK:STDOUT: %ForwardWithDef.ref: type = name_ref ForwardWithDef, imports.%Test.ForwardWithDef [concrete = constants.%ForwardWithDef.type]
@@ -396,7 +396,7 @@ private interface Redecl {}
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: <error> = value_param_pattern [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = at_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = wrapper_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: <error> = value_param call_param0
// CHECK:STDOUT: %ForwardWithDef.ref: <error> = name_ref ForwardWithDef, <error> [concrete = <error>]
@@ -431,7 +431,7 @@ private interface Redecl {}
// CHECK:STDOUT: %Test.import = import Test
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: <error> = value_param_pattern [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = at_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = wrapper_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: <error> = value_param call_param0
// CHECK:STDOUT: %.1: <error> = splice_block <error> [concrete = <error>] {
@@ -465,7 +465,7 @@ private interface Redecl {}
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: <error> = value_param_pattern [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = at_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = wrapper_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: <error> = value_param call_param0
// CHECK:STDOUT: %.loc11: type = splice_block %ptr [concrete = <error>] {
@@ -510,7 +510,7 @@ private interface Redecl {}
// CHECK:STDOUT: %default.import = import <none>
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: <error> = value_param_pattern [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = at_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = wrapper_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: <error> = value_param call_param0
// CHECK:STDOUT: %.loc10: type = splice_block %ptr [concrete = <error>] {
@@ -548,7 +548,7 @@ private interface Redecl {}
// CHECK:STDOUT: %Test.import = import Test
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %i.param_patt: <error> = value_param_pattern [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = at_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: %i.patt: <error> = wrapper_binding_pattern i, %i.param_patt [concrete = <error>]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %i.param: <error> = value_param call_param0
// CHECK:STDOUT: %.loc10: type = splice_block %ptr [concrete = <error>] {
toolchain/check/testdata/interface/incomplete.carbon
Vendored
+3 -3
View File
@@ -239,7 +239,7 @@ interface A(T: type) {
// CHECK:STDOUT: %U.as_type: type = facet_access_type %U [symbolic]
// CHECK:STDOUT: %pattern_type.b3a: type = pattern_type %U.as_type [symbolic]
// CHECK:STDOUT: %a.param_patt: %pattern_type.b3a = value_param_pattern [symbolic]
// CHECK:STDOUT: %a.patt: %pattern_type.b3a = at_binding_pattern a, %a.param_patt [symbolic]
// CHECK:STDOUT: %a.patt: %pattern_type.b3a = wrapper_binding_pattern a, %a.param_patt [symbolic]
// CHECK:STDOUT: %F.type: type = fn_type @F [concrete]
// CHECK:STDOUT: %F: %F.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %U.as_type [symbolic]
@@ -258,7 +258,7 @@ interface A(T: type) {
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] {
// CHECK:STDOUT: %U.patt.loc9_7.1: %pattern_type.6cb = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc9_7.2 (constants.%U.patt)]
// CHECK:STDOUT: %a.param_patt.loc9_13.1: @F.%pattern_type (%pattern_type.b3a) = value_param_pattern [symbolic = %a.param_patt.loc9_13.2 (constants.%a.param_patt)]
// CHECK:STDOUT: %a.patt.loc9_13.1: @F.%pattern_type (%pattern_type.b3a) = at_binding_pattern a, %a.param_patt.loc9_13.1 [symbolic = %a.patt.loc9_13.2 (constants.%a.patt)]
// CHECK:STDOUT: %a.patt.loc9_13.1: @F.%pattern_type (%pattern_type.b3a) = wrapper_binding_pattern a, %a.param_patt.loc9_13.1 [symbolic = %a.patt.loc9_13.2 (constants.%a.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc9_9: type = splice_block %I.ref [concrete = constants.%I.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -302,7 +302,7 @@ interface A(T: type) {
// CHECK:STDOUT: %U.as_type.loc9_15.1: type = facet_access_type %U.loc9_7.1 [symbolic = %U.as_type.loc9_15.1 (constants.%U.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %U.as_type.loc9_15.1 [symbolic = %pattern_type (constants.%pattern_type.b3a)]
// CHECK:STDOUT: %a.param_patt.loc9_13.2: @F.%pattern_type (%pattern_type.b3a) = value_param_pattern [symbolic = %a.param_patt.loc9_13.2 (constants.%a.param_patt)]
// CHECK:STDOUT: %a.patt.loc9_13.2: @F.%pattern_type (%pattern_type.b3a) = at_binding_pattern a, %a.param_patt.loc9_13.2 [symbolic = %a.patt.loc9_13.2 (constants.%a.patt)]
// CHECK:STDOUT: %a.patt.loc9_13.2: @F.%pattern_type (%pattern_type.b3a) = wrapper_binding_pattern a, %a.param_patt.loc9_13.2 [symbolic = %a.patt.loc9_13.2 (constants.%a.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %U.as_type.loc9_15.1 [symbolic = %require_complete (constants.%require_complete)]
toolchain/check/testdata/interface/local.carbon
Vendored
+7 -7
View File
@@ -33,7 +33,7 @@ fn F() {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type.4d0: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt.199: %pattern_type.4d0 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.c38: %pattern_type.4d0 = at_binding_pattern self, %self.param_patt.199 [symbolic]
// CHECK:STDOUT: %self.patt.206: %pattern_type.4d0 = wrapper_binding_pattern self, %self.param_patt.199 [symbolic]
// CHECK:STDOUT: %I.WithSelf.G.type.f46: type = fn_type @I.WithSelf.G, @I.WithSelf(%Self) [symbolic]
// CHECK:STDOUT: %I.WithSelf.G.7b3: %I.WithSelf.G.type.f46 = struct_value () [symbolic]
// CHECK:STDOUT: %I.assoc_type: type = assoc_entity_type @I [concrete]
@@ -43,7 +43,7 @@ fn F() {
// CHECK:STDOUT: %I.impl_witness: <witness> = impl_witness @empty_tuple.type.as.I.impl.%I.impl_witness_table [concrete]
// CHECK:STDOUT: %pattern_type.cb1: type = pattern_type %empty_tuple.type [concrete]
// CHECK:STDOUT: %self.param_patt.154: %pattern_type.cb1 = value_param_pattern [concrete]
// CHECK:STDOUT: %self.patt.8c1: %pattern_type.cb1 = at_binding_pattern self, %self.param_patt.154 [concrete]
// CHECK:STDOUT: %self.patt.462: %pattern_type.cb1 = wrapper_binding_pattern self, %self.param_patt.154 [concrete]
// CHECK:STDOUT: %empty_tuple.type.as.I.impl.G.type: type = fn_type @empty_tuple.type.as.I.impl.G [concrete]
// CHECK:STDOUT: %empty_tuple.type.as.I.impl.G: %empty_tuple.type.as.I.impl.G.type = struct_value () [concrete]
// CHECK:STDOUT: %I.facet: %I.type = facet_value %empty_tuple.type, (%I.impl_witness) [concrete]
@@ -67,7 +67,7 @@ fn F() {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %I.WithSelf.G.decl: @I.WithSelf.%I.WithSelf.G.type (%I.WithSelf.G.type.f46) = fn_decl @I.WithSelf.G [symbolic = @I.WithSelf.%I.WithSelf.G (constants.%I.WithSelf.G.7b3)] {
// CHECK:STDOUT: %self.param_patt.loc17_10.1: @I.WithSelf.G.%pattern_type (%pattern_type.4d0) = value_param_pattern [symbolic = %self.param_patt.loc17_10.2 (constants.%self.param_patt.199)]
// CHECK:STDOUT: %self.patt.loc17_10.1: @I.WithSelf.G.%pattern_type (%pattern_type.4d0) = at_binding_pattern self, %self.param_patt.loc17_10.1 [symbolic = %self.patt.loc17_10.2 (constants.%self.patt.c38)]
// CHECK:STDOUT: %self.patt.loc17_10.1: @I.WithSelf.G.%pattern_type (%pattern_type.4d0) = wrapper_binding_pattern self, %self.param_patt.loc17_10.1 [symbolic = %self.patt.loc17_10.2 (constants.%self.patt.206)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @I.WithSelf.G.%Self.as_type.loc17_10.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc17_10.1: type = splice_block %.loc17_10.2 [symbolic = %Self.as_type.loc17_10.1 (constants.%Self.as_type)] {
@@ -90,7 +90,7 @@ fn F() {
// CHECK:STDOUT: impl @empty_tuple.type.as.I.impl: %.loc19_9.2 as %I.ref {
// CHECK:STDOUT: %empty_tuple.type.as.I.impl.G.decl: %empty_tuple.type.as.I.impl.G.type = fn_decl @empty_tuple.type.as.I.impl.G [concrete = constants.%empty_tuple.type.as.I.impl.G] {
// CHECK:STDOUT: %self.param_patt: %pattern_type.cb1 = value_param_pattern [concrete = constants.%self.param_patt.154]
// CHECK:STDOUT: %self.patt: %pattern_type.cb1 = at_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.8c1]
// CHECK:STDOUT: %self.patt: %pattern_type.cb1 = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.462]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: %empty_tuple.type = value_param call_param0
// CHECK:STDOUT: %Self.ref: type = name_ref Self, @empty_tuple.type.as.I.impl.%.loc19_9.2 [concrete = constants.%empty_tuple.type]
@@ -130,7 +130,7 @@ fn F() {
// CHECK:STDOUT: %Self.as_type.loc17_10.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc17_10.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc17_10.1 [symbolic = %pattern_type (constants.%pattern_type.4d0)]
// CHECK:STDOUT: %self.param_patt.loc17_10.2: @I.WithSelf.G.%pattern_type (%pattern_type.4d0) = value_param_pattern [symbolic = %self.param_patt.loc17_10.2 (constants.%self.param_patt.199)]
// CHECK:STDOUT: %self.patt.loc17_10.2: @I.WithSelf.G.%pattern_type (%pattern_type.4d0) = at_binding_pattern self, %self.param_patt.loc17_10.2 [symbolic = %self.patt.loc17_10.2 (constants.%self.patt.c38)]
// CHECK:STDOUT: %self.patt.loc17_10.2: @I.WithSelf.G.%pattern_type (%pattern_type.4d0) = wrapper_binding_pattern self, %self.param_patt.loc17_10.2 [symbolic = %self.patt.loc17_10.2 (constants.%self.patt.206)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @I.WithSelf.G.%Self.as_type.loc17_10.1 (%Self.as_type));
// CHECK:STDOUT: }
@@ -152,7 +152,7 @@ fn F() {
// CHECK:STDOUT: %Self.as_type.loc17_10.1 => constants.%Self.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.4d0
// CHECK:STDOUT: %self.param_patt.loc17_10.2 => constants.%self.param_patt.199
// CHECK:STDOUT: %self.patt.loc17_10.2 => constants.%self.patt.c38
// CHECK:STDOUT: %self.patt.loc17_10.2 => constants.%self.patt.206
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @I.WithSelf(constants.%I.facet) {
@@ -167,6 +167,6 @@ fn F() {
// CHECK:STDOUT: %Self.as_type.loc17_10.1 => constants.%empty_tuple.type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.cb1
// CHECK:STDOUT: %self.param_patt.loc17_10.2 => constants.%self.param_patt.154
// CHECK:STDOUT: %self.patt.loc17_10.2 => constants.%self.patt.8c1
// CHECK:STDOUT: %self.patt.loc17_10.2 => constants.%self.patt.462
// CHECK:STDOUT: }
// CHECK:STDOUT:
toolchain/check/testdata/interface/modifiers.carbon
Vendored
+22 -22
View File
@@ -239,7 +239,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self.be0 [symbolic]
// CHECK:STDOUT: %pattern_type.671: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt.b05: %pattern_type.671 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.153: %pattern_type.671 = at_binding_pattern self, %self.param_patt.b05 [symbolic]
// CHECK:STDOUT: %self.patt.c7e: %pattern_type.671 = wrapper_binding_pattern self, %self.param_patt.b05 [symbolic]
// CHECK:STDOUT: %DefaultMethod.WithSelf.M.type.5c3: type = fn_type @DefaultMethod.WithSelf.M, @DefaultMethod.WithSelf(%Self.be0) [symbolic]
// CHECK:STDOUT: %DefaultMethod.WithSelf.M.ff1: %DefaultMethod.WithSelf.M.type.5c3 = struct_value () [symbolic]
// CHECK:STDOUT: %DefaultMethod.assoc_type: type = assoc_entity_type @DefaultMethod [concrete]
@@ -265,7 +265,7 @@ interface C {
// CHECK:STDOUT: %T.as_type: type = facet_access_type %T [symbolic]
// CHECK:STDOUT: %pattern_type.70f: type = pattern_type %T.as_type [symbolic]
// CHECK:STDOUT: %t.param_patt: %pattern_type.70f = value_param_pattern [symbolic]
// CHECK:STDOUT: %t.patt: %pattern_type.70f = at_binding_pattern t, %t.param_patt [symbolic]
// CHECK:STDOUT: %t.patt: %pattern_type.70f = wrapper_binding_pattern t, %t.param_patt [symbolic]
// CHECK:STDOUT: %CallMethod.type: type = fn_type @CallMethod [concrete]
// CHECK:STDOUT: %CallMethod: %CallMethod.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.5bd: <witness> = require_complete_type %T.as_type [symbolic]
@@ -275,7 +275,7 @@ interface C {
// CHECK:STDOUT: %.506: type = fn_type_with_self_type %DefaultMethod.WithSelf.M.type.0cf, %T [symbolic]
// CHECK:STDOUT: %impl.elem0.f26: %.506 = impl_witness_access %DefaultMethod.lookup_impl_witness, element0 [symbolic]
// CHECK:STDOUT: %self.param_patt.382: %pattern_type.70f = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.634: %pattern_type.70f = at_binding_pattern self, %self.param_patt.382 [symbolic]
// CHECK:STDOUT: %self.patt.99e: %pattern_type.70f = wrapper_binding_pattern self, %self.param_patt.382 [symbolic]
// CHECK:STDOUT: %specific_impl_fn.583: <specific function> = specific_impl_function %impl.elem0.f26, @DefaultMethod.WithSelf.M(%T) [symbolic]
// CHECK:STDOUT: }
// CHECK:STDOUT:
@@ -294,7 +294,7 @@ interface C {
// CHECK:STDOUT: %CallMethod.decl: %CallMethod.type = fn_decl @CallMethod [concrete = constants.%CallMethod] {
// CHECK:STDOUT: %T.patt.loc17_16.1: %pattern_type.336 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc17_16.2 (constants.%T.patt)]
// CHECK:STDOUT: %t.param_patt.loc17_34.1: @CallMethod.%pattern_type (%pattern_type.70f) = value_param_pattern [symbolic = %t.param_patt.loc17_34.2 (constants.%t.param_patt)]
// CHECK:STDOUT: %t.patt.loc17_34.1: @CallMethod.%pattern_type (%pattern_type.70f) = at_binding_pattern t, %t.param_patt.loc17_34.1 [symbolic = %t.patt.loc17_34.2 (constants.%t.patt)]
// CHECK:STDOUT: %t.patt.loc17_34.1: @CallMethod.%pattern_type (%pattern_type.70f) = wrapper_binding_pattern t, %t.param_patt.loc17_34.1 [symbolic = %t.patt.loc17_34.2 (constants.%t.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc17_18: type = splice_block %DefaultMethod.ref [concrete = constants.%DefaultMethod.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -334,7 +334,7 @@ interface C {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %DefaultMethod.WithSelf.M.decl: @DefaultMethod.WithSelf.%DefaultMethod.WithSelf.M.type (%DefaultMethod.WithSelf.M.type.5c3) = fn_decl @DefaultMethod.WithSelf.M [symbolic = @DefaultMethod.WithSelf.%DefaultMethod.WithSelf.M (constants.%DefaultMethod.WithSelf.M.ff1)] {
// CHECK:STDOUT: %self.param_patt.loc10_23.1: @DefaultMethod.WithSelf.M.%pattern_type (%pattern_type.671) = value_param_pattern [symbolic = %self.param_patt.loc10_23.2 (constants.%self.param_patt.b05)]
// CHECK:STDOUT: %self.patt.loc10_23.1: @DefaultMethod.WithSelf.M.%pattern_type (%pattern_type.671) = at_binding_pattern self, %self.param_patt.loc10_23.1 [symbolic = %self.patt.loc10_23.2 (constants.%self.patt.153)]
// CHECK:STDOUT: %self.patt.loc10_23.1: @DefaultMethod.WithSelf.M.%pattern_type (%pattern_type.671) = wrapper_binding_pattern self, %self.param_patt.loc10_23.1 [symbolic = %self.patt.loc10_23.2 (constants.%self.patt.c7e)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @DefaultMethod.WithSelf.M.%Self.as_type.loc10_23.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc10_23.1: type = splice_block %.loc10_23.2 [symbolic = %Self.as_type.loc10_23.1 (constants.%Self.as_type)] {
@@ -368,7 +368,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type.loc10_23.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc10_23.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc10_23.1 [symbolic = %pattern_type (constants.%pattern_type.671)]
// CHECK:STDOUT: %self.param_patt.loc10_23.2: @DefaultMethod.WithSelf.M.%pattern_type (%pattern_type.671) = value_param_pattern [symbolic = %self.param_patt.loc10_23.2 (constants.%self.param_patt.b05)]
// CHECK:STDOUT: %self.patt.loc10_23.2: @DefaultMethod.WithSelf.M.%pattern_type (%pattern_type.671) = at_binding_pattern self, %self.param_patt.loc10_23.2 [symbolic = %self.patt.loc10_23.2 (constants.%self.patt.153)]
// CHECK:STDOUT: %self.patt.loc10_23.2: @DefaultMethod.WithSelf.M.%pattern_type (%pattern_type.671) = wrapper_binding_pattern self, %self.param_patt.loc10_23.2 [symbolic = %self.patt.loc10_23.2 (constants.%self.patt.c7e)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %Self.as_type.loc10_23.1 [symbolic = %require_complete (constants.%require_complete.09c)]
@@ -410,7 +410,7 @@ interface C {
// CHECK:STDOUT: %T.as_type.loc17_36.1: type = facet_access_type %T.loc17_16.1 [symbolic = %T.as_type.loc17_36.1 (constants.%T.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %T.as_type.loc17_36.1 [symbolic = %pattern_type (constants.%pattern_type.70f)]
// CHECK:STDOUT: %t.param_patt.loc17_34.2: @CallMethod.%pattern_type (%pattern_type.70f) = value_param_pattern [symbolic = %t.param_patt.loc17_34.2 (constants.%t.param_patt)]
// CHECK:STDOUT: %t.patt.loc17_34.2: @CallMethod.%pattern_type (%pattern_type.70f) = at_binding_pattern t, %t.param_patt.loc17_34.2 [symbolic = %t.patt.loc17_34.2 (constants.%t.patt)]
// CHECK:STDOUT: %t.patt.loc17_34.2: @CallMethod.%pattern_type (%pattern_type.70f) = wrapper_binding_pattern t, %t.param_patt.loc17_34.2 [symbolic = %t.patt.loc17_34.2 (constants.%t.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %T.as_type.loc17_36.1 [symbolic = %require_complete (constants.%require_complete.5bd)]
@@ -456,7 +456,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type.loc10_23.1 => constants.%Self.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.671
// CHECK:STDOUT: %self.param_patt.loc10_23.2 => constants.%self.param_patt.b05
// CHECK:STDOUT: %self.patt.loc10_23.2 => constants.%self.patt.153
// CHECK:STDOUT: %self.patt.loc10_23.2 => constants.%self.patt.c7e
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @CallFn(constants.%d) {
@@ -494,7 +494,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type.loc10_23.1 => constants.%T.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.70f
// CHECK:STDOUT: %self.param_patt.loc10_23.2 => constants.%self.param_patt.382
// CHECK:STDOUT: %self.patt.loc10_23.2 => constants.%self.patt.634
// CHECK:STDOUT: %self.patt.loc10_23.2 => constants.%self.patt.99e
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- final_interfaces.carbon
@@ -512,7 +512,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self.e80 [symbolic]
// CHECK:STDOUT: %pattern_type.32b: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt.724: %pattern_type.32b = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.478: %pattern_type.32b = at_binding_pattern self, %self.param_patt.724 [symbolic]
// CHECK:STDOUT: %self.patt.537: %pattern_type.32b = wrapper_binding_pattern self, %self.param_patt.724 [symbolic]
// CHECK:STDOUT: %FinalMethod.WithSelf.M.type.efa: type = fn_type @FinalMethod.WithSelf.M, @FinalMethod.WithSelf(%Self.e80) [symbolic]
// CHECK:STDOUT: %FinalMethod.WithSelf.M.68b: %FinalMethod.WithSelf.M.type.efa = struct_value () [symbolic]
// CHECK:STDOUT: %FinalMethod.assoc_type: type = assoc_entity_type @FinalMethod [concrete]
@@ -538,7 +538,7 @@ interface C {
// CHECK:STDOUT: %T.as_type: type = facet_access_type %T [symbolic]
// CHECK:STDOUT: %pattern_type.ab8: type = pattern_type %T.as_type [symbolic]
// CHECK:STDOUT: %t.param_patt: %pattern_type.ab8 = value_param_pattern [symbolic]
// CHECK:STDOUT: %t.patt: %pattern_type.ab8 = at_binding_pattern t, %t.param_patt [symbolic]
// CHECK:STDOUT: %t.patt: %pattern_type.ab8 = wrapper_binding_pattern t, %t.param_patt [symbolic]
// CHECK:STDOUT: %CallMethod.type: type = fn_type @CallMethod [concrete]
// CHECK:STDOUT: %CallMethod: %CallMethod.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.3b2: <witness> = require_complete_type %T.as_type [symbolic]
@@ -548,7 +548,7 @@ interface C {
// CHECK:STDOUT: %.e9f: type = fn_type_with_self_type %FinalMethod.WithSelf.M.type.913, %T [symbolic]
// CHECK:STDOUT: %impl.elem0.24d: %.e9f = impl_witness_access %FinalMethod.lookup_impl_witness, element0 [symbolic]
// CHECK:STDOUT: %self.param_patt.4d4: %pattern_type.ab8 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.87d: %pattern_type.ab8 = at_binding_pattern self, %self.param_patt.4d4 [symbolic]
// CHECK:STDOUT: %self.patt.bc8: %pattern_type.ab8 = wrapper_binding_pattern self, %self.param_patt.4d4 [symbolic]
// CHECK:STDOUT: %specific_impl_fn.2e2: <specific function> = specific_impl_function %impl.elem0.24d, @FinalMethod.WithSelf.M(%T) [symbolic]
// CHECK:STDOUT: }
// CHECK:STDOUT:
@@ -567,7 +567,7 @@ interface C {
// CHECK:STDOUT: %CallMethod.decl: %CallMethod.type = fn_decl @CallMethod [concrete = constants.%CallMethod] {
// CHECK:STDOUT: %T.patt.loc17_16.1: %pattern_type.af4 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc17_16.2 (constants.%T.patt)]
// CHECK:STDOUT: %t.param_patt.loc17_32.1: @CallMethod.%pattern_type (%pattern_type.ab8) = value_param_pattern [symbolic = %t.param_patt.loc17_32.2 (constants.%t.param_patt)]
// CHECK:STDOUT: %t.patt.loc17_32.1: @CallMethod.%pattern_type (%pattern_type.ab8) = at_binding_pattern t, %t.param_patt.loc17_32.1 [symbolic = %t.patt.loc17_32.2 (constants.%t.patt)]
// CHECK:STDOUT: %t.patt.loc17_32.1: @CallMethod.%pattern_type (%pattern_type.ab8) = wrapper_binding_pattern t, %t.param_patt.loc17_32.1 [symbolic = %t.patt.loc17_32.2 (constants.%t.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc17_18: type = splice_block %FinalMethod.ref [concrete = constants.%FinalMethod.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -607,7 +607,7 @@ interface C {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %FinalMethod.WithSelf.M.decl: @FinalMethod.WithSelf.%FinalMethod.WithSelf.M.type (%FinalMethod.WithSelf.M.type.efa) = fn_decl @FinalMethod.WithSelf.M [symbolic = @FinalMethod.WithSelf.%FinalMethod.WithSelf.M (constants.%FinalMethod.WithSelf.M.68b)] {
// CHECK:STDOUT: %self.param_patt.loc10_21.1: @FinalMethod.WithSelf.M.%pattern_type (%pattern_type.32b) = value_param_pattern [symbolic = %self.param_patt.loc10_21.2 (constants.%self.param_patt.724)]
// CHECK:STDOUT: %self.patt.loc10_21.1: @FinalMethod.WithSelf.M.%pattern_type (%pattern_type.32b) = at_binding_pattern self, %self.param_patt.loc10_21.1 [symbolic = %self.patt.loc10_21.2 (constants.%self.patt.478)]
// CHECK:STDOUT: %self.patt.loc10_21.1: @FinalMethod.WithSelf.M.%pattern_type (%pattern_type.32b) = wrapper_binding_pattern self, %self.param_patt.loc10_21.1 [symbolic = %self.patt.loc10_21.2 (constants.%self.patt.537)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @FinalMethod.WithSelf.M.%Self.as_type.loc10_21.1 (%Self.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc10_21.1: type = splice_block %.loc10_21.2 [symbolic = %Self.as_type.loc10_21.1 (constants.%Self.as_type)] {
@@ -641,7 +641,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type.loc10_21.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc10_21.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc10_21.1 [symbolic = %pattern_type (constants.%pattern_type.32b)]
// CHECK:STDOUT: %self.param_patt.loc10_21.2: @FinalMethod.WithSelf.M.%pattern_type (%pattern_type.32b) = value_param_pattern [symbolic = %self.param_patt.loc10_21.2 (constants.%self.param_patt.724)]
// CHECK:STDOUT: %self.patt.loc10_21.2: @FinalMethod.WithSelf.M.%pattern_type (%pattern_type.32b) = at_binding_pattern self, %self.param_patt.loc10_21.2 [symbolic = %self.patt.loc10_21.2 (constants.%self.patt.478)]
// CHECK:STDOUT: %self.patt.loc10_21.2: @FinalMethod.WithSelf.M.%pattern_type (%pattern_type.32b) = wrapper_binding_pattern self, %self.param_patt.loc10_21.2 [symbolic = %self.patt.loc10_21.2 (constants.%self.patt.537)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %Self.as_type.loc10_21.1 [symbolic = %require_complete (constants.%require_complete.e87)]
@@ -683,7 +683,7 @@ interface C {
// CHECK:STDOUT: %T.as_type.loc17_34.1: type = facet_access_type %T.loc17_16.1 [symbolic = %T.as_type.loc17_34.1 (constants.%T.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %T.as_type.loc17_34.1 [symbolic = %pattern_type (constants.%pattern_type.ab8)]
// CHECK:STDOUT: %t.param_patt.loc17_32.2: @CallMethod.%pattern_type (%pattern_type.ab8) = value_param_pattern [symbolic = %t.param_patt.loc17_32.2 (constants.%t.param_patt)]
// CHECK:STDOUT: %t.patt.loc17_32.2: @CallMethod.%pattern_type (%pattern_type.ab8) = at_binding_pattern t, %t.param_patt.loc17_32.2 [symbolic = %t.patt.loc17_32.2 (constants.%t.patt)]
// CHECK:STDOUT: %t.patt.loc17_32.2: @CallMethod.%pattern_type (%pattern_type.ab8) = wrapper_binding_pattern t, %t.param_patt.loc17_32.2 [symbolic = %t.patt.loc17_32.2 (constants.%t.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %T.as_type.loc17_34.1 [symbolic = %require_complete (constants.%require_complete.3b2)]
@@ -729,7 +729,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type.loc10_21.1 => constants.%Self.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.32b
// CHECK:STDOUT: %self.param_patt.loc10_21.2 => constants.%self.param_patt.724
// CHECK:STDOUT: %self.patt.loc10_21.2 => constants.%self.patt.478
// CHECK:STDOUT: %self.patt.loc10_21.2 => constants.%self.patt.537
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @CallFn(constants.%d) {
@@ -767,7 +767,7 @@ interface C {
// CHECK:STDOUT: %Self.as_type.loc10_21.1 => constants.%T.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.ab8
// CHECK:STDOUT: %self.param_patt.loc10_21.2 => constants.%self.param_patt.4d4
// CHECK:STDOUT: %self.patt.loc10_21.2 => constants.%self.patt.87d
// CHECK:STDOUT: %self.patt.loc10_21.2 => constants.%self.patt.bc8
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- default_function.carbon
@@ -1020,14 +1020,14 @@ interface C {
// CHECK:STDOUT: %C: type = class_type @C [concrete]
// CHECK:STDOUT: %pattern_type.98b: type = pattern_type %C [concrete]
// CHECK:STDOUT: %self.param_patt.303: %pattern_type.98b = value_param_pattern [concrete]
// CHECK:STDOUT: %self.patt.49a718.1: %pattern_type.98b = at_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %self.patt.36a3f7.1: %pattern_type.98b = wrapper_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %C.G.type: type = fn_type @C.G [concrete]
// CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete]
// CHECK:STDOUT: %C.G: %C.G.type = struct_value () [concrete]
// CHECK:STDOUT: %DefaultMethod.type: type = facet_type <@DefaultMethod> [concrete]
// CHECK:STDOUT: %.3e0: <witness> = impl_self_witness %C, @DefaultMethod [concrete]
// CHECK:STDOUT: %DefaultMethod.impl_witness: <witness> = impl_witness @C.as.DefaultMethod.impl.%DefaultMethod.impl_witness_table [concrete]
// CHECK:STDOUT: %self.patt.49a718.2: %pattern_type.98b = at_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %self.patt.36a3f7.2: %pattern_type.98b = wrapper_binding_pattern self, %self.param_patt.303 [concrete]
// CHECK:STDOUT: %C.as.DefaultMethod.impl.M.type: type = fn_type @C.as.DefaultMethod.impl.M [concrete]
// CHECK:STDOUT: %C.as.DefaultMethod.impl.M: %C.as.DefaultMethod.impl.M.type = struct_value () [concrete]
// CHECK:STDOUT: %DefaultMethod.facet: %DefaultMethod.type = facet_value %C, (%DefaultMethod.impl_witness) [concrete]
@@ -1060,7 +1060,7 @@ interface C {
// CHECK:STDOUT: impl @C.as.DefaultMethod.impl: %Self.ref as %DefaultMethod.ref {
// CHECK:STDOUT: %C.as.DefaultMethod.impl.M.decl: %C.as.DefaultMethod.impl.M.type = fn_decl @C.as.DefaultMethod.impl.M [concrete = constants.%C.as.DefaultMethod.impl.M] {
// CHECK:STDOUT: %self.param_patt: %pattern_type.98b = value_param_pattern [concrete = constants.%self.param_patt.303]
// CHECK:STDOUT: %self.patt: %pattern_type.98b = at_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.49a718.2]
// CHECK:STDOUT: %self.patt: %pattern_type.98b = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.36a3f7.2]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: %C = value_param call_param0
// CHECK:STDOUT: %Self.ref: type = name_ref Self, constants.%C [concrete = constants.%C]
@@ -1078,7 +1078,7 @@ interface C {
// CHECK:STDOUT: class @C {
// CHECK:STDOUT: %C.G.decl: %C.G.type = fn_decl @C.G [concrete = constants.%C.G] {
// CHECK:STDOUT: %self.param_patt: %pattern_type.98b = value_param_pattern [concrete = constants.%self.param_patt.303]
// CHECK:STDOUT: %self.patt: %pattern_type.98b = at_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.49a718.1]
// CHECK:STDOUT: %self.patt: %pattern_type.98b = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.36a3f7.1]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: %C = value_param call_param0
// CHECK:STDOUT: %Self.ref: type = name_ref Self, constants.%C [concrete = constants.%C]
toolchain/check/testdata/interface/observe.carbon
Vendored
+32 -32
View File
@@ -409,7 +409,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.7f2: type = facet_access_type %Self.77c [symbolic]
// CHECK:STDOUT: %pattern_type.b5c: type = pattern_type %Self.as_type.7f2 [symbolic]
// CHECK:STDOUT: %self.param_patt.ae9: %pattern_type.b5c = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.12b: %pattern_type.b5c = at_binding_pattern self, %self.param_patt.ae9 [symbolic]
// CHECK:STDOUT: %self.patt.03f: %pattern_type.b5c = wrapper_binding_pattern self, %self.param_patt.ae9 [symbolic]
// CHECK:STDOUT: %as_type.d30: type = facet_access_type %impl.elem0 [symbolic]
// CHECK:STDOUT: %.117: Core.Form = init_form %as_type.d30 [symbolic]
// CHECK:STDOUT: %pattern_type.51a: type = pattern_type %as_type.d30 [symbolic]
@@ -422,7 +422,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %as_type.472: type = facet_access_type %impl.elem2 [symbolic]
// CHECK:STDOUT: %pattern_type.007: type = pattern_type %as_type.472 [symbolic]
// CHECK:STDOUT: %c.param_patt: %pattern_type.007 = value_param_pattern [symbolic]
// CHECK:STDOUT: %c.patt: %pattern_type.007 = at_binding_pattern c, %c.param_patt [symbolic]
// CHECK:STDOUT: %c.patt: %pattern_type.007 = wrapper_binding_pattern c, %c.param_patt [symbolic]
// CHECK:STDOUT: %Transitive.WithSelf.TakesC.type: type = fn_type @Transitive.WithSelf.TakesC, @Transitive.WithSelf(%Self.77c) [symbolic]
// CHECK:STDOUT: %Transitive.WithSelf.TakesC: %Transitive.WithSelf.TakesC.type = struct_value () [symbolic]
// CHECK:STDOUT: %assoc4: %Transitive.assoc_type = assoc_entity element4, @Transitive.WithSelf.%Transitive.WithSelf.TakesC.decl [concrete]
@@ -449,7 +449,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: }
// CHECK:STDOUT: %Transitive.WithSelf.GetA.decl: @Transitive.WithSelf.%Transitive.WithSelf.GetA.type (%Transitive.WithSelf.GetA.type) = fn_decl @Transitive.WithSelf.GetA [symbolic = @Transitive.WithSelf.%Transitive.WithSelf.GetA (constants.%Transitive.WithSelf.GetA)] {
// CHECK:STDOUT: %self.param_patt.loc13_11.1: @Transitive.WithSelf.GetA.%pattern_type.loc13_11 (%pattern_type.b5c) = value_param_pattern [symbolic = %self.param_patt.loc13_11.2 (constants.%self.param_patt.ae9)]
// CHECK:STDOUT: %self.patt.loc13_11.1: @Transitive.WithSelf.GetA.%pattern_type.loc13_11 (%pattern_type.b5c) = at_binding_pattern self, %self.param_patt.loc13_11.1 [symbolic = %self.patt.loc13_11.2 (constants.%self.patt.12b)]
// CHECK:STDOUT: %self.patt.loc13_11.1: @Transitive.WithSelf.GetA.%pattern_type.loc13_11 (%pattern_type.b5c) = wrapper_binding_pattern self, %self.param_patt.loc13_11.1 [symbolic = %self.patt.loc13_11.2 (constants.%self.patt.03f)]
// CHECK:STDOUT: %return.param_patt.loc13_20.1: @Transitive.WithSelf.GetA.%pattern_type.loc13_20 (%pattern_type.51a) = out_param_pattern [symbolic = %return.param_patt.loc13_20.2 (constants.%return.param_patt.931)]
// CHECK:STDOUT: %return.patt.loc13_17.1: @Transitive.WithSelf.GetA.%pattern_type.loc13_20 (%pattern_type.51a) = return_slot_pattern %return.param_patt.loc13_20.1, %.loc13_20.2 [symbolic = %return.patt.loc13_17.2 (constants.%return.patt.680)]
// CHECK:STDOUT: } {
@@ -471,9 +471,9 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %assoc3: %Transitive.assoc_type = assoc_entity element3, %Transitive.WithSelf.GetA.decl [concrete = constants.%assoc3]
// CHECK:STDOUT: %Transitive.WithSelf.TakesC.decl: @Transitive.WithSelf.%Transitive.WithSelf.TakesC.type (%Transitive.WithSelf.TakesC.type) = fn_decl @Transitive.WithSelf.TakesC [symbolic = @Transitive.WithSelf.%Transitive.WithSelf.TakesC (constants.%Transitive.WithSelf.TakesC)] {
// CHECK:STDOUT: %self.param_patt.loc14_13.1: @Transitive.WithSelf.TakesC.%pattern_type.loc14_13 (%pattern_type.b5c) = value_param_pattern [symbolic = %self.param_patt.loc14_13.2 (constants.%self.param_patt.ae9)]
// CHECK:STDOUT: %self.patt.loc14_13.1: @Transitive.WithSelf.TakesC.%pattern_type.loc14_13 (%pattern_type.b5c) = at_binding_pattern self, %self.param_patt.loc14_13.1 [symbolic = %self.patt.loc14_13.2 (constants.%self.patt.12b)]
// CHECK:STDOUT: %self.patt.loc14_13.1: @Transitive.WithSelf.TakesC.%pattern_type.loc14_13 (%pattern_type.b5c) = wrapper_binding_pattern self, %self.param_patt.loc14_13.1 [symbolic = %self.patt.loc14_13.2 (constants.%self.patt.03f)]
// CHECK:STDOUT: %c.param_patt.loc14_20.1: @Transitive.WithSelf.TakesC.%pattern_type.loc14_20 (%pattern_type.007) = value_param_pattern [symbolic = %c.param_patt.loc14_20.2 (constants.%c.param_patt)]
// CHECK:STDOUT: %c.patt.loc14_20.1: @Transitive.WithSelf.TakesC.%pattern_type.loc14_20 (%pattern_type.007) = at_binding_pattern c, %c.param_patt.loc14_20.1 [symbolic = %c.patt.loc14_20.2 (constants.%c.patt)]
// CHECK:STDOUT: %c.patt.loc14_20.1: @Transitive.WithSelf.TakesC.%pattern_type.loc14_20 (%pattern_type.007) = wrapper_binding_pattern c, %c.param_patt.loc14_20.1 [symbolic = %c.patt.loc14_20.2 (constants.%c.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @Transitive.WithSelf.TakesC.%Self.as_type.loc14_13.1 (%Self.as_type.7f2) = value_param call_param0
// CHECK:STDOUT: %.loc14_13.1: type = splice_block %.loc14_13.2 [symbolic = %Self.as_type.loc14_13.1 (constants.%Self.as_type.7f2)] {
@@ -536,7 +536,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc13_11.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc13_11.1 (constants.%Self.as_type.7f2)]
// CHECK:STDOUT: %pattern_type.loc13_11: type = pattern_type %Self.as_type.loc13_11.1 [symbolic = %pattern_type.loc13_11 (constants.%pattern_type.b5c)]
// CHECK:STDOUT: %self.param_patt.loc13_11.2: @Transitive.WithSelf.GetA.%pattern_type.loc13_11 (%pattern_type.b5c) = value_param_pattern [symbolic = %self.param_patt.loc13_11.2 (constants.%self.param_patt.ae9)]
// CHECK:STDOUT: %self.patt.loc13_11.2: @Transitive.WithSelf.GetA.%pattern_type.loc13_11 (%pattern_type.b5c) = at_binding_pattern self, %self.param_patt.loc13_11.2 [symbolic = %self.patt.loc13_11.2 (constants.%self.patt.12b)]
// CHECK:STDOUT: %self.patt.loc13_11.2: @Transitive.WithSelf.GetA.%pattern_type.loc13_11 (%pattern_type.b5c) = wrapper_binding_pattern self, %self.param_patt.loc13_11.2 [symbolic = %self.patt.loc13_11.2 (constants.%self.patt.03f)]
// CHECK:STDOUT: %Transitive.lookup_impl_witness: <witness> = lookup_impl_witness %Self, @Transitive [symbolic = %Transitive.lookup_impl_witness (constants.%Transitive.lookup_impl_witness)]
// CHECK:STDOUT: %impl.elem0.loc13_20.1: %facet_type.b1b = impl_witness_access %Transitive.lookup_impl_witness, element0 [symbolic = %impl.elem0.loc13_20.1 (constants.%impl.elem0)]
// CHECK:STDOUT: %as_type: type = facet_access_type %impl.elem0.loc13_20.1 [symbolic = %as_type (constants.%as_type.d30)]
@@ -553,13 +553,13 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc14_13.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc14_13.1 (constants.%Self.as_type.7f2)]
// CHECK:STDOUT: %pattern_type.loc14_13: type = pattern_type %Self.as_type.loc14_13.1 [symbolic = %pattern_type.loc14_13 (constants.%pattern_type.b5c)]
// CHECK:STDOUT: %self.param_patt.loc14_13.2: @Transitive.WithSelf.TakesC.%pattern_type.loc14_13 (%pattern_type.b5c) = value_param_pattern [symbolic = %self.param_patt.loc14_13.2 (constants.%self.param_patt.ae9)]
// CHECK:STDOUT: %self.patt.loc14_13.2: @Transitive.WithSelf.TakesC.%pattern_type.loc14_13 (%pattern_type.b5c) = at_binding_pattern self, %self.param_patt.loc14_13.2 [symbolic = %self.patt.loc14_13.2 (constants.%self.patt.12b)]
// CHECK:STDOUT: %self.patt.loc14_13.2: @Transitive.WithSelf.TakesC.%pattern_type.loc14_13 (%pattern_type.b5c) = wrapper_binding_pattern self, %self.param_patt.loc14_13.2 [symbolic = %self.patt.loc14_13.2 (constants.%self.patt.03f)]
// CHECK:STDOUT: %Transitive.lookup_impl_witness: <witness> = lookup_impl_witness %Self, @Transitive [symbolic = %Transitive.lookup_impl_witness (constants.%Transitive.lookup_impl_witness)]
// CHECK:STDOUT: %impl.elem2.loc14_22.1: %facet_type.4c8 = impl_witness_access %Transitive.lookup_impl_witness, element2 [symbolic = %impl.elem2.loc14_22.1 (constants.%impl.elem2)]
// CHECK:STDOUT: %as_type: type = facet_access_type %impl.elem2.loc14_22.1 [symbolic = %as_type (constants.%as_type.472)]
// CHECK:STDOUT: %pattern_type.loc14_20: type = pattern_type %as_type [symbolic = %pattern_type.loc14_20 (constants.%pattern_type.007)]
// CHECK:STDOUT: %c.param_patt.loc14_20.2: @Transitive.WithSelf.TakesC.%pattern_type.loc14_20 (%pattern_type.007) = value_param_pattern [symbolic = %c.param_patt.loc14_20.2 (constants.%c.param_patt)]
// CHECK:STDOUT: %c.patt.loc14_20.2: @Transitive.WithSelf.TakesC.%pattern_type.loc14_20 (%pattern_type.007) = at_binding_pattern c, %c.param_patt.loc14_20.2 [symbolic = %c.patt.loc14_20.2 (constants.%c.patt)]
// CHECK:STDOUT: %c.patt.loc14_20.2: @Transitive.WithSelf.TakesC.%pattern_type.loc14_20 (%pattern_type.007) = wrapper_binding_pattern c, %c.param_patt.loc14_20.2 [symbolic = %c.patt.loc14_20.2 (constants.%c.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @Transitive.WithSelf.TakesC.%Self.as_type.loc14_13.1 (%Self.as_type.7f2), %c.param: @Transitive.WithSelf.TakesC.%as_type (%as_type.472));
// CHECK:STDOUT: }
@@ -571,7 +571,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc13_11.1 => constants.%Self.as_type.7f2
// CHECK:STDOUT: %pattern_type.loc13_11 => constants.%pattern_type.b5c
// CHECK:STDOUT: %self.param_patt.loc13_11.2 => constants.%self.param_patt.ae9
// CHECK:STDOUT: %self.patt.loc13_11.2 => constants.%self.patt.12b
// CHECK:STDOUT: %self.patt.loc13_11.2 => constants.%self.patt.03f
// CHECK:STDOUT: %Transitive.lookup_impl_witness => constants.%Transitive.lookup_impl_witness
// CHECK:STDOUT: %impl.elem0.loc13_20.1 => constants.%impl.elem0
// CHECK:STDOUT: %as_type => constants.%as_type.d30
@@ -586,7 +586,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc14_13.1 => constants.%Self.as_type.7f2
// CHECK:STDOUT: %pattern_type.loc14_13 => constants.%pattern_type.b5c
// CHECK:STDOUT: %self.param_patt.loc14_13.2 => constants.%self.param_patt.ae9
// CHECK:STDOUT: %self.patt.loc14_13.2 => constants.%self.patt.12b
// CHECK:STDOUT: %self.patt.loc14_13.2 => constants.%self.patt.03f
// CHECK:STDOUT: %Transitive.lookup_impl_witness => constants.%Transitive.lookup_impl_witness
// CHECK:STDOUT: %impl.elem2.loc14_22.1 => constants.%impl.elem2
// CHECK:STDOUT: %as_type => constants.%as_type.472
@@ -615,7 +615,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %RequiresD: %RequiresD.type = struct_value () [concrete]
// CHECK:STDOUT: %pattern_type.a0e: type = pattern_type %T.as_type.3b8 [symbolic]
// CHECK:STDOUT: %x.param_patt.241: %pattern_type.a0e = value_param_pattern [symbolic]
// CHECK:STDOUT: %x.patt.19b9f1.1: %pattern_type.a0e = at_binding_pattern x, %x.param_patt.241 [symbolic]
// CHECK:STDOUT: %x.patt.cd4828.1: %pattern_type.a0e = wrapper_binding_pattern x, %x.param_patt.241 [symbolic]
// CHECK:STDOUT: %RequiresA.type: type = fn_type @RequiresA [concrete]
// CHECK:STDOUT: %RequiresA: %RequiresA.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.94f: <witness> = require_complete_type %T.as_type.3b8 [symbolic]
@@ -637,7 +637,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %RequiresA.decl: %RequiresA.type = fn_decl @RequiresA [concrete = constants.%RequiresA] {
// CHECK:STDOUT: %T.patt.loc16_15.1: %pattern_type.029 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc16_15.2 (constants.%T.patt.a4b)]
// CHECK:STDOUT: %x.param_patt.loc16_21.1: @RequiresA.%pattern_type (%pattern_type.a0e) = value_param_pattern [symbolic = %x.param_patt.loc16_21.2 (constants.%x.param_patt.241)]
// CHECK:STDOUT: %x.patt.loc16_21.1: @RequiresA.%pattern_type (%pattern_type.a0e) = at_binding_pattern x, %x.param_patt.loc16_21.1 [symbolic = %x.patt.loc16_21.2 (constants.%x.patt.19b9f1.1)]
// CHECK:STDOUT: %x.patt.loc16_21.1: @RequiresA.%pattern_type (%pattern_type.a0e) = wrapper_binding_pattern x, %x.param_patt.loc16_21.1 [symbolic = %x.patt.loc16_21.2 (constants.%x.patt.cd4828.1)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc16_17: type = splice_block %A.ref [concrete = constants.%A.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
@@ -660,7 +660,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %T.as_type.loc16_23.1: type = facet_access_type %T.loc16_15.1 [symbolic = %T.as_type.loc16_23.1 (constants.%T.as_type.3b8)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %T.as_type.loc16_23.1 [symbolic = %pattern_type (constants.%pattern_type.a0e)]
// CHECK:STDOUT: %x.param_patt.loc16_21.2: @RequiresA.%pattern_type (%pattern_type.a0e) = value_param_pattern [symbolic = %x.param_patt.loc16_21.2 (constants.%x.param_patt.241)]
// CHECK:STDOUT: %x.patt.loc16_21.2: @RequiresA.%pattern_type (%pattern_type.a0e) = at_binding_pattern x, %x.param_patt.loc16_21.2 [symbolic = %x.patt.loc16_21.2 (constants.%x.patt.19b9f1.1)]
// CHECK:STDOUT: %x.patt.loc16_21.2: @RequiresA.%pattern_type (%pattern_type.a0e) = wrapper_binding_pattern x, %x.param_patt.loc16_21.2 [symbolic = %x.patt.loc16_21.2 (constants.%x.patt.cd4828.1)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %T.as_type.loc16_23.1 [symbolic = %require_complete (constants.%require_complete.94f)]
@@ -723,7 +723,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %T.as_type.loc16_23.1 => constants.%T.as_type.3b8
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.a0e
// CHECK:STDOUT: %x.param_patt.loc16_21.2 => constants.%x.param_patt.241
// CHECK:STDOUT: %x.patt.loc16_21.2 => constants.%x.patt.19b9f1.1
// CHECK:STDOUT: %x.patt.loc16_21.2 => constants.%x.patt.cd4828.1
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_todo_nested_functions_in_outer.carbon
@@ -739,7 +739,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %T.as_type: type = facet_access_type %T [symbolic]
// CHECK:STDOUT: %pattern_type.a0e: type = pattern_type %T.as_type [symbolic]
// CHECK:STDOUT: %x.param_patt.241: %pattern_type.a0e = value_param_pattern [symbolic]
// CHECK:STDOUT: %x.patt.19b: %pattern_type.a0e = at_binding_pattern x, %x.param_patt.241 [symbolic]
// CHECK:STDOUT: %x.patt.cd4: %pattern_type.a0e = wrapper_binding_pattern x, %x.param_patt.241 [symbolic]
// CHECK:STDOUT: %RequiresA.type: type = fn_type @RequiresA [concrete]
// CHECK:STDOUT: %RequiresA: %RequiresA.type = struct_value () [concrete]
// CHECK:STDOUT: %require_complete.94f: <witness> = require_complete_type %T.as_type [symbolic]
@@ -755,7 +755,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %eq = observe_equivalent %T, %U [symbolic]
// CHECK:STDOUT: %pattern_type.d51: type = pattern_type %U.as_type [symbolic]
// CHECK:STDOUT: %x.param_patt.fbe: %pattern_type.d51 = value_param_pattern [symbolic]
// CHECK:STDOUT: %x.patt.cdb: %pattern_type.d51 = at_binding_pattern x, %x.param_patt.fbe [symbolic]
// CHECK:STDOUT: %x.patt.a34: %pattern_type.d51 = wrapper_binding_pattern x, %x.param_patt.fbe [symbolic]
// CHECK:STDOUT: %InnerF.type: type = fn_type @InnerF, @F(%T, %U) [symbolic]
// CHECK:STDOUT: %InnerF: %InnerF.type = struct_value () [symbolic]
// CHECK:STDOUT: %require_complete.963: <witness> = require_complete_type %U.as_type [symbolic]
@@ -765,7 +765,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %RequiresA.decl: %RequiresA.type = fn_decl @RequiresA [concrete = constants.%RequiresA] {
// CHECK:STDOUT: %T.patt.loc7_15.1: %pattern_type.029 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc7_15.2 (constants.%T.patt)]
// CHECK:STDOUT: %x.param_patt.loc7_28.1: @RequiresA.%pattern_type (%pattern_type.a0e) = value_param_pattern [symbolic = %x.param_patt.loc7_28.2 (constants.%x.param_patt.241)]
// CHECK:STDOUT: %x.patt.loc7_28.1: @RequiresA.%pattern_type (%pattern_type.a0e) = at_binding_pattern x, %x.param_patt.loc7_28.1 [symbolic = %x.patt.loc7_28.2 (constants.%x.patt.19b)]
// CHECK:STDOUT: %x.patt.loc7_28.1: @RequiresA.%pattern_type (%pattern_type.a0e) = wrapper_binding_pattern x, %x.param_patt.loc7_28.1 [symbolic = %x.patt.loc7_28.2 (constants.%x.patt.cd4)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %.loc7_17: type = splice_block %A.ref [concrete = constants.%A.type] {
// CHECK:STDOUT: %.Self.frozen: %type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen.197]
@@ -815,7 +815,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %T.as_type.loc7_30.1: type = facet_access_type %T.loc7_15.1 [symbolic = %T.as_type.loc7_30.1 (constants.%T.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %T.as_type.loc7_30.1 [symbolic = %pattern_type (constants.%pattern_type.a0e)]
// CHECK:STDOUT: %x.param_patt.loc7_28.2: @RequiresA.%pattern_type (%pattern_type.a0e) = value_param_pattern [symbolic = %x.param_patt.loc7_28.2 (constants.%x.param_patt.241)]
// CHECK:STDOUT: %x.patt.loc7_28.2: @RequiresA.%pattern_type (%pattern_type.a0e) = at_binding_pattern x, %x.param_patt.loc7_28.2 [symbolic = %x.patt.loc7_28.2 (constants.%x.patt.19b)]
// CHECK:STDOUT: %x.patt.loc7_28.2: @RequiresA.%pattern_type (%pattern_type.a0e) = wrapper_binding_pattern x, %x.param_patt.loc7_28.2 [symbolic = %x.patt.loc7_28.2 (constants.%x.patt.cd4)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %T.as_type.loc7_30.1 [symbolic = %require_complete (constants.%require_complete.94f)]
@@ -850,7 +850,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %F.observe.decl = observe_decl @F.observe [concrete]
// CHECK:STDOUT: %InnerF.decl: @F.%InnerF.type (%InnerF.type) = fn_decl @InnerF [symbolic = @F.%InnerF (constants.%InnerF)] {
// CHECK:STDOUT: %x.param_patt.loc11_14.1: @InnerF.%pattern_type (%pattern_type.d51) = value_param_pattern [symbolic = %x.param_patt.loc11_14.2 (constants.%x.param_patt.fbe)]
// CHECK:STDOUT: %x.patt.loc11_14.1: @InnerF.%pattern_type (%pattern_type.d51) = at_binding_pattern x, %x.param_patt.loc11_14.1 [symbolic = %x.patt.loc11_14.2 (constants.%x.patt.cdb)]
// CHECK:STDOUT: %x.patt.loc11_14.1: @InnerF.%pattern_type (%pattern_type.d51) = wrapper_binding_pattern x, %x.param_patt.loc11_14.1 [symbolic = %x.patt.loc11_14.2 (constants.%x.patt.a34)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %x.param: @InnerF.%U.as_type.loc11_16.1 (%U.as_type) = value_param call_param0
// CHECK:STDOUT: %.loc11_16.1: type = splice_block %.loc11_16.2 [symbolic = %U.as_type.loc11_16.1 (constants.%U.as_type)] {
@@ -874,7 +874,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %U.as_type.loc11_16.1: type = facet_access_type %U [symbolic = %U.as_type.loc11_16.1 (constants.%U.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %U.as_type.loc11_16.1 [symbolic = %pattern_type (constants.%pattern_type.d51)]
// CHECK:STDOUT: %x.param_patt.loc11_14.2: @InnerF.%pattern_type (%pattern_type.d51) = value_param_pattern [symbolic = %x.param_patt.loc11_14.2 (constants.%x.param_patt.fbe)]
// CHECK:STDOUT: %x.patt.loc11_14.2: @InnerF.%pattern_type (%pattern_type.d51) = at_binding_pattern x, %x.param_patt.loc11_14.2 [symbolic = %x.patt.loc11_14.2 (constants.%x.patt.cdb)]
// CHECK:STDOUT: %x.patt.loc11_14.2: @InnerF.%pattern_type (%pattern_type.d51) = wrapper_binding_pattern x, %x.param_patt.loc11_14.2 [symbolic = %x.patt.loc11_14.2 (constants.%x.patt.a34)]
// CHECK:STDOUT:
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %U.as_type.loc11_16.1 [symbolic = %require_complete (constants.%require_complete.963)]
@@ -894,7 +894,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %T.as_type.loc7_30.1 => constants.%T.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.a0e
// CHECK:STDOUT: %x.param_patt.loc7_28.2 => constants.%x.param_patt.241
// CHECK:STDOUT: %x.patt.loc7_28.2 => constants.%x.patt.19b
// CHECK:STDOUT: %x.patt.loc7_28.2 => constants.%x.patt.cd4
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: specific @F(constants.%T, constants.%U) {
@@ -909,7 +909,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %U.as_type.loc11_16.1 => constants.%U.as_type
// CHECK:STDOUT: %pattern_type => constants.%pattern_type.d51
// CHECK:STDOUT: %x.param_patt.loc11_14.2 => constants.%x.param_patt.fbe
// CHECK:STDOUT: %x.patt.loc11_14.2 => constants.%x.patt.cdb
// CHECK:STDOUT: %x.patt.loc11_14.2 => constants.%x.patt.a34
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- generic_observe.carbon
@@ -943,7 +943,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.37b: type = facet_access_type %Self.dca [symbolic]
// CHECK:STDOUT: %pattern_type.f76: type = pattern_type %Self.as_type.37b [symbolic]
// CHECK:STDOUT: %self.param_patt.ee4: %pattern_type.f76 = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt.2e1: %pattern_type.f76 = at_binding_pattern self, %self.param_patt.ee4 [symbolic]
// CHECK:STDOUT: %self.patt.59e: %pattern_type.f76 = wrapper_binding_pattern self, %self.param_patt.ee4 [symbolic]
// CHECK:STDOUT: %I.lookup_impl_witness: <witness> = lookup_impl_witness %Self.dca, @I, @I(%T) [symbolic]
// CHECK:STDOUT: %impl.elem0: %facet_type.208 = impl_witness_access %I.lookup_impl_witness, element0 [symbolic]
// CHECK:STDOUT: %as_type: type = facet_access_type %impl.elem0 [symbolic]
@@ -957,7 +957,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %T.as_type: type = facet_access_type %T [symbolic]
// CHECK:STDOUT: %pattern_type.bc3: type = pattern_type %T.as_type [symbolic]
// CHECK:STDOUT: %t.param_patt: %pattern_type.bc3 = value_param_pattern [symbolic]
// CHECK:STDOUT: %t.patt: %pattern_type.bc3 = at_binding_pattern t, %t.param_patt [symbolic]
// CHECK:STDOUT: %t.patt: %pattern_type.bc3 = wrapper_binding_pattern t, %t.param_patt [symbolic]
// CHECK:STDOUT: %I.WithSelf.TakesT.type: type = fn_type @I.WithSelf.TakesT, @I.WithSelf(%T, %Self.dca) [symbolic]
// CHECK:STDOUT: %I.WithSelf.TakesT: %I.WithSelf.TakesT.type = struct_value () [symbolic]
// CHECK:STDOUT: %assoc2: %I.assoc_type = assoc_entity element2, @I.WithSelf.%I.WithSelf.TakesT.decl [symbolic]
@@ -1013,7 +1013,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: }
// CHECK:STDOUT: %I.WithSelf.GetU.decl: @I.WithSelf.%I.WithSelf.GetU.type (%I.WithSelf.GetU.type) = fn_decl @I.WithSelf.GetU [symbolic = @I.WithSelf.%I.WithSelf.GetU (constants.%I.WithSelf.GetU)] {
// CHECK:STDOUT: %self.param_patt.loc9_11.1: @I.WithSelf.GetU.%pattern_type.loc9_11 (%pattern_type.f76) = value_param_pattern [symbolic = %self.param_patt.loc9_11.2 (constants.%self.param_patt.ee4)]
// CHECK:STDOUT: %self.patt.loc9_11.1: @I.WithSelf.GetU.%pattern_type.loc9_11 (%pattern_type.f76) = at_binding_pattern self, %self.param_patt.loc9_11.1 [symbolic = %self.patt.loc9_11.2 (constants.%self.patt.2e1)]
// CHECK:STDOUT: %self.patt.loc9_11.1: @I.WithSelf.GetU.%pattern_type.loc9_11 (%pattern_type.f76) = wrapper_binding_pattern self, %self.param_patt.loc9_11.1 [symbolic = %self.patt.loc9_11.2 (constants.%self.patt.59e)]
// CHECK:STDOUT: %return.param_patt.loc9_20.1: @I.WithSelf.GetU.%pattern_type.loc9_20 (%pattern_type.079) = out_param_pattern [symbolic = %return.param_patt.loc9_20.2 (constants.%return.param_patt.82c)]
// CHECK:STDOUT: %return.patt.loc9_17.1: @I.WithSelf.GetU.%pattern_type.loc9_20 (%pattern_type.079) = return_slot_pattern %return.param_patt.loc9_20.1, %.loc9_20.2 [symbolic = %return.patt.loc9_17.2 (constants.%return.patt.4f7)]
// CHECK:STDOUT: } {
@@ -1036,9 +1036,9 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %assoc1.loc9_21.1: @I.WithSelf.%I.assoc_type (%I.assoc_type) = assoc_entity element1, %I.WithSelf.GetU.decl [symbolic = %assoc1.loc9_21.2 (constants.%assoc1)]
// CHECK:STDOUT: %I.WithSelf.TakesT.decl: @I.WithSelf.%I.WithSelf.TakesT.type (%I.WithSelf.TakesT.type) = fn_decl @I.WithSelf.TakesT [symbolic = @I.WithSelf.%I.WithSelf.TakesT (constants.%I.WithSelf.TakesT)] {
// CHECK:STDOUT: %self.param_patt.loc10_13.1: @I.WithSelf.TakesT.%pattern_type.loc10_13 (%pattern_type.f76) = value_param_pattern [symbolic = %self.param_patt.loc10_13.2 (constants.%self.param_patt.ee4)]
// CHECK:STDOUT: %self.patt.loc10_13.1: @I.WithSelf.TakesT.%pattern_type.loc10_13 (%pattern_type.f76) = at_binding_pattern self, %self.param_patt.loc10_13.1 [symbolic = %self.patt.loc10_13.2 (constants.%self.patt.2e1)]
// CHECK:STDOUT: %self.patt.loc10_13.1: @I.WithSelf.TakesT.%pattern_type.loc10_13 (%pattern_type.f76) = wrapper_binding_pattern self, %self.param_patt.loc10_13.1 [symbolic = %self.patt.loc10_13.2 (constants.%self.patt.59e)]
// CHECK:STDOUT: %t.param_patt.loc10_20.1: @I.WithSelf.TakesT.%pattern_type.loc10_20 (%pattern_type.bc3) = value_param_pattern [symbolic = %t.param_patt.loc10_20.2 (constants.%t.param_patt)]
// CHECK:STDOUT: %t.patt.loc10_20.1: @I.WithSelf.TakesT.%pattern_type.loc10_20 (%pattern_type.bc3) = at_binding_pattern t, %t.param_patt.loc10_20.1 [symbolic = %t.patt.loc10_20.2 (constants.%t.patt)]
// CHECK:STDOUT: %t.patt.loc10_20.1: @I.WithSelf.TakesT.%pattern_type.loc10_20 (%pattern_type.bc3) = wrapper_binding_pattern t, %t.param_patt.loc10_20.1 [symbolic = %t.patt.loc10_20.2 (constants.%t.patt)]
// CHECK:STDOUT: } {
// CHECK:STDOUT: %self.param: @I.WithSelf.TakesT.%Self.as_type.loc10_13.1 (%Self.as_type.37b) = value_param call_param0
// CHECK:STDOUT: %.loc10_13.1: type = splice_block %.loc10_13.3 [symbolic = %Self.as_type.loc10_13.1 (constants.%Self.as_type.37b)] {
@@ -1093,7 +1093,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc9_11.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc9_11.1 (constants.%Self.as_type.37b)]
// CHECK:STDOUT: %pattern_type.loc9_11: type = pattern_type %Self.as_type.loc9_11.1 [symbolic = %pattern_type.loc9_11 (constants.%pattern_type.f76)]
// CHECK:STDOUT: %self.param_patt.loc9_11.2: @I.WithSelf.GetU.%pattern_type.loc9_11 (%pattern_type.f76) = value_param_pattern [symbolic = %self.param_patt.loc9_11.2 (constants.%self.param_patt.ee4)]
// CHECK:STDOUT: %self.patt.loc9_11.2: @I.WithSelf.GetU.%pattern_type.loc9_11 (%pattern_type.f76) = at_binding_pattern self, %self.param_patt.loc9_11.2 [symbolic = %self.patt.loc9_11.2 (constants.%self.patt.2e1)]
// CHECK:STDOUT: %self.patt.loc9_11.2: @I.WithSelf.GetU.%pattern_type.loc9_11 (%pattern_type.f76) = wrapper_binding_pattern self, %self.param_patt.loc9_11.2 [symbolic = %self.patt.loc9_11.2 (constants.%self.patt.59e)]
// CHECK:STDOUT: %I.lookup_impl_witness: <witness> = lookup_impl_witness %Self, @I, @I(%T) [symbolic = %I.lookup_impl_witness (constants.%I.lookup_impl_witness)]
// CHECK:STDOUT: %impl.elem0.loc9_20.1: %facet_type.208 = impl_witness_access %I.lookup_impl_witness, element0 [symbolic = %impl.elem0.loc9_20.1 (constants.%impl.elem0)]
// CHECK:STDOUT: %as_type: type = facet_access_type %impl.elem0.loc9_20.1 [symbolic = %as_type (constants.%as_type)]
@@ -1112,11 +1112,11 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc10_13.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc10_13.1 (constants.%Self.as_type.37b)]
// CHECK:STDOUT: %pattern_type.loc10_13: type = pattern_type %Self.as_type.loc10_13.1 [symbolic = %pattern_type.loc10_13 (constants.%pattern_type.f76)]
// CHECK:STDOUT: %self.param_patt.loc10_13.2: @I.WithSelf.TakesT.%pattern_type.loc10_13 (%pattern_type.f76) = value_param_pattern [symbolic = %self.param_patt.loc10_13.2 (constants.%self.param_patt.ee4)]
// CHECK:STDOUT: %self.patt.loc10_13.2: @I.WithSelf.TakesT.%pattern_type.loc10_13 (%pattern_type.f76) = at_binding_pattern self, %self.param_patt.loc10_13.2 [symbolic = %self.patt.loc10_13.2 (constants.%self.patt.2e1)]
// CHECK:STDOUT: %self.patt.loc10_13.2: @I.WithSelf.TakesT.%pattern_type.loc10_13 (%pattern_type.f76) = wrapper_binding_pattern self, %self.param_patt.loc10_13.2 [symbolic = %self.patt.loc10_13.2 (constants.%self.patt.59e)]
// CHECK:STDOUT: %T.as_type.loc10_22.1: type = facet_access_type %T [symbolic = %T.as_type.loc10_22.1 (constants.%T.as_type)]
// CHECK:STDOUT: %pattern_type.loc10_20: type = pattern_type %T.as_type.loc10_22.1 [symbolic = %pattern_type.loc10_20 (constants.%pattern_type.bc3)]
// CHECK:STDOUT: %t.param_patt.loc10_20.2: @I.WithSelf.TakesT.%pattern_type.loc10_20 (%pattern_type.bc3) = value_param_pattern [symbolic = %t.param_patt.loc10_20.2 (constants.%t.param_patt)]
// CHECK:STDOUT: %t.patt.loc10_20.2: @I.WithSelf.TakesT.%pattern_type.loc10_20 (%pattern_type.bc3) = at_binding_pattern t, %t.param_patt.loc10_20.2 [symbolic = %t.patt.loc10_20.2 (constants.%t.patt)]
// CHECK:STDOUT: %t.patt.loc10_20.2: @I.WithSelf.TakesT.%pattern_type.loc10_20 (%pattern_type.bc3) = wrapper_binding_pattern t, %t.param_patt.loc10_20.2 [symbolic = %t.patt.loc10_20.2 (constants.%t.patt)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn(%self.param: @I.WithSelf.TakesT.%Self.as_type.loc10_13.1 (%Self.as_type.37b), %t.param: @I.WithSelf.TakesT.%T.as_type.loc10_22.1 (%T.as_type));
// CHECK:STDOUT: }
@@ -1135,7 +1135,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc9_11.1 => constants.%Self.as_type.37b
// CHECK:STDOUT: %pattern_type.loc9_11 => constants.%pattern_type.f76
// CHECK:STDOUT: %self.param_patt.loc9_11.2 => constants.%self.param_patt.ee4
// CHECK:STDOUT: %self.patt.loc9_11.2 => constants.%self.patt.2e1
// CHECK:STDOUT: %self.patt.loc9_11.2 => constants.%self.patt.59e
// CHECK:STDOUT: %I.lookup_impl_witness => constants.%I.lookup_impl_witness
// CHECK:STDOUT: %impl.elem0.loc9_20.1 => constants.%impl.elem0
// CHECK:STDOUT: %as_type => constants.%as_type
@@ -1152,7 +1152,7 @@ fn F[T: I(C)](t: T) {
// CHECK:STDOUT: %Self.as_type.loc10_13.1 => constants.%Self.as_type.37b
// CHECK:STDOUT: %pattern_type.loc10_13 => constants.%pattern_type.f76
// CHECK:STDOUT: %self.param_patt.loc10_13.2 => constants.%self.param_patt.ee4
// CHECK:STDOUT: %self.patt.loc10_13.2 => constants.%self.patt.2e1
// CHECK:STDOUT: %self.patt.loc10_13.2 => constants.%self.patt.59e
// CHECK:STDOUT: %T.as_type.loc10_22.1 => constants.%T.as_type
// CHECK:STDOUT: %pattern_type.loc10_20 => constants.%pattern_type.bc3
// CHECK:STDOUT: %t.param_patt.loc10_20.2 => constants.%t.param_patt
toolchain/check/testdata/interface/self.carbon
Vendored
+3 -3
View File
@@ -25,7 +25,7 @@ interface UseSelf {
// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type [symbolic]
// CHECK:STDOUT: %self.param_patt: %pattern_type = value_param_pattern [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = at_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %self.patt: %pattern_type = wrapper_binding_pattern self, %self.param_patt [symbolic]
// CHECK:STDOUT: %.326: Core.Form = init_form %Self.as_type [symbolic]
// CHECK:STDOUT: %return.param_patt: %pattern_type = out_param_pattern [symbolic]
// CHECK:STDOUT: %return.patt: %pattern_type = return_slot_pattern %return.param_patt, %Self.as_type [symbolic]
@@ -49,7 +49,7 @@ interface UseSelf {
// CHECK:STDOUT: !with Self:
// CHECK:STDOUT: %UseSelf.WithSelf.F.decl: @UseSelf.WithSelf.%UseSelf.WithSelf.F.type (%UseSelf.WithSelf.F.type) = fn_decl @UseSelf.WithSelf.F [symbolic = @UseSelf.WithSelf.%UseSelf.WithSelf.F (constants.%UseSelf.WithSelf.F)] {
// CHECK:STDOUT: %self.param_patt.loc16_8.1: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc16_8.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc16_8.1: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc16_8.1 [symbolic = %self.patt.loc16_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc16_8.1: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc16_8.1 [symbolic = %self.patt.loc16_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %return.param_patt.loc16_17.1: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = out_param_pattern [symbolic = %return.param_patt.loc16_17.2 (constants.%return.param_patt)]
// CHECK:STDOUT: %return.patt.loc16_14.1: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = return_slot_pattern %return.param_patt.loc16_17.1, %.loc16_17.2 [symbolic = %return.patt.loc16_14.2 (constants.%return.patt)]
// CHECK:STDOUT: } {
@@ -82,7 +82,7 @@ interface UseSelf {
// CHECK:STDOUT: %Self.as_type.loc16_8.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc16_8.1 (constants.%Self.as_type)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Self.as_type.loc16_8.1 [symbolic = %pattern_type (constants.%pattern_type)]
// CHECK:STDOUT: %self.param_patt.loc16_8.2: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = value_param_pattern [symbolic = %self.param_patt.loc16_8.2 (constants.%self.param_patt)]
// CHECK:STDOUT: %self.patt.loc16_8.2: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = at_binding_pattern self, %self.param_patt.loc16_8.2 [symbolic = %self.patt.loc16_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %self.patt.loc16_8.2: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = wrapper_binding_pattern self, %self.param_patt.loc16_8.2 [symbolic = %self.patt.loc16_8.2 (constants.%self.patt)]
// CHECK:STDOUT: %.loc16_17.1: Core.Form = init_form %Self.as_type.loc16_8.1 [symbolic = %.loc16_17.1 (constants.%.326)]
// CHECK:STDOUT: %return.param_patt.loc16_17.2: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = out_param_pattern [symbolic = %return.param_patt.loc16_17.2 (constants.%return.param_patt)]
// CHECK:STDOUT: %return.patt.loc16_14.2: @UseSelf.WithSelf.F.%pattern_type (%pattern_type) = return_slot_pattern %return.param_patt.loc16_17.2, %Self.as_type.loc16_8.1 [symbolic = %return.patt.loc16_14.2 (constants.%return.patt)]
toolchain/check/testdata/interface/todo_define_not_default.carbon
Vendored
+4 -4
View File
@@ -38,9 +38,9 @@ interface I {
// CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete]
// CHECK:STDOUT: %pattern_type.6b6: type = pattern_type %i32 [concrete]
// CHECK:STDOUT: %a.param_patt: %pattern_type.6b6 = value_param_pattern [concrete]
// CHECK:STDOUT: %a.patt: %pattern_type.6b6 = at_binding_pattern a, %a.param_patt [concrete]
// CHECK:STDOUT: %a.patt: %pattern_type.6b6 = wrapper_binding_pattern a, %a.param_patt [concrete]
// CHECK:STDOUT: %b.param_patt: %pattern_type.6b6 = value_param_pattern [concrete]
// CHECK:STDOUT: %b.patt: %pattern_type.6b6 = at_binding_pattern b, %b.param_patt [concrete]
// CHECK:STDOUT: %b.patt: %pattern_type.6b6 = wrapper_binding_pattern b, %b.param_patt [concrete]
// CHECK:STDOUT: %.795f: Core.Form = init_form %i32 [concrete]
// CHECK:STDOUT: %return.param_patt.a9a: %pattern_type.6b6 = out_param_pattern [concrete]
// CHECK:STDOUT: %return.patt.e1b: %pattern_type.6b6 = return_slot_pattern %return.param_patt.a9a, %i32 [concrete]
@@ -102,9 +102,9 @@ interface I {
// CHECK:STDOUT: %assoc0: %I.assoc_type = assoc_entity element0, %I.WithSelf.F.decl [concrete = constants.%assoc0.6c9]
// CHECK:STDOUT: %I.WithSelf.G.decl: @I.WithSelf.%I.WithSelf.G.type (%I.WithSelf.G.type) = fn_decl @I.WithSelf.G [symbolic = @I.WithSelf.%I.WithSelf.G (constants.%I.WithSelf.G)] {
// CHECK:STDOUT: %a.param_patt: %pattern_type.6b6 = value_param_pattern [concrete = constants.%a.param_patt]
// CHECK:STDOUT: %a.patt: %pattern_type.6b6 = at_binding_pattern a, %a.param_patt [concrete = constants.%a.patt]
// CHECK:STDOUT: %a.patt: %pattern_type.6b6 = wrapper_binding_pattern a, %a.param_patt [concrete = constants.%a.patt]
// CHECK:STDOUT: %b.param_patt: %pattern_type.6b6 = value_param_pattern [concrete = constants.%b.param_patt]
// CHECK:STDOUT: %b.patt: %pattern_type.6b6 = at_binding_pattern b, %b.param_patt [concrete = constants.%b.patt]
// CHECK:STDOUT: %b.patt: %pattern_type.6b6 = wrapper_binding_pattern b, %b.param_patt [concrete = constants.%b.patt]
// CHECK:STDOUT: %return.param_patt: %pattern_type.6b6 = out_param_pattern [concrete = constants.%return.param_patt.a9a]
// CHECK:STDOUT: %return.patt: %pattern_type.6b6 = return_slot_pattern %return.param_patt, %i32.loc18_27 [concrete = constants.%return.patt.e1b]
// CHECK:STDOUT: } {