صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
tomteb
/
carbon-lang
1
0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
درخت: e060342411
شاخه‌ها تگ‌ها
carbon-lang
/
toolchain
/
check
/
testdata
/
impl
/
no_prelude
/
impl_thunk.carbon

impl_thunk.carbon 117 KB
تاريخچه خام

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007 
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
    2. 

  2. // Exceptions. See /LICENSE for license information.
    3. 

  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
    4. 

  4. //
    5. 

  5. // AUTOUPDATE
    6. 

  6. // TIP: To test this file alone, run:
    7. 

  7. // TIP:   bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/impl/no_prelude/impl_thunk.carbon
    8. 

  8. // TIP: To dump output, run:
    9. 

  9. // TIP:   bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/impl/no_prelude/impl_thunk.carbon
    10. 

  10. 

  11. // --- no_thunk_param_name_differs.carbon
    12. 

  12. 

  13. library "[[@TEST_NAME]]";
    14. 

  14. 

  15. interface I { fn F(x: Self); }
    16. 

  16. 

  17. // This is OK, and does not require a thunk despite the parameter name differing.
    18. 

  18. class C {
    19. 

  19.   impl as I {
    20. 

  20.     fn F(not_x: C);
    21. 

  21.   }
    22. 

  22. }
    23. 

  23. 

  24. // --- struct_conversion.carbon
    25. 

  25. 

  26. library "[[@TEST_NAME]]";
    27. 

  27. 

  28. interface I {
    29. 

  29.   fn F(x: {.a: (), .b: {}}) -> {.c: (), .d: {}};
    30. 

  30. }
    31. 

  31. 

  32. impl () as I {
    33. 

  33.   fn F(y: {.b: {}, .a: ()}) -> {.d: {}, .c: ()};
    34. 

  34. }
    35. 

  35. 

  36. // --- inheritance_conversion.carbon
    37. 

  37. 

  38. library "[[@TEST_NAME]]";
    39. 

  39. 

  40. base class A {}
    41. 

  41. base class B { extend base: A; }
    42. 

  42. class C { extend base: B; }
    43. 

  43. 

  44. interface X {
    45. 

  45.   fn F[addr self: Self*](other: Self*) -> Self*;
    46. 

  46. }
    47. 

  47. 

  48. impl B as X {
    49. 

  49.   fn F[addr self: A*](other: A*) -> C*;
    50. 

  50. }
    51. 

  51. 

  52. // --- inheritance_value_conversion.carbon
    53. 

  53. 

  54. library "[[@TEST_NAME]]";
    55. 

  55. 

  56. base class A {}
    57. 

  57. class B { extend base: A; }
    58. 

  58. 

  59. interface X {
    60. 

  60.   fn F[self: Self](other: Self);
    61. 

  61. }
    62. 

  62. 

  63. impl B as X {
    64. 

  64.   fn F[self: A](other: A);
    65. 

  65. }
    66. 

  66. 

  67. // --- inheritance_value_conversion_pointer.carbon
    68. 

  68. 

  69. library "[[@TEST_NAME]]";
    70. 

  70. 

  71. base class A {}
    72. 

  72. base class B { extend base: A; }
    73. 

  73. class C { extend base: B; }
    74. 

  74. 

  75. interface X {
    76. 

  76.   fn F[addr self: Self*](other: Self*) -> Self*;
    77. 

  77. }
    78. 

  78. 

  79. impl B as X {
    80. 

  80.   fn F[addr self: A*](other: A*) -> C*;
    81. 

  81. }
    82. 

  82. 

  83. // --- fail_inheritance_value_conversion_copy_return.carbon
    84. 

  84. 

  85. library "[[@TEST_NAME]]";
    86. 

  86. 

  87. base class A {}
    88. 

  88. class B { extend base: A; }
    89. 

  89. 

  90. interface X {
    91. 

  91.   fn F() -> Self;
    92. 

  92. }
    93. 

  93. 

  94. impl A as X {
    95. 

  95.   // CHECK:STDERR: fail_inheritance_value_conversion_copy_return.carbon:[[@LINE+7]]:3: error: cannot copy value of type `A` [CopyOfUncopyableType]
    96. 

  96.   // CHECK:STDERR:   fn F() -> B;
    97. 

  97.   // CHECK:STDERR:   ^~~~~~~~~~~~
    98. 

  98.   // CHECK:STDERR: fail_inheritance_value_conversion_copy_return.carbon:[[@LINE-7]]:3: note: while building thunk to match the signature of this function [ThunkSignature]
    99. 

  99.   // CHECK:STDERR:   fn F() -> Self;
    100. 

  100.   // CHECK:STDERR:   ^~~~~~~~~~~~~~~
    101. 

  101.   // CHECK:STDERR:
    102. 

  102.   fn F() -> B;
    103. 

  103. }
    104. 

  104. 

  105. // --- fail_param_type_mismatch.carbon
    106. 

  106. 

  107. library "[[@TEST_NAME]]";
    108. 

  108. 

  109. interface I {
    110. 

  110.   // CHECK:STDERR: fail_param_type_mismatch.carbon:[[@LINE+3]]:8: error: `Core.ImplicitAs` implicitly referenced here, but package `Core` not found [CoreNotFound]
    111. 

  111.   // CHECK:STDERR:   fn F(a: Self);
    112. 

  112.   // CHECK:STDERR:        ^~~~~~~
    113. 

  113.   fn F(a: Self);
    114. 

  114. }
    115. 

  115. 

  116. class A {}
    117. 

  117. class B {}
    118. 

  118. 

  119. impl A as I {
    120. 

  120.   // CHECK:STDERR: fail_param_type_mismatch.carbon:[[@LINE+7]]:8: note: initializing function parameter [InCallToFunctionParam]
    121. 

  121.   // CHECK:STDERR:   fn F(a: B);
    122. 

  122.   // CHECK:STDERR:        ^~~~
    123. 

  123.   // CHECK:STDERR: fail_param_type_mismatch.carbon:[[@LINE-10]]:3: note: while building thunk to match the signature of this function [ThunkSignature]
    124. 

  124.   // CHECK:STDERR:   fn F(a: Self);
    125. 

  125.   // CHECK:STDERR:   ^~~~~~~~~~~~~~
    126. 

  126.   // CHECK:STDERR:
    127. 

  127.   fn F(a: B);
    128. 

  128. }
    129. 

  129. 

  130. // --- fail_return_mismatch.carbon
    131. 

  131. 

  132. library "[[@TEST_NAME]]";
    133. 

  133. 

  134. interface I {
    135. 

  135.   fn F() -> Self;
    136. 

  136. }
    137. 

  137. 

  138. class A {}
    139. 

  139. class B {}
    140. 

  140. 

  141. impl A as I {
    142. 

  142.   // CHECK:STDERR: fail_return_mismatch.carbon:[[@LINE+7]]:3: error: `Core.ImplicitAs` implicitly referenced here, but package `Core` not found [CoreNotFound]
    143. 

  143.   // CHECK:STDERR:   fn F() -> B;
    144. 

  144.   // CHECK:STDERR:   ^~~~~~~~~~~~
    145. 

  145.   // CHECK:STDERR: fail_return_mismatch.carbon:[[@LINE-10]]:3: note: while building thunk to match the signature of this function [ThunkSignature]
    146. 

  146.   // CHECK:STDERR:   fn F() -> Self;
    147. 

  147.   // CHECK:STDERR:   ^~~~~~~~~~~~~~~
    148. 

  148.   // CHECK:STDERR:
    149. 

  149.   fn F() -> B;
    150. 

  150. }
    151. 

  151. 

  152. // --- return_empty_tuple_mismatch_allowed.carbon
    153. 

  153. 

  154. library "[[@TEST_NAME]]";
    155. 

  155. 

  156. interface I {
    157. 

  157.   fn HasReturn() -> Self;
    158. 

  158.   fn NoReturn();
    159. 

  159.   fn EmptyTupleReturn() -> ();
    160. 

  160. }
    161. 

  161. 

  162. impl () as I {
    163. 

  163.   // OK, can `return HasReturn();` in thunk.
    164. 

  164.   fn HasReturn();
    165. 

  165. 

  166.   // OK, exact match.
    167. 

  167.   fn NoReturn();
    168. 

  168. 

  169.   // OK, same as `HasReturn`.
    170. 

  170.   fn EmptyTupleReturn();
    171. 

  171. }
    172. 

  172. 

  173. // --- fail_return_empty_tuple_mismatch.carbon
    174. 

  174. 

  175. library "[[@TEST_NAME]]";
    176. 

  176. 

  177. interface I {
    178. 

  178.   fn NoReturn();
    179. 

  179. }
    180. 

  180. 

  181. impl () as I {
    182. 

  182.   // TODO: The proposal says to reject this. But should we really do so?
    183. 

  183.   // CHECK:STDERR: fail_return_empty_tuple_mismatch.carbon:[[@LINE+7]]:3: error: function redeclaration differs because return type is `()` [FunctionRedeclReturnTypeDiffers]
    184. 

  184.   // CHECK:STDERR:   fn NoReturn() -> ();
    185. 

  185.   // CHECK:STDERR:   ^~~~~~~~~~~~~~~~~~~~
    186. 

  186.   // CHECK:STDERR: fail_return_empty_tuple_mismatch.carbon:[[@LINE-8]]:3: note: previously declared with no return type [FunctionRedeclReturnTypePreviousNoReturn]
    187. 

  187.   // CHECK:STDERR:   fn NoReturn();
    188. 

  188.   // CHECK:STDERR:   ^~~~~~~~~~~~~~
    189. 

  189.   // CHECK:STDERR:
    190. 

  190.   fn NoReturn() -> ();
    191. 

  191. }
    192. 

  192. 

  193. class C {}
    194. 

  194. 

  195. impl C as I {
    196. 

  196.   // CHECK:STDERR: fail_return_empty_tuple_mismatch.carbon:[[@LINE+7]]:3: error: function redeclaration differs because return type is `C` [FunctionRedeclReturnTypeDiffers]
    197. 

  197.   // CHECK:STDERR:   fn NoReturn() -> C;
    198. 

  198.   // CHECK:STDERR:   ^~~~~~~~~~~~~~~~~~~
    199. 

  199.   // CHECK:STDERR: fail_return_empty_tuple_mismatch.carbon:[[@LINE-21]]:3: note: previously declared with no return type [FunctionRedeclReturnTypePreviousNoReturn]
    200. 

  200.   // CHECK:STDERR:   fn NoReturn();
    201. 

  201.   // CHECK:STDERR:   ^~~~~~~~~~~~~~
    202. 

  202.   // CHECK:STDERR:
    203. 

  203.   fn NoReturn() -> C;
    204. 

  204. }
    205. 

  205. 

  206. // --- fail_param_type_incomplete.carbon
    207. 

  207. 

  208. library "[[@TEST_NAME]]";
    209. 

  209. 

  210. interface I(T:! type) {
    211. 

  211.   // CHECK:STDERR: fail_param_type_incomplete.carbon:[[@LINE+3]]:8: error: parameter has incomplete type `B` in function definition [IncompleteTypeInFunctionParam]
    212. 

  212.   // CHECK:STDERR:   fn F(a: T);
    213. 

  213.   // CHECK:STDERR:        ^~~~
    214. 

  214.   fn F(a: T);
    215. 

  215. }
    216. 

  216. 

  217. // CHECK:STDERR: fail_param_type_incomplete.carbon:[[@LINE+3]]:1: note: class was forward declared here [ClassForwardDeclaredHere]
    218. 

  218. // CHECK:STDERR: class B;
    219. 

  219. // CHECK:STDERR: ^~~~~~~~
    220. 

  220. class B;
    221. 

  221. 

  222. class C {
    223. 

  223.   impl as I(B) {
    224. 

  224.     // CHECK:STDERR: fail_param_type_incomplete.carbon:[[@LINE+14]]:5: note: while building thunk calling this function [ThunkCallee]
    225. 

  225.     // CHECK:STDERR:     fn F(c: C);
    226. 

  226.     // CHECK:STDERR:     ^~~~~~~~~~~
    227. 

  227.     // CHECK:STDERR:
    228. 

  228.     // CHECK:STDERR: fail_param_type_incomplete.carbon:[[@LINE-14]]:8: error: `Core.ImplicitAs` implicitly referenced here, but package `Core` not found [CoreNotFound]
    229. 

  229.     // CHECK:STDERR:   fn F(a: T);
    230. 

  230.     // CHECK:STDERR:        ^~~~
    231. 

  231.     // CHECK:STDERR: fail_param_type_incomplete.carbon:[[@LINE+7]]:10: note: initializing function parameter [InCallToFunctionParam]
    232. 

  232.     // CHECK:STDERR:     fn F(c: C);
    233. 

  233.     // CHECK:STDERR:          ^~~~
    234. 

  234.     // CHECK:STDERR: fail_param_type_incomplete.carbon:[[@LINE-20]]:3: note: while building thunk to match the signature of this function [ThunkSignature]
    235. 

  235.     // CHECK:STDERR:   fn F(a: T);
    236. 

  236.     // CHECK:STDERR:   ^~~~~~~~~~~
    237. 

  237.     // CHECK:STDERR:
    238. 

  238.     fn F(c: C);
    239. 

  239.   }
    240. 

  240. }
    241. 

  241. 

  242. // CHECK:STDOUT: --- no_thunk_param_name_differs.carbon
    243. 

  243. // CHECK:STDOUT:
    244. 

  244. // CHECK:STDOUT: constants {
    245. 

  245. // CHECK:STDOUT:   %I.type: type = facet_type <@I> [concrete]
    246. 

  246. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic]
    247. 

  247. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    248. 

  248. // CHECK:STDOUT:   %pattern_type.6de: type = pattern_type %Self.as_type [symbolic]
    249. 

  249. // CHECK:STDOUT:   %F.type.cf0: type = fn_type @F.1 [concrete]
    250. 

  250. // CHECK:STDOUT:   %F.bc6: %F.type.cf0 = struct_value () [concrete]
    251. 

  251. // CHECK:STDOUT:   %I.assoc_type: type = assoc_entity_type @I [concrete]
    252. 

  252. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, @I.%F.decl [concrete]
    253. 

  253. // CHECK:STDOUT:   %C: type = class_type @C [concrete]
    254. 

  254. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness @C.%I.impl_witness_table [concrete]
    255. 

  255. // CHECK:STDOUT:   %pattern_type.c48: type = pattern_type %C [concrete]
    256. 

  256. // CHECK:STDOUT:   %F.type.f36: type = fn_type @F.2 [concrete]
    257. 

  257. // CHECK:STDOUT:   %F.4c3: %F.type.f36 = struct_value () [concrete]
    258. 

  258. // CHECK:STDOUT:   %I.facet: %I.type = facet_value %C, (%I.impl_witness) [concrete]
    259. 

  259. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    260. 

  260. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete]
    261. 

  261. // CHECK:STDOUT: }
    262. 

  262. // CHECK:STDOUT:
    263. 

  263. // CHECK:STDOUT: file {
    264. 

  264. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    265. 

  265. // CHECK:STDOUT:     .I = %I.decl
    266. 

  266. // CHECK:STDOUT:     .C = %C.decl
    267. 

  267. // CHECK:STDOUT:   }
    268. 

  268. // CHECK:STDOUT:   %I.decl: type = interface_decl @I [concrete = constants.%I.type] {} {}
    269. 

  269. // CHECK:STDOUT:   %C.decl: type = class_decl @C [concrete = constants.%C] {} {}
    270. 

  270. // CHECK:STDOUT: }
    271. 

  271. // CHECK:STDOUT:
    272. 

  272. // CHECK:STDOUT: interface @I {
    273. 

  273. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    274. 

  274. // CHECK:STDOUT:   %F.decl: %F.type.cf0 = fn_decl @F.1 [concrete = constants.%F.bc6] {
    275. 

  275. // CHECK:STDOUT:     %x.patt: @F.1.%pattern_type (%pattern_type.6de) = binding_pattern x [concrete]
    276. 

  276. // CHECK:STDOUT:     %x.param_patt: @F.1.%pattern_type (%pattern_type.6de) = value_param_pattern %x.patt, call_param0 [concrete]
    277. 

  277. // CHECK:STDOUT:   } {
    278. 

  278. // CHECK:STDOUT:     %x.param: @F.1.%Self.as_type.loc4_23.1 (%Self.as_type) = value_param call_param0
    279. 

  279. // CHECK:STDOUT:     %.loc4_23.1: type = splice_block %.loc4_23.2 [symbolic = %Self.as_type.loc4_23.1 (constants.%Self.as_type)] {
    280. 

  280. // CHECK:STDOUT:       %Self.ref: %I.type = name_ref Self, @I.%Self [symbolic = %Self (constants.%Self)]
    281. 

  281. // CHECK:STDOUT:       %Self.as_type.loc4_23.2: type = facet_access_type %Self.ref [symbolic = %Self.as_type.loc4_23.1 (constants.%Self.as_type)]
    282. 

  282. // CHECK:STDOUT:       %.loc4_23.2: type = converted %Self.ref, %Self.as_type.loc4_23.2 [symbolic = %Self.as_type.loc4_23.1 (constants.%Self.as_type)]
    283. 

  283. // CHECK:STDOUT:     }
    284. 

  284. // CHECK:STDOUT:     %x: @F.1.%Self.as_type.loc4_23.1 (%Self.as_type) = bind_name x, %x.param
    285. 

  285. // CHECK:STDOUT:   }
    286. 

  286. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    287. 

  287. // CHECK:STDOUT:
    288. 

  288. // CHECK:STDOUT: !members:
    289. 

  289. // CHECK:STDOUT:   .Self = %Self
    290. 

  290. // CHECK:STDOUT:   .F = %assoc0
    291. 

  291. // CHECK:STDOUT:   witness = (%F.decl)
    292. 

  292. // CHECK:STDOUT: }
    293. 

  293. // CHECK:STDOUT:
    294. 

  294. // CHECK:STDOUT: impl @impl: %Self.ref as %I.ref {
    295. 

  295. // CHECK:STDOUT:   %F.decl: %F.type.f36 = fn_decl @F.2 [concrete = constants.%F.4c3] {
    296. 

  296. // CHECK:STDOUT:     %not_x.patt: %pattern_type.c48 = binding_pattern not_x [concrete]
    297. 

  297. // CHECK:STDOUT:     %not_x.param_patt: %pattern_type.c48 = value_param_pattern %not_x.patt, call_param0 [concrete]
    298. 

  298. // CHECK:STDOUT:   } {
    299. 

  299. // CHECK:STDOUT:     %not_x.param: %C = value_param call_param0
    300. 

  300. // CHECK:STDOUT:     %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C]
    301. 

  301. // CHECK:STDOUT:     %not_x: %C = bind_name not_x, %not_x.param
    302. 

  302. // CHECK:STDOUT:   }
    303. 

  303. // CHECK:STDOUT:
    304. 

  304. // CHECK:STDOUT: !members:
    305. 

  305. // CHECK:STDOUT:   .C = <poisoned>
    306. 

  306. // CHECK:STDOUT:   .F = %F.decl
    307. 

  307. // CHECK:STDOUT:   witness = @C.%I.impl_witness
    308. 

  308. // CHECK:STDOUT: }
    309. 

  309. // CHECK:STDOUT:
    310. 

  310. // CHECK:STDOUT: class @C {
    311. 

  311. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    312. 

  312. // CHECK:STDOUT:     %Self.ref: type = name_ref Self, constants.%C [concrete = constants.%C]
    313. 

  313. // CHECK:STDOUT:     %I.ref: type = name_ref I, file.%I.decl [concrete = constants.%I.type]
    314. 

  314. // CHECK:STDOUT:   }
    315. 

  315. // CHECK:STDOUT:   %I.impl_witness_table = impl_witness_table (@impl.%F.decl), @impl [concrete]
    316. 

  316. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness %I.impl_witness_table [concrete = constants.%I.impl_witness]
    317. 

  317. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    318. 

  318. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type]
    319. 

  319. // CHECK:STDOUT:   complete_type_witness = %complete_type
    320. 

  320. // CHECK:STDOUT:
    321. 

  321. // CHECK:STDOUT: !members:
    322. 

  322. // CHECK:STDOUT:   .Self = constants.%C
    323. 

  323. // CHECK:STDOUT:   .I = <poisoned>
    324. 

  324. // CHECK:STDOUT:   .C = <poisoned>
    325. 

  325. // CHECK:STDOUT: }
    326. 

  326. // CHECK:STDOUT:
    327. 

  327. // CHECK:STDOUT: generic fn @F.1(@I.%Self: %I.type) {
    328. 

  328. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    329. 

  329. // CHECK:STDOUT:   %Self.as_type.loc4_23.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc4_23.1 (constants.%Self.as_type)]
    330. 

  330. // CHECK:STDOUT:   %pattern_type: type = pattern_type %Self.as_type.loc4_23.1 [symbolic = %pattern_type (constants.%pattern_type.6de)]
    331. 

  331. // CHECK:STDOUT:
    332. 

  332. // CHECK:STDOUT:   fn(%x.param: @F.1.%Self.as_type.loc4_23.1 (%Self.as_type));
    333. 

  333. // CHECK:STDOUT: }
    334. 

  334. // CHECK:STDOUT:
    335. 

  335. // CHECK:STDOUT: fn @F.2(%not_x.param: %C);
    336. 

  336. // CHECK:STDOUT:
    337. 

  337. // CHECK:STDOUT: specific @F.1(constants.%Self) {
    338. 

  338. // CHECK:STDOUT:   %Self => constants.%Self
    339. 

  339. // CHECK:STDOUT:   %Self.as_type.loc4_23.1 => constants.%Self.as_type
    340. 

  340. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.6de
    341. 

  341. // CHECK:STDOUT: }
    342. 

  342. // CHECK:STDOUT:
    343. 

  343. // CHECK:STDOUT: specific @F.1(constants.%I.facet) {
    344. 

  344. // CHECK:STDOUT:   %Self => constants.%I.facet
    345. 

  345. // CHECK:STDOUT:   %Self.as_type.loc4_23.1 => constants.%C
    346. 

  346. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.c48
    347. 

  347. // CHECK:STDOUT: }
    348. 

  348. // CHECK:STDOUT:
    349. 

  349. // CHECK:STDOUT: --- struct_conversion.carbon
    350. 

  350. // CHECK:STDOUT:
    351. 

  351. // CHECK:STDOUT: constants {
    352. 

  352. // CHECK:STDOUT:   %I.type: type = facet_type <@I> [concrete]
    353. 

  353. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic]
    354. 

  354. // CHECK:STDOUT:   %empty_tuple.type: type = tuple_type () [concrete]
    355. 

  355. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    356. 

  356. // CHECK:STDOUT:   %struct_type.a.b.391: type = struct_type {.a: %empty_tuple.type, .b: %empty_struct_type} [concrete]
    357. 

  357. // CHECK:STDOUT:   %pattern_type.bec: type = pattern_type %struct_type.a.b.391 [concrete]
    358. 

  358. // CHECK:STDOUT:   %struct_type.c.d.15a: type = struct_type {.c: %empty_tuple.type, .d: %empty_struct_type} [concrete]
    359. 

  359. // CHECK:STDOUT:   %pattern_type.d63: type = pattern_type %struct_type.c.d.15a [concrete]
    360. 

  360. // CHECK:STDOUT:   %F.type.cf0: type = fn_type @F.1 [concrete]
    361. 

  361. // CHECK:STDOUT:   %F.bc6: %F.type.cf0 = struct_value () [concrete]
    362. 

  362. // CHECK:STDOUT:   %I.assoc_type: type = assoc_entity_type @I [concrete]
    363. 

  363. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, @I.%F.decl [concrete]
    364. 

  364. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness file.%I.impl_witness_table [concrete]
    365. 

  365. // CHECK:STDOUT:   %struct_type.b.a.40c: type = struct_type {.b: %empty_struct_type, .a: %empty_tuple.type} [concrete]
    366. 

  366. // CHECK:STDOUT:   %pattern_type.231: type = pattern_type %struct_type.b.a.40c [concrete]
    367. 

  367. // CHECK:STDOUT:   %struct_type.d.c.b36: type = struct_type {.d: %empty_struct_type, .c: %empty_tuple.type} [concrete]
    368. 

  368. // CHECK:STDOUT:   %pattern_type.844: type = pattern_type %struct_type.d.c.b36 [concrete]
    369. 

  369. // CHECK:STDOUT:   %F.type.39e918.1: type = fn_type @F.2 [concrete]
    370. 

  370. // CHECK:STDOUT:   %F.c04b92.1: %F.type.39e918.1 = struct_value () [concrete]
    371. 

  371. // CHECK:STDOUT:   %I.facet: %I.type = facet_value %empty_tuple.type, (%I.impl_witness) [concrete]
    372. 

  372. // CHECK:STDOUT:   %F.type.39e918.2: type = fn_type @F.3 [concrete]
    373. 

  373. // CHECK:STDOUT:   %F.c04b92.2: %F.type.39e918.2 = struct_value () [concrete]
    374. 

  374. // CHECK:STDOUT:   %empty_tuple: %empty_tuple.type = tuple_value () [concrete]
    375. 

  375. // CHECK:STDOUT:   %empty_struct: %empty_struct_type = struct_value () [concrete]
    376. 

  376. // CHECK:STDOUT:   %struct: %struct_type.c.d.15a = struct_value (%empty_tuple, %empty_struct) [concrete]
    377. 

  377. // CHECK:STDOUT: }
    378. 

  378. // CHECK:STDOUT:
    379. 

  379. // CHECK:STDOUT: file {
    380. 

  380. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    381. 

  381. // CHECK:STDOUT:     .I = %I.decl
    382. 

  382. // CHECK:STDOUT:   }
    383. 

  383. // CHECK:STDOUT:   %I.decl: type = interface_decl @I [concrete = constants.%I.type] {} {}
    384. 

  384. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    385. 

  385. // CHECK:STDOUT:     %.loc8_7.1: %empty_tuple.type = tuple_literal ()
    386. 

  386. // CHECK:STDOUT:     %.loc8_7.2: type = converted %.loc8_7.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    387. 

  387. // CHECK:STDOUT:     %I.ref: type = name_ref I, file.%I.decl [concrete = constants.%I.type]
    388. 

  388. // CHECK:STDOUT:   }
    389. 

  389. // CHECK:STDOUT:   %I.impl_witness_table = impl_witness_table (@impl.%F.decl.loc9_48.2), @impl [concrete]
    390. 

  390. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness %I.impl_witness_table [concrete = constants.%I.impl_witness]
    391. 

  391. // CHECK:STDOUT: }
    392. 

  392. // CHECK:STDOUT:
    393. 

  393. // CHECK:STDOUT: interface @I {
    394. 

  394. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    395. 

  395. // CHECK:STDOUT:   %F.decl: %F.type.cf0 = fn_decl @F.1 [concrete = constants.%F.bc6] {
    396. 

  396. // CHECK:STDOUT:     %x.patt: %pattern_type.bec = binding_pattern x [concrete]
    397. 

  397. // CHECK:STDOUT:     %x.param_patt: %pattern_type.bec = value_param_pattern %x.patt, call_param0 [concrete]
    398. 

  398. // CHECK:STDOUT:     %return.patt: %pattern_type.d63 = return_slot_pattern [concrete]
    399. 

  399. // CHECK:STDOUT:     %return.param_patt: %pattern_type.d63 = out_param_pattern %return.patt, call_param1 [concrete]
    400. 

  400. // CHECK:STDOUT:   } {
    401. 

  401. // CHECK:STDOUT:     %.loc5_38.1: %empty_tuple.type = tuple_literal ()
    402. 

  402. // CHECK:STDOUT:     %.loc5_38.2: type = converted %.loc5_38.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    403. 

  403. // CHECK:STDOUT:     %.loc5_46.1: %empty_struct_type = struct_literal ()
    404. 

  404. // CHECK:STDOUT:     %.loc5_46.2: type = converted %.loc5_46.1, constants.%empty_struct_type [concrete = constants.%empty_struct_type]
    405. 

  405. // CHECK:STDOUT:     %struct_type.c.d: type = struct_type {.c: %empty_tuple.type, .d: %empty_struct_type} [concrete = constants.%struct_type.c.d.15a]
    406. 

  406. // CHECK:STDOUT:     %x.param: %struct_type.a.b.391 = value_param call_param0
    407. 

  407. // CHECK:STDOUT:     %.loc5_26: type = splice_block %struct_type.a.b [concrete = constants.%struct_type.a.b.391] {
    408. 

  408. // CHECK:STDOUT:       %.loc5_17.1: %empty_tuple.type = tuple_literal ()
    409. 

  409. // CHECK:STDOUT:       %.loc5_17.2: type = converted %.loc5_17.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    410. 

  410. // CHECK:STDOUT:       %.loc5_25.1: %empty_struct_type = struct_literal ()
    411. 

  411. // CHECK:STDOUT:       %.loc5_25.2: type = converted %.loc5_25.1, constants.%empty_struct_type [concrete = constants.%empty_struct_type]
    412. 

  412. // CHECK:STDOUT:       %struct_type.a.b: type = struct_type {.a: %empty_tuple.type, .b: %empty_struct_type} [concrete = constants.%struct_type.a.b.391]
    413. 

  413. // CHECK:STDOUT:     }
    414. 

  414. // CHECK:STDOUT:     %x: %struct_type.a.b.391 = bind_name x, %x.param
    415. 

  415. // CHECK:STDOUT:     %return.param: ref %struct_type.c.d.15a = out_param call_param1
    416. 

  416. // CHECK:STDOUT:     %return: ref %struct_type.c.d.15a = return_slot %return.param
    417. 

  417. // CHECK:STDOUT:   }
    418. 

  418. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    419. 

  419. // CHECK:STDOUT:
    420. 

  420. // CHECK:STDOUT: !members:
    421. 

  421. // CHECK:STDOUT:   .Self = %Self
    422. 

  422. // CHECK:STDOUT:   .F = %assoc0
    423. 

  423. // CHECK:STDOUT:   witness = (%F.decl)
    424. 

  424. // CHECK:STDOUT: }
    425. 

  425. // CHECK:STDOUT:
    426. 

  426. // CHECK:STDOUT: impl @impl: %.loc8_7.2 as %I.ref {
    427. 

  427. // CHECK:STDOUT:   %F.decl.loc9_48.1: %F.type.39e918.1 = fn_decl @F.2 [concrete = constants.%F.c04b92.1] {
    428. 

  428. // CHECK:STDOUT:     %y.patt: %pattern_type.231 = binding_pattern y [concrete]
    429. 

  429. // CHECK:STDOUT:     %y.param_patt: %pattern_type.231 = value_param_pattern %y.patt, call_param0 [concrete]
    430. 

  430. // CHECK:STDOUT:     %return.patt: %pattern_type.844 = return_slot_pattern [concrete]
    431. 

  431. // CHECK:STDOUT:     %return.param_patt: %pattern_type.844 = out_param_pattern %return.patt, call_param1 [concrete]
    432. 

  432. // CHECK:STDOUT:   } {
    433. 

  433. // CHECK:STDOUT:     %.loc9_38.1: %empty_struct_type = struct_literal ()
    434. 

  434. // CHECK:STDOUT:     %.loc9_38.2: type = converted %.loc9_38.1, constants.%empty_struct_type [concrete = constants.%empty_struct_type]
    435. 

  435. // CHECK:STDOUT:     %.loc9_46.1: %empty_tuple.type = tuple_literal ()
    436. 

  436. // CHECK:STDOUT:     %.loc9_46.2: type = converted %.loc9_46.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    437. 

  437. // CHECK:STDOUT:     %struct_type.d.c: type = struct_type {.d: %empty_struct_type, .c: %empty_tuple.type} [concrete = constants.%struct_type.d.c.b36]
    438. 

  438. // CHECK:STDOUT:     %y.param: %struct_type.b.a.40c = value_param call_param0
    439. 

  439. // CHECK:STDOUT:     %.loc9_26: type = splice_block %struct_type.b.a [concrete = constants.%struct_type.b.a.40c] {
    440. 

  440. // CHECK:STDOUT:       %.loc9_17.1: %empty_struct_type = struct_literal ()
    441. 

  441. // CHECK:STDOUT:       %.loc9_17.2: type = converted %.loc9_17.1, constants.%empty_struct_type [concrete = constants.%empty_struct_type]
    442. 

  442. // CHECK:STDOUT:       %.loc9_25.1: %empty_tuple.type = tuple_literal ()
    443. 

  443. // CHECK:STDOUT:       %.loc9_25.2: type = converted %.loc9_25.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    444. 

  444. // CHECK:STDOUT:       %struct_type.b.a: type = struct_type {.b: %empty_struct_type, .a: %empty_tuple.type} [concrete = constants.%struct_type.b.a.40c]
    445. 

  445. // CHECK:STDOUT:     }
    446. 

  446. // CHECK:STDOUT:     %y: %struct_type.b.a.40c = bind_name y, %y.param
    447. 

  447. // CHECK:STDOUT:     %return.param: ref %struct_type.d.c.b36 = out_param call_param1
    448. 

  448. // CHECK:STDOUT:     %return: ref %struct_type.d.c.b36 = return_slot %return.param
    449. 

  449. // CHECK:STDOUT:   }
    450. 

  450. // CHECK:STDOUT:   %F.decl.loc9_48.2: %F.type.39e918.2 = fn_decl @F.3 [concrete = constants.%F.c04b92.2] {
    451. 

  451. // CHECK:STDOUT:     %x.patt: %pattern_type.bec = binding_pattern x [concrete]
    452. 

  452. // CHECK:STDOUT:     %x.param_patt: %pattern_type.bec = value_param_pattern %x.patt, call_param0 [concrete]
    453. 

  453. // CHECK:STDOUT:     %return.patt: %pattern_type.d63 = return_slot_pattern [concrete]
    454. 

  454. // CHECK:STDOUT:     %return.param_patt: %pattern_type.d63 = out_param_pattern %return.patt, call_param1 [concrete]
    455. 

  455. // CHECK:STDOUT:   } {
    456. 

  456. // CHECK:STDOUT:     %x.param: %struct_type.a.b.391 = value_param call_param0
    457. 

  457. // CHECK:STDOUT:     %x: %struct_type.a.b.391 = bind_name x, %x.param
    458. 

  458. // CHECK:STDOUT:     %return.param: ref %struct_type.c.d.15a = out_param call_param1
    459. 

  459. // CHECK:STDOUT:     %return: ref %struct_type.c.d.15a = return_slot %return.param
    460. 

  460. // CHECK:STDOUT:   }
    461. 

  461. // CHECK:STDOUT:
    462. 

  462. // CHECK:STDOUT: !members:
    463. 

  463. // CHECK:STDOUT:   .F = %F.decl.loc9_48.1
    464. 

  464. // CHECK:STDOUT:   witness = file.%I.impl_witness
    465. 

  465. // CHECK:STDOUT: }
    466. 

  466. // CHECK:STDOUT:
    467. 

  467. // CHECK:STDOUT: generic fn @F.1(@I.%Self: %I.type) {
    468. 

  468. // CHECK:STDOUT:   fn(%x.param: %struct_type.a.b.391) -> %return.param: %struct_type.c.d.15a;
    469. 

  469. // CHECK:STDOUT: }
    470. 

  470. // CHECK:STDOUT:
    471. 

  471. // CHECK:STDOUT: fn @F.2(%y.param: %struct_type.b.a.40c) -> %return.param: %struct_type.d.c.b36;
    472. 

  472. // CHECK:STDOUT:
    473. 

  473. // CHECK:STDOUT: fn @F.3(%x.param: %struct_type.a.b.391) -> %return.param: %struct_type.c.d.15a {
    474. 

  474. // CHECK:STDOUT: !entry:
    475. 

  475. // CHECK:STDOUT:   %x.ref: %struct_type.a.b.391 = name_ref x, %x.param
    476. 

  476. // CHECK:STDOUT:   %.loc9_48.1: ref %struct_type.d.c.b36 = temporary_storage
    477. 

  477. // CHECK:STDOUT:   %.loc5_9.1: %empty_struct_type = struct_access %x.ref, element1
    478. 

  478. // CHECK:STDOUT:   %.loc5_9.2: %empty_tuple.type = struct_access %x.ref, element0
    479. 

  479. // CHECK:STDOUT:   %struct: %struct_type.b.a.40c = struct_value (%.loc5_9.1, %.loc5_9.2)
    480. 

  480. // CHECK:STDOUT:   %.loc5_9.3: %struct_type.b.a.40c = converted %x.ref, %struct
    481. 

  481. // CHECK:STDOUT:   %F.call: init %struct_type.d.c.b36 = call @impl.%F.decl.loc9_48.1(%.loc5_9.3) to %.loc9_48.1
    482. 

  482. // CHECK:STDOUT:   %.loc9_48.2: ref %struct_type.d.c.b36 = temporary %.loc9_48.1, %F.call
    483. 

  483. // CHECK:STDOUT:   %.loc9_48.3: ref %empty_tuple.type = struct_access %.loc9_48.2, element1
    484. 

  484. // CHECK:STDOUT:   %.loc9_48.4: ref %empty_tuple.type = struct_access %return, element1
    485. 

  485. // CHECK:STDOUT:   %.loc9_48.5: init %empty_tuple.type = tuple_init () to %.loc9_48.4 [concrete = constants.%empty_tuple]
    486. 

  486. // CHECK:STDOUT:   %.loc9_48.6: init %empty_tuple.type = converted %.loc9_48.3, %.loc9_48.5 [concrete = constants.%empty_tuple]
    487. 

  487. // CHECK:STDOUT:   %.loc9_48.7: ref %empty_struct_type = struct_access %.loc9_48.2, element0
    488. 

  488. // CHECK:STDOUT:   %.loc9_48.8: ref %empty_struct_type = struct_access %return, element0
    489. 

  489. // CHECK:STDOUT:   %.loc9_48.9: init %empty_struct_type = struct_init () to %.loc9_48.8 [concrete = constants.%empty_struct]
    490. 

  490. // CHECK:STDOUT:   %.loc9_48.10: init %empty_struct_type = converted %.loc9_48.7, %.loc9_48.9 [concrete = constants.%empty_struct]
    491. 

  491. // CHECK:STDOUT:   %.loc9_48.11: init %struct_type.c.d.15a = struct_init (%.loc9_48.6, %.loc9_48.10) to %return [concrete = constants.%struct]
    492. 

  492. // CHECK:STDOUT:   %.loc9_48.12: init %struct_type.c.d.15a = converted %F.call, %.loc9_48.11 [concrete = constants.%struct]
    493. 

  493. // CHECK:STDOUT:   return %.loc9_48.12 to %return
    494. 

  494. // CHECK:STDOUT: }
    495. 

  495. // CHECK:STDOUT:
    496. 

  496. // CHECK:STDOUT: specific @F.1(constants.%Self) {}
    497. 

  497. // CHECK:STDOUT:
    498. 

  498. // CHECK:STDOUT: specific @F.1(constants.%I.facet) {}
    499. 

  499. // CHECK:STDOUT:
    500. 

  500. // CHECK:STDOUT: --- inheritance_conversion.carbon
    501. 

  501. // CHECK:STDOUT:
    502. 

  502. // CHECK:STDOUT: constants {
    503. 

  503. // CHECK:STDOUT:   %A: type = class_type @A [concrete]
    504. 

  504. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    505. 

  505. // CHECK:STDOUT:   %complete_type.357: <witness> = complete_type_witness %empty_struct_type [concrete]
    506. 

  506. // CHECK:STDOUT:   %B: type = class_type @B [concrete]
    507. 

  507. // CHECK:STDOUT:   %B.elem: type = unbound_element_type %B, %A [concrete]
    508. 

  508. // CHECK:STDOUT:   %struct_type.base.953: type = struct_type {.base: %A} [concrete]
    509. 

  509. // CHECK:STDOUT:   %complete_type.020: <witness> = complete_type_witness %struct_type.base.953 [concrete]
    510. 

  510. // CHECK:STDOUT:   %C: type = class_type @C [concrete]
    511. 

  511. // CHECK:STDOUT:   %C.elem: type = unbound_element_type %C, %B [concrete]
    512. 

  512. // CHECK:STDOUT:   %struct_type.base.0ff: type = struct_type {.base: %B} [concrete]
    513. 

  513. // CHECK:STDOUT:   %complete_type.98e: <witness> = complete_type_witness %struct_type.base.0ff [concrete]
    514. 

  514. // CHECK:STDOUT:   %X.type: type = facet_type <@X> [concrete]
    515. 

  515. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic]
    516. 

  516. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    517. 

  517. // CHECK:STDOUT:   %ptr.d06: type = ptr_type %Self.as_type [symbolic]
    518. 

  518. // CHECK:STDOUT:   %pattern_type.4c5: type = pattern_type %ptr.d06 [symbolic]
    519. 

  519. // CHECK:STDOUT:   %pattern_type.f6d: type = pattern_type auto [concrete]
    520. 

  520. // CHECK:STDOUT:   %F.type.594: type = fn_type @F.1 [concrete]
    521. 

  521. // CHECK:STDOUT:   %F.b69: %F.type.594 = struct_value () [concrete]
    522. 

  522. // CHECK:STDOUT:   %X.assoc_type: type = assoc_entity_type @X [concrete]
    523. 

  523. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, @X.%F.decl [concrete]
    524. 

  524. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness file.%X.impl_witness_table [concrete]
    525. 

  525. // CHECK:STDOUT:   %ptr.6db: type = ptr_type %A [concrete]
    526. 

  526. // CHECK:STDOUT:   %pattern_type.5f8: type = pattern_type %ptr.6db [concrete]
    527. 

  527. // CHECK:STDOUT:   %ptr.019: type = ptr_type %C [concrete]
    528. 

  528. // CHECK:STDOUT:   %pattern_type.44a: type = pattern_type %ptr.019 [concrete]
    529. 

  529. // CHECK:STDOUT:   %F.type.f1b0b1.1: type = fn_type @F.2 [concrete]
    530. 

  530. // CHECK:STDOUT:   %F.5161e9.1: %F.type.f1b0b1.1 = struct_value () [concrete]
    531. 

  531. // CHECK:STDOUT:   %X.facet: %X.type = facet_value %B, (%X.impl_witness) [concrete]
    532. 

  532. // CHECK:STDOUT:   %ptr.e79: type = ptr_type %B [concrete]
    533. 

  533. // CHECK:STDOUT:   %pattern_type.960: type = pattern_type %ptr.e79 [concrete]
    534. 

  534. // CHECK:STDOUT:   %F.type.f1b0b1.2: type = fn_type @F.3 [concrete]
    535. 

  535. // CHECK:STDOUT:   %F.5161e9.2: %F.type.f1b0b1.2 = struct_value () [concrete]
    536. 

  536. // CHECK:STDOUT: }
    537. 

  537. // CHECK:STDOUT:
    538. 

  538. // CHECK:STDOUT: file {
    539. 

  539. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    540. 

  540. // CHECK:STDOUT:     .A = %A.decl
    541. 

  541. // CHECK:STDOUT:     .B = %B.decl
    542. 

  542. // CHECK:STDOUT:     .C = %C.decl
    543. 

  543. // CHECK:STDOUT:     .X = %X.decl
    544. 

  544. // CHECK:STDOUT:   }
    545. 

  545. // CHECK:STDOUT:   %A.decl: type = class_decl @A [concrete = constants.%A] {} {}
    546. 

  546. // CHECK:STDOUT:   %B.decl: type = class_decl @B [concrete = constants.%B] {} {}
    547. 

  547. // CHECK:STDOUT:   %C.decl: type = class_decl @C [concrete = constants.%C] {} {}
    548. 

  548. // CHECK:STDOUT:   %X.decl: type = interface_decl @X [concrete = constants.%X.type] {} {}
    549. 

  549. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    550. 

  550. // CHECK:STDOUT:     %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    551. 

  551. // CHECK:STDOUT:     %X.ref: type = name_ref X, file.%X.decl [concrete = constants.%X.type]
    552. 

  552. // CHECK:STDOUT:   }
    553. 

  553. // CHECK:STDOUT:   %X.impl_witness_table = impl_witness_table (@impl.%F.decl.loc13_39.2), @impl [concrete]
    554. 

  554. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness %X.impl_witness_table [concrete = constants.%X.impl_witness]
    555. 

  555. // CHECK:STDOUT: }
    556. 

  556. // CHECK:STDOUT:
    557. 

  557. // CHECK:STDOUT: interface @X {
    558. 

  558. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    559. 

  559. // CHECK:STDOUT:   %F.decl: %F.type.594 = fn_decl @F.1 [concrete = constants.%F.b69] {
    560. 

  560. // CHECK:STDOUT:     %self.patt: @F.1.%pattern_type (%pattern_type.4c5) = binding_pattern self [concrete]
    561. 

  561. // CHECK:STDOUT:     %self.param_patt: @F.1.%pattern_type (%pattern_type.4c5) = value_param_pattern %self.patt, call_param0 [concrete]
    562. 

  562. // CHECK:STDOUT:     %.loc9_8: %pattern_type.f6d = addr_pattern %self.param_patt [concrete]
    563. 

  563. // CHECK:STDOUT:     %other.patt: @F.1.%pattern_type (%pattern_type.4c5) = binding_pattern other [concrete]
    564. 

  564. // CHECK:STDOUT:     %other.param_patt: @F.1.%pattern_type (%pattern_type.4c5) = value_param_pattern %other.patt, call_param1 [concrete]
    565. 

  565. // CHECK:STDOUT:     %return.patt: @F.1.%pattern_type (%pattern_type.4c5) = return_slot_pattern [concrete]
    566. 

  566. // CHECK:STDOUT:     %return.param_patt: @F.1.%pattern_type (%pattern_type.4c5) = out_param_pattern %return.patt, call_param2 [concrete]
    567. 

  567. // CHECK:STDOUT:   } {
    568. 

  568. // CHECK:STDOUT:     %Self.ref.loc9_43: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    569. 

  569. // CHECK:STDOUT:     %Self.as_type.loc9_47: type = facet_access_type %Self.ref.loc9_43 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    570. 

  570. // CHECK:STDOUT:     %.loc9_47: type = converted %Self.ref.loc9_43, %Self.as_type.loc9_47 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    571. 

  571. // CHECK:STDOUT:     %ptr.loc9_47: type = ptr_type %.loc9_47 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    572. 

  572. // CHECK:STDOUT:     %self.param: @F.1.%ptr.loc9_23.1 (%ptr.d06) = value_param call_param0
    573. 

  573. // CHECK:STDOUT:     %.loc9_23.1: type = splice_block %ptr.loc9_23.2 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)] {
    574. 

  574. // CHECK:STDOUT:       %Self.ref.loc9_19: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    575. 

  575. // CHECK:STDOUT:       %Self.as_type.loc9_23.2: type = facet_access_type %Self.ref.loc9_19 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    576. 

  576. // CHECK:STDOUT:       %.loc9_23.2: type = converted %Self.ref.loc9_19, %Self.as_type.loc9_23.2 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    577. 

  577. // CHECK:STDOUT:       %ptr.loc9_23.2: type = ptr_type %.loc9_23.2 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    578. 

  578. // CHECK:STDOUT:     }
    579. 

  579. // CHECK:STDOUT:     %self: @F.1.%ptr.loc9_23.1 (%ptr.d06) = bind_name self, %self.param
    580. 

  580. // CHECK:STDOUT:     %other.param: @F.1.%ptr.loc9_23.1 (%ptr.d06) = value_param call_param1
    581. 

  581. // CHECK:STDOUT:     %.loc9_37.1: type = splice_block %ptr.loc9_37 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)] {
    582. 

  582. // CHECK:STDOUT:       %Self.ref.loc9_33: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    583. 

  583. // CHECK:STDOUT:       %Self.as_type.loc9_37: type = facet_access_type %Self.ref.loc9_33 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    584. 

  584. // CHECK:STDOUT:       %.loc9_37.2: type = converted %Self.ref.loc9_33, %Self.as_type.loc9_37 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    585. 

  585. // CHECK:STDOUT:       %ptr.loc9_37: type = ptr_type %.loc9_37.2 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    586. 

  586. // CHECK:STDOUT:     }
    587. 

  587. // CHECK:STDOUT:     %other: @F.1.%ptr.loc9_23.1 (%ptr.d06) = bind_name other, %other.param
    588. 

  588. // CHECK:STDOUT:     %return.param: ref @F.1.%ptr.loc9_23.1 (%ptr.d06) = out_param call_param2
    589. 

  589. // CHECK:STDOUT:     %return: ref @F.1.%ptr.loc9_23.1 (%ptr.d06) = return_slot %return.param
    590. 

  590. // CHECK:STDOUT:   }
    591. 

  591. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    592. 

  592. // CHECK:STDOUT:
    593. 

  593. // CHECK:STDOUT: !members:
    594. 

  594. // CHECK:STDOUT:   .Self = %Self
    595. 

  595. // CHECK:STDOUT:   .F = %assoc0
    596. 

  596. // CHECK:STDOUT:   witness = (%F.decl)
    597. 

  597. // CHECK:STDOUT: }
    598. 

  598. // CHECK:STDOUT:
    599. 

  599. // CHECK:STDOUT: impl @impl: %B.ref as %X.ref {
    600. 

  600. // CHECK:STDOUT:   %F.decl.loc13_39.1: %F.type.f1b0b1.1 = fn_decl @F.2 [concrete = constants.%F.5161e9.1] {
    601. 

  601. // CHECK:STDOUT:     %self.patt: %pattern_type.5f8 = binding_pattern self [concrete]
    602. 

  602. // CHECK:STDOUT:     %self.param_patt: %pattern_type.5f8 = value_param_pattern %self.patt, call_param0 [concrete]
    603. 

  603. // CHECK:STDOUT:     %.loc13_8: %pattern_type.f6d = addr_pattern %self.param_patt [concrete]
    604. 

  604. // CHECK:STDOUT:     %other.patt: %pattern_type.5f8 = binding_pattern other [concrete]
    605. 

  605. // CHECK:STDOUT:     %other.param_patt: %pattern_type.5f8 = value_param_pattern %other.patt, call_param1 [concrete]
    606. 

  606. // CHECK:STDOUT:     %return.patt: %pattern_type.44a = return_slot_pattern [concrete]
    607. 

  607. // CHECK:STDOUT:     %return.param_patt: %pattern_type.44a = out_param_pattern %return.patt, call_param2 [concrete]
    608. 

  608. // CHECK:STDOUT:   } {
    609. 

  609. // CHECK:STDOUT:     %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C]
    610. 

  610. // CHECK:STDOUT:     %ptr.loc13_38: type = ptr_type %C.ref [concrete = constants.%ptr.019]
    611. 

  611. // CHECK:STDOUT:     %self.param: %ptr.6db = value_param call_param0
    612. 

  612. // CHECK:STDOUT:     %.loc13_20: type = splice_block %ptr.loc13_20 [concrete = constants.%ptr.6db] {
    613. 

  613. // CHECK:STDOUT:       %A.ref.loc13_19: type = name_ref A, file.%A.decl [concrete = constants.%A]
    614. 

  614. // CHECK:STDOUT:       %ptr.loc13_20: type = ptr_type %A.ref.loc13_19 [concrete = constants.%ptr.6db]
    615. 

  615. // CHECK:STDOUT:     }
    616. 

  616. // CHECK:STDOUT:     %self: %ptr.6db = bind_name self, %self.param
    617. 

  617. // CHECK:STDOUT:     %other.param: %ptr.6db = value_param call_param1
    618. 

  618. // CHECK:STDOUT:     %.loc13_31: type = splice_block %ptr.loc13_31 [concrete = constants.%ptr.6db] {
    619. 

  619. // CHECK:STDOUT:       %A.ref.loc13_30: type = name_ref A, file.%A.decl [concrete = constants.%A]
    620. 

  620. // CHECK:STDOUT:       %ptr.loc13_31: type = ptr_type %A.ref.loc13_30 [concrete = constants.%ptr.6db]
    621. 

  621. // CHECK:STDOUT:     }
    622. 

  622. // CHECK:STDOUT:     %other: %ptr.6db = bind_name other, %other.param
    623. 

  623. // CHECK:STDOUT:     %return.param: ref %ptr.019 = out_param call_param2
    624. 

  624. // CHECK:STDOUT:     %return: ref %ptr.019 = return_slot %return.param
    625. 

  625. // CHECK:STDOUT:   }
    626. 

  626. // CHECK:STDOUT:   %F.decl.loc13_39.2: %F.type.f1b0b1.2 = fn_decl @F.3 [concrete = constants.%F.5161e9.2] {
    627. 

  627. // CHECK:STDOUT:     %self.patt: %pattern_type.960 = binding_pattern self [concrete]
    628. 

  628. // CHECK:STDOUT:     %self.param_patt: %pattern_type.960 = value_param_pattern %self.patt, call_param0 [concrete]
    629. 

  629. // CHECK:STDOUT:     %.loc9_8: %pattern_type.f6d = addr_pattern %self.param_patt [concrete]
    630. 

  630. // CHECK:STDOUT:     %other.patt: %pattern_type.960 = binding_pattern other [concrete]
    631. 

  631. // CHECK:STDOUT:     %other.param_patt: %pattern_type.960 = value_param_pattern %other.patt, call_param1 [concrete]
    632. 

  632. // CHECK:STDOUT:     %return.patt: %pattern_type.960 = return_slot_pattern [concrete]
    633. 

  633. // CHECK:STDOUT:     %return.param_patt: %pattern_type.960 = out_param_pattern %return.patt, call_param2 [concrete]
    634. 

  634. // CHECK:STDOUT:   } {
    635. 

  635. // CHECK:STDOUT:     %self.param: %ptr.e79 = value_param call_param0
    636. 

  636. // CHECK:STDOUT:     %self: %ptr.e79 = bind_name self, %self.param
    637. 

  637. // CHECK:STDOUT:     %other.param: %ptr.e79 = value_param call_param1
    638. 

  638. // CHECK:STDOUT:     %other: %ptr.e79 = bind_name other, %other.param
    639. 

  639. // CHECK:STDOUT:     %return.param: ref %ptr.e79 = out_param call_param2
    640. 

  640. // CHECK:STDOUT:     %return: ref %ptr.e79 = return_slot %return.param
    641. 

  641. // CHECK:STDOUT:   }
    642. 

  642. // CHECK:STDOUT:
    643. 

  643. // CHECK:STDOUT: !members:
    644. 

  644. // CHECK:STDOUT:   .A = <poisoned>
    645. 

  645. // CHECK:STDOUT:   .C = <poisoned>
    646. 

  646. // CHECK:STDOUT:   .F = %F.decl.loc13_39.1
    647. 

  647. // CHECK:STDOUT:   witness = file.%X.impl_witness
    648. 

  648. // CHECK:STDOUT: }
    649. 

  649. // CHECK:STDOUT:
    650. 

  650. // CHECK:STDOUT: class @A {
    651. 

  651. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    652. 

  652. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type.357]
    653. 

  653. // CHECK:STDOUT:   complete_type_witness = %complete_type
    654. 

  654. // CHECK:STDOUT:
    655. 

  655. // CHECK:STDOUT: !members:
    656. 

  656. // CHECK:STDOUT:   .Self = constants.%A
    657. 

  657. // CHECK:STDOUT: }
    658. 

  658. // CHECK:STDOUT:
    659. 

  659. // CHECK:STDOUT: class @B {
    660. 

  660. // CHECK:STDOUT:   %A.ref: type = name_ref A, file.%A.decl [concrete = constants.%A]
    661. 

  661. // CHECK:STDOUT:   %.loc5: %B.elem = base_decl %A.ref, element0 [concrete]
    662. 

  662. // CHECK:STDOUT:   %struct_type.base: type = struct_type {.base: %A} [concrete = constants.%struct_type.base.953]
    663. 

  663. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %struct_type.base [concrete = constants.%complete_type.020]
    664. 

  664. // CHECK:STDOUT:   complete_type_witness = %complete_type
    665. 

  665. // CHECK:STDOUT:
    666. 

  666. // CHECK:STDOUT: !members:
    667. 

  667. // CHECK:STDOUT:   .Self = constants.%B
    668. 

  668. // CHECK:STDOUT:   .A = <poisoned>
    669. 

  669. // CHECK:STDOUT:   .base = %.loc5
    670. 

  670. // CHECK:STDOUT:   extend %A.ref
    671. 

  671. // CHECK:STDOUT: }
    672. 

  672. // CHECK:STDOUT:
    673. 

  673. // CHECK:STDOUT: class @C {
    674. 

  674. // CHECK:STDOUT:   %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    675. 

  675. // CHECK:STDOUT:   %.loc6: %C.elem = base_decl %B.ref, element0 [concrete]
    676. 

  676. // CHECK:STDOUT:   %struct_type.base: type = struct_type {.base: %B} [concrete = constants.%struct_type.base.0ff]
    677. 

  677. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %struct_type.base [concrete = constants.%complete_type.98e]
    678. 

  678. // CHECK:STDOUT:   complete_type_witness = %complete_type
    679. 

  679. // CHECK:STDOUT:
    680. 

  680. // CHECK:STDOUT: !members:
    681. 

  681. // CHECK:STDOUT:   .Self = constants.%C
    682. 

  682. // CHECK:STDOUT:   .B = <poisoned>
    683. 

  683. // CHECK:STDOUT:   .base = %.loc6
    684. 

  684. // CHECK:STDOUT:   extend %B.ref
    685. 

  685. // CHECK:STDOUT: }
    686. 

  686. // CHECK:STDOUT:
    687. 

  687. // CHECK:STDOUT: generic fn @F.1(@X.%Self: %X.type) {
    688. 

  688. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    689. 

  689. // CHECK:STDOUT:   %Self.as_type.loc9_23.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    690. 

  690. // CHECK:STDOUT:   %ptr.loc9_23.1: type = ptr_type %Self.as_type.loc9_23.1 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    691. 

  691. // CHECK:STDOUT:   %pattern_type: type = pattern_type %ptr.loc9_23.1 [symbolic = %pattern_type (constants.%pattern_type.4c5)]
    692. 

  692. // CHECK:STDOUT:
    693. 

  693. // CHECK:STDOUT:   fn(%self.param: @F.1.%ptr.loc9_23.1 (%ptr.d06), %other.param: @F.1.%ptr.loc9_23.1 (%ptr.d06)) -> @F.1.%ptr.loc9_23.1 (%ptr.d06);
    694. 

  694. // CHECK:STDOUT: }
    695. 

  695. // CHECK:STDOUT:
    696. 

  696. // CHECK:STDOUT: fn @F.2(%self.param: %ptr.6db, %other.param: %ptr.6db) -> %ptr.019;
    697. 

  697. // CHECK:STDOUT:
    698. 

  698. // CHECK:STDOUT: fn @F.3(%self.param: %ptr.e79, %other.param: %ptr.e79) -> %ptr.e79 {
    699. 

  699. // CHECK:STDOUT: !entry:
    700. 

  700. // CHECK:STDOUT:   %self.ref: %ptr.e79 = name_ref self, %self.param
    701. 

  701. // CHECK:STDOUT:   %.loc9_17.1: ref %B = deref %self.ref
    702. 

  702. // CHECK:STDOUT:   %F.bound: <bound method> = bound_method %.loc9_17.1, @impl.%F.decl.loc13_39.1
    703. 

  703. // CHECK:STDOUT:   %other.ref: %ptr.e79 = name_ref other, %other.param
    704. 

  704. // CHECK:STDOUT:   %addr.loc9_17.1: %ptr.e79 = addr_of %.loc9_17.1
    705. 

  705. // CHECK:STDOUT:   %.loc9_17.2: ref %B = deref %addr.loc9_17.1
    706. 

  706. // CHECK:STDOUT:   %.loc9_17.3: ref %A = class_element_access %.loc9_17.2, element0
    707. 

  707. // CHECK:STDOUT:   %addr.loc9_17.2: %ptr.6db = addr_of %.loc9_17.3
    708. 

  708. // CHECK:STDOUT:   %.loc9_17.4: %ptr.6db = converted %addr.loc9_17.1, %addr.loc9_17.2
    709. 

  709. // CHECK:STDOUT:   %.loc9_31.1: ref %B = deref %other.ref
    710. 

  710. // CHECK:STDOUT:   %.loc9_31.2: ref %A = class_element_access %.loc9_31.1, element0
    711. 

  711. // CHECK:STDOUT:   %addr.loc9_31: %ptr.6db = addr_of %.loc9_31.2
    712. 

  712. // CHECK:STDOUT:   %.loc9_31.3: %ptr.6db = converted %other.ref, %addr.loc9_31
    713. 

  713. // CHECK:STDOUT:   %F.call: init %ptr.019 = call %F.bound(%.loc9_17.4, %.loc9_31.3)
    714. 

  714. // CHECK:STDOUT:   %.loc13_39.1: %ptr.019 = value_of_initializer %F.call
    715. 

  715. // CHECK:STDOUT:   %.loc13_39.2: %ptr.019 = converted %F.call, %.loc13_39.1
    716. 

  716. // CHECK:STDOUT:   %.loc13_39.3: ref %C = deref %.loc13_39.2
    717. 

  717. // CHECK:STDOUT:   %.loc13_39.4: ref %B = class_element_access %.loc13_39.3, element0
    718. 

  718. // CHECK:STDOUT:   %addr.loc13: %ptr.e79 = addr_of %.loc13_39.4
    719. 

  719. // CHECK:STDOUT:   %.loc13_39.5: %ptr.e79 = converted %F.call, %addr.loc13
    720. 

  720. // CHECK:STDOUT:   return %.loc13_39.5
    721. 

  721. // CHECK:STDOUT: }
    722. 

  722. // CHECK:STDOUT:
    723. 

  723. // CHECK:STDOUT: specific @F.1(constants.%Self) {
    724. 

  724. // CHECK:STDOUT:   %Self => constants.%Self
    725. 

  725. // CHECK:STDOUT:   %Self.as_type.loc9_23.1 => constants.%Self.as_type
    726. 

  726. // CHECK:STDOUT:   %ptr.loc9_23.1 => constants.%ptr.d06
    727. 

  727. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.4c5
    728. 

  728. // CHECK:STDOUT: }
    729. 

  729. // CHECK:STDOUT:
    730. 

  730. // CHECK:STDOUT: specific @F.1(constants.%X.facet) {
    731. 

  731. // CHECK:STDOUT:   %Self => constants.%X.facet
    732. 

  732. // CHECK:STDOUT:   %Self.as_type.loc9_23.1 => constants.%B
    733. 

  733. // CHECK:STDOUT:   %ptr.loc9_23.1 => constants.%ptr.e79
    734. 

  734. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.960
    735. 

  735. // CHECK:STDOUT: }
    736. 

  736. // CHECK:STDOUT:
    737. 

  737. // CHECK:STDOUT: --- inheritance_value_conversion.carbon
    738. 

  738. // CHECK:STDOUT:
    739. 

  739. // CHECK:STDOUT: constants {
    740. 

  740. // CHECK:STDOUT:   %A: type = class_type @A [concrete]
    741. 

  741. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    742. 

  742. // CHECK:STDOUT:   %complete_type.357: <witness> = complete_type_witness %empty_struct_type [concrete]
    743. 

  743. // CHECK:STDOUT:   %B: type = class_type @B [concrete]
    744. 

  744. // CHECK:STDOUT:   %empty_tuple.type: type = tuple_type () [concrete]
    745. 

  745. // CHECK:STDOUT:   %B.elem: type = unbound_element_type %B, %A [concrete]
    746. 

  746. // CHECK:STDOUT:   %struct_type.base.953: type = struct_type {.base: %A} [concrete]
    747. 

  747. // CHECK:STDOUT:   %complete_type.020: <witness> = complete_type_witness %struct_type.base.953 [concrete]
    748. 

  748. // CHECK:STDOUT:   %X.type: type = facet_type <@X> [concrete]
    749. 

  749. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic]
    750. 

  750. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    751. 

  751. // CHECK:STDOUT:   %pattern_type.331: type = pattern_type %Self.as_type [symbolic]
    752. 

  752. // CHECK:STDOUT:   %F.type.594: type = fn_type @F.1 [concrete]
    753. 

  753. // CHECK:STDOUT:   %F.b69: %F.type.594 = struct_value () [concrete]
    754. 

  754. // CHECK:STDOUT:   %X.assoc_type: type = assoc_entity_type @X [concrete]
    755. 

  755. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, @X.%F.decl [concrete]
    756. 

  756. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness file.%X.impl_witness_table [concrete]
    757. 

  757. // CHECK:STDOUT:   %pattern_type.c10: type = pattern_type %A [concrete]
    758. 

  758. // CHECK:STDOUT:   %F.type.f1b0b1.1: type = fn_type @F.2 [concrete]
    759. 

  759. // CHECK:STDOUT:   %F.5161e9.1: %F.type.f1b0b1.1 = struct_value () [concrete]
    760. 

  760. // CHECK:STDOUT:   %X.facet: %X.type = facet_value %B, (%X.impl_witness) [concrete]
    761. 

  761. // CHECK:STDOUT:   %pattern_type.049: type = pattern_type %B [concrete]
    762. 

  762. // CHECK:STDOUT:   %F.type.f1b0b1.2: type = fn_type @F.3 [concrete]
    763. 

  763. // CHECK:STDOUT:   %F.5161e9.2: %F.type.f1b0b1.2 = struct_value () [concrete]
    764. 

  764. // CHECK:STDOUT: }
    765. 

  765. // CHECK:STDOUT:
    766. 

  766. // CHECK:STDOUT: file {
    767. 

  767. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    768. 

  768. // CHECK:STDOUT:     .A = %A.decl
    769. 

  769. // CHECK:STDOUT:     .B = %B.decl
    770. 

  770. // CHECK:STDOUT:     .X = %X.decl
    771. 

  771. // CHECK:STDOUT:   }
    772. 

  772. // CHECK:STDOUT:   %A.decl: type = class_decl @A [concrete = constants.%A] {} {}
    773. 

  773. // CHECK:STDOUT:   %B.decl: type = class_decl @B [concrete = constants.%B] {} {}
    774. 

  774. // CHECK:STDOUT:   %X.decl: type = interface_decl @X [concrete = constants.%X.type] {} {}
    775. 

  775. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    776. 

  776. // CHECK:STDOUT:     %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    777. 

  777. // CHECK:STDOUT:     %X.ref: type = name_ref X, file.%X.decl [concrete = constants.%X.type]
    778. 

  778. // CHECK:STDOUT:   }
    779. 

  779. // CHECK:STDOUT:   %X.impl_witness_table = impl_witness_table (@impl.%F.decl.loc12_26.2), @impl [concrete]
    780. 

  780. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness %X.impl_witness_table [concrete = constants.%X.impl_witness]
    781. 

  781. // CHECK:STDOUT: }
    782. 

  782. // CHECK:STDOUT:
    783. 

  783. // CHECK:STDOUT: interface @X {
    784. 

  784. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    785. 

  785. // CHECK:STDOUT:   %F.decl: %F.type.594 = fn_decl @F.1 [concrete = constants.%F.b69] {
    786. 

  786. // CHECK:STDOUT:     %self.patt: @F.1.%pattern_type (%pattern_type.331) = binding_pattern self [concrete]
    787. 

  787. // CHECK:STDOUT:     %self.param_patt: @F.1.%pattern_type (%pattern_type.331) = value_param_pattern %self.patt, call_param0 [concrete]
    788. 

  788. // CHECK:STDOUT:     %other.patt: @F.1.%pattern_type (%pattern_type.331) = binding_pattern other [concrete]
    789. 

  789. // CHECK:STDOUT:     %other.param_patt: @F.1.%pattern_type (%pattern_type.331) = value_param_pattern %other.patt, call_param1 [concrete]
    790. 

  790. // CHECK:STDOUT:   } {
    791. 

  791. // CHECK:STDOUT:     %self.param: @F.1.%Self.as_type.loc8_14.1 (%Self.as_type) = value_param call_param0
    792. 

  792. // CHECK:STDOUT:     %.loc8_14.1: type = splice_block %.loc8_14.2 [symbolic = %Self.as_type.loc8_14.1 (constants.%Self.as_type)] {
    793. 

  793. // CHECK:STDOUT:       %Self.ref.loc8_14: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    794. 

  794. // CHECK:STDOUT:       %Self.as_type.loc8_14.2: type = facet_access_type %Self.ref.loc8_14 [symbolic = %Self.as_type.loc8_14.1 (constants.%Self.as_type)]
    795. 

  795. // CHECK:STDOUT:       %.loc8_14.2: type = converted %Self.ref.loc8_14, %Self.as_type.loc8_14.2 [symbolic = %Self.as_type.loc8_14.1 (constants.%Self.as_type)]
    796. 

  796. // CHECK:STDOUT:     }
    797. 

  797. // CHECK:STDOUT:     %self: @F.1.%Self.as_type.loc8_14.1 (%Self.as_type) = bind_name self, %self.param
    798. 

  798. // CHECK:STDOUT:     %other.param: @F.1.%Self.as_type.loc8_14.1 (%Self.as_type) = value_param call_param1
    799. 

  799. // CHECK:STDOUT:     %.loc8_27.1: type = splice_block %.loc8_27.2 [symbolic = %Self.as_type.loc8_14.1 (constants.%Self.as_type)] {
    800. 

  800. // CHECK:STDOUT:       %Self.ref.loc8_27: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    801. 

  801. // CHECK:STDOUT:       %Self.as_type.loc8_27: type = facet_access_type %Self.ref.loc8_27 [symbolic = %Self.as_type.loc8_14.1 (constants.%Self.as_type)]
    802. 

  802. // CHECK:STDOUT:       %.loc8_27.2: type = converted %Self.ref.loc8_27, %Self.as_type.loc8_27 [symbolic = %Self.as_type.loc8_14.1 (constants.%Self.as_type)]
    803. 

  803. // CHECK:STDOUT:     }
    804. 

  804. // CHECK:STDOUT:     %other: @F.1.%Self.as_type.loc8_14.1 (%Self.as_type) = bind_name other, %other.param
    805. 

  805. // CHECK:STDOUT:   }
    806. 

  806. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    807. 

  807. // CHECK:STDOUT:
    808. 

  808. // CHECK:STDOUT: !members:
    809. 

  809. // CHECK:STDOUT:   .Self = %Self
    810. 

  810. // CHECK:STDOUT:   .F = %assoc0
    811. 

  811. // CHECK:STDOUT:   witness = (%F.decl)
    812. 

  812. // CHECK:STDOUT: }
    813. 

  813. // CHECK:STDOUT:
    814. 

  814. // CHECK:STDOUT: impl @impl: %B.ref as %X.ref {
    815. 

  815. // CHECK:STDOUT:   %F.decl.loc12_26.1: %F.type.f1b0b1.1 = fn_decl @F.2 [concrete = constants.%F.5161e9.1] {
    816. 

  816. // CHECK:STDOUT:     %self.patt: %pattern_type.c10 = binding_pattern self [concrete]
    817. 

  817. // CHECK:STDOUT:     %self.param_patt: %pattern_type.c10 = value_param_pattern %self.patt, call_param0 [concrete]
    818. 

  818. // CHECK:STDOUT:     %other.patt: %pattern_type.c10 = binding_pattern other [concrete]
    819. 

  819. // CHECK:STDOUT:     %other.param_patt: %pattern_type.c10 = value_param_pattern %other.patt, call_param1 [concrete]
    820. 

  820. // CHECK:STDOUT:   } {
    821. 

  821. // CHECK:STDOUT:     %self.param: %A = value_param call_param0
    822. 

  822. // CHECK:STDOUT:     %A.ref.loc12_14: type = name_ref A, file.%A.decl [concrete = constants.%A]
    823. 

  823. // CHECK:STDOUT:     %self: %A = bind_name self, %self.param
    824. 

  824. // CHECK:STDOUT:     %other.param: %A = value_param call_param1
    825. 

  825. // CHECK:STDOUT:     %A.ref.loc12_24: type = name_ref A, file.%A.decl [concrete = constants.%A]
    826. 

  826. // CHECK:STDOUT:     %other: %A = bind_name other, %other.param
    827. 

  827. // CHECK:STDOUT:   }
    828. 

  828. // CHECK:STDOUT:   %F.decl.loc12_26.2: %F.type.f1b0b1.2 = fn_decl @F.3 [concrete = constants.%F.5161e9.2] {
    829. 

  829. // CHECK:STDOUT:     %self.patt: %pattern_type.049 = binding_pattern self [concrete]
    830. 

  830. // CHECK:STDOUT:     %self.param_patt: %pattern_type.049 = value_param_pattern %self.patt, call_param0 [concrete]
    831. 

  831. // CHECK:STDOUT:     %other.patt: %pattern_type.049 = binding_pattern other [concrete]
    832. 

  832. // CHECK:STDOUT:     %other.param_patt: %pattern_type.049 = value_param_pattern %other.patt, call_param1 [concrete]
    833. 

  833. // CHECK:STDOUT:   } {
    834. 

  834. // CHECK:STDOUT:     %self.param: %B = value_param call_param0
    835. 

  835. // CHECK:STDOUT:     %self: %B = bind_name self, %self.param
    836. 

  836. // CHECK:STDOUT:     %other.param: %B = value_param call_param1
    837. 

  837. // CHECK:STDOUT:     %other: %B = bind_name other, %other.param
    838. 

  838. // CHECK:STDOUT:   }
    839. 

  839. // CHECK:STDOUT:
    840. 

  840. // CHECK:STDOUT: !members:
    841. 

  841. // CHECK:STDOUT:   .A = <poisoned>
    842. 

  842. // CHECK:STDOUT:   .F = %F.decl.loc12_26.1
    843. 

  843. // CHECK:STDOUT:   witness = file.%X.impl_witness
    844. 

  844. // CHECK:STDOUT: }
    845. 

  845. // CHECK:STDOUT:
    846. 

  846. // CHECK:STDOUT: class @A {
    847. 

  847. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    848. 

  848. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type.357]
    849. 

  849. // CHECK:STDOUT:   complete_type_witness = %complete_type
    850. 

  850. // CHECK:STDOUT:
    851. 

  851. // CHECK:STDOUT: !members:
    852. 

  852. // CHECK:STDOUT:   .Self = constants.%A
    853. 

  853. // CHECK:STDOUT: }
    854. 

  854. // CHECK:STDOUT:
    855. 

  855. // CHECK:STDOUT: class @B {
    856. 

  856. // CHECK:STDOUT:   %A.ref: type = name_ref A, file.%A.decl [concrete = constants.%A]
    857. 

  857. // CHECK:STDOUT:   %.loc5: %B.elem = base_decl %A.ref, element0 [concrete]
    858. 

  858. // CHECK:STDOUT:   %struct_type.base: type = struct_type {.base: %A} [concrete = constants.%struct_type.base.953]
    859. 

  859. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %struct_type.base [concrete = constants.%complete_type.020]
    860. 

  860. // CHECK:STDOUT:   complete_type_witness = %complete_type
    861. 

  861. // CHECK:STDOUT:
    862. 

  862. // CHECK:STDOUT: !members:
    863. 

  863. // CHECK:STDOUT:   .Self = constants.%B
    864. 

  864. // CHECK:STDOUT:   .A = <poisoned>
    865. 

  865. // CHECK:STDOUT:   .base = %.loc5
    866. 

  866. // CHECK:STDOUT:   extend %A.ref
    867. 

  867. // CHECK:STDOUT: }
    868. 

  868. // CHECK:STDOUT:
    869. 

  869. // CHECK:STDOUT: generic fn @F.1(@X.%Self: %X.type) {
    870. 

  870. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    871. 

  871. // CHECK:STDOUT:   %Self.as_type.loc8_14.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc8_14.1 (constants.%Self.as_type)]
    872. 

  872. // CHECK:STDOUT:   %pattern_type: type = pattern_type %Self.as_type.loc8_14.1 [symbolic = %pattern_type (constants.%pattern_type.331)]
    873. 

  873. // CHECK:STDOUT:
    874. 

  874. // CHECK:STDOUT:   fn(%self.param: @F.1.%Self.as_type.loc8_14.1 (%Self.as_type), %other.param: @F.1.%Self.as_type.loc8_14.1 (%Self.as_type));
    875. 

  875. // CHECK:STDOUT: }
    876. 

  876. // CHECK:STDOUT:
    877. 

  877. // CHECK:STDOUT: fn @F.2(%self.param: %A, %other.param: %A);
    878. 

  878. // CHECK:STDOUT:
    879. 

  879. // CHECK:STDOUT: fn @F.3(%self.param: %B, %other.param: %B) {
    880. 

  880. // CHECK:STDOUT: !entry:
    881. 

  881. // CHECK:STDOUT:   %self.ref: %B = name_ref self, %self.param
    882. 

  882. // CHECK:STDOUT:   %F.bound: <bound method> = bound_method %self.ref, @impl.%F.decl.loc12_26.1
    883. 

  883. // CHECK:STDOUT:   %other.ref: %B = name_ref other, %other.param
    884. 

  884. // CHECK:STDOUT:   %.loc8_12.1: ref %A = class_element_access %self.ref, element0
    885. 

  885. // CHECK:STDOUT:   %.loc8_12.2: ref %A = converted %self.ref, %.loc8_12.1
    886. 

  886. // CHECK:STDOUT:   %.loc8_12.3: %A = bind_value %.loc8_12.2
    887. 

  887. // CHECK:STDOUT:   %.loc8_25.1: ref %A = class_element_access %other.ref, element0
    888. 

  888. // CHECK:STDOUT:   %.loc8_25.2: ref %A = converted %other.ref, %.loc8_25.1
    889. 

  889. // CHECK:STDOUT:   %.loc8_25.3: %A = bind_value %.loc8_25.2
    890. 

  890. // CHECK:STDOUT:   %F.call: init %empty_tuple.type = call %F.bound(%.loc8_12.3, %.loc8_25.3)
    891. 

  891. // CHECK:STDOUT:   return
    892. 

  892. // CHECK:STDOUT: }
    893. 

  893. // CHECK:STDOUT:
    894. 

  894. // CHECK:STDOUT: specific @F.1(constants.%Self) {
    895. 

  895. // CHECK:STDOUT:   %Self => constants.%Self
    896. 

  896. // CHECK:STDOUT:   %Self.as_type.loc8_14.1 => constants.%Self.as_type
    897. 

  897. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.331
    898. 

  898. // CHECK:STDOUT: }
    899. 

  899. // CHECK:STDOUT:
    900. 

  900. // CHECK:STDOUT: specific @F.1(constants.%X.facet) {
    901. 

  901. // CHECK:STDOUT:   %Self => constants.%X.facet
    902. 

  902. // CHECK:STDOUT:   %Self.as_type.loc8_14.1 => constants.%B
    903. 

  903. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.049
    904. 

  904. // CHECK:STDOUT: }
    905. 

  905. // CHECK:STDOUT:
    906. 

  906. // CHECK:STDOUT: --- inheritance_value_conversion_pointer.carbon
    907. 

  907. // CHECK:STDOUT:
    908. 

  908. // CHECK:STDOUT: constants {
    909. 

  909. // CHECK:STDOUT:   %A: type = class_type @A [concrete]
    910. 

  910. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    911. 

  911. // CHECK:STDOUT:   %complete_type.357: <witness> = complete_type_witness %empty_struct_type [concrete]
    912. 

  912. // CHECK:STDOUT:   %B: type = class_type @B [concrete]
    913. 

  913. // CHECK:STDOUT:   %B.elem: type = unbound_element_type %B, %A [concrete]
    914. 

  914. // CHECK:STDOUT:   %struct_type.base.953: type = struct_type {.base: %A} [concrete]
    915. 

  915. // CHECK:STDOUT:   %complete_type.020: <witness> = complete_type_witness %struct_type.base.953 [concrete]
    916. 

  916. // CHECK:STDOUT:   %C: type = class_type @C [concrete]
    917. 

  917. // CHECK:STDOUT:   %C.elem: type = unbound_element_type %C, %B [concrete]
    918. 

  918. // CHECK:STDOUT:   %struct_type.base.0ff: type = struct_type {.base: %B} [concrete]
    919. 

  919. // CHECK:STDOUT:   %complete_type.98e: <witness> = complete_type_witness %struct_type.base.0ff [concrete]
    920. 

  920. // CHECK:STDOUT:   %X.type: type = facet_type <@X> [concrete]
    921. 

  921. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic]
    922. 

  922. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    923. 

  923. // CHECK:STDOUT:   %ptr.d06: type = ptr_type %Self.as_type [symbolic]
    924. 

  924. // CHECK:STDOUT:   %pattern_type.4c5: type = pattern_type %ptr.d06 [symbolic]
    925. 

  925. // CHECK:STDOUT:   %pattern_type.f6d: type = pattern_type auto [concrete]
    926. 

  926. // CHECK:STDOUT:   %F.type.594: type = fn_type @F.1 [concrete]
    927. 

  927. // CHECK:STDOUT:   %F.b69: %F.type.594 = struct_value () [concrete]
    928. 

  928. // CHECK:STDOUT:   %X.assoc_type: type = assoc_entity_type @X [concrete]
    929. 

  929. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, @X.%F.decl [concrete]
    930. 

  930. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness file.%X.impl_witness_table [concrete]
    931. 

  931. // CHECK:STDOUT:   %ptr.6db: type = ptr_type %A [concrete]
    932. 

  932. // CHECK:STDOUT:   %pattern_type.5f8: type = pattern_type %ptr.6db [concrete]
    933. 

  933. // CHECK:STDOUT:   %ptr.019: type = ptr_type %C [concrete]
    934. 

  934. // CHECK:STDOUT:   %pattern_type.44a: type = pattern_type %ptr.019 [concrete]
    935. 

  935. // CHECK:STDOUT:   %F.type.f1b0b1.1: type = fn_type @F.2 [concrete]
    936. 

  936. // CHECK:STDOUT:   %F.5161e9.1: %F.type.f1b0b1.1 = struct_value () [concrete]
    937. 

  937. // CHECK:STDOUT:   %X.facet: %X.type = facet_value %B, (%X.impl_witness) [concrete]
    938. 

  938. // CHECK:STDOUT:   %ptr.e79: type = ptr_type %B [concrete]
    939. 

  939. // CHECK:STDOUT:   %pattern_type.960: type = pattern_type %ptr.e79 [concrete]
    940. 

  940. // CHECK:STDOUT:   %F.type.f1b0b1.2: type = fn_type @F.3 [concrete]
    941. 

  941. // CHECK:STDOUT:   %F.5161e9.2: %F.type.f1b0b1.2 = struct_value () [concrete]
    942. 

  942. // CHECK:STDOUT: }
    943. 

  943. // CHECK:STDOUT:
    944. 

  944. // CHECK:STDOUT: file {
    945. 

  945. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    946. 

  946. // CHECK:STDOUT:     .A = %A.decl
    947. 

  947. // CHECK:STDOUT:     .B = %B.decl
    948. 

  948. // CHECK:STDOUT:     .C = %C.decl
    949. 

  949. // CHECK:STDOUT:     .X = %X.decl
    950. 

  950. // CHECK:STDOUT:   }
    951. 

  951. // CHECK:STDOUT:   %A.decl: type = class_decl @A [concrete = constants.%A] {} {}
    952. 

  952. // CHECK:STDOUT:   %B.decl: type = class_decl @B [concrete = constants.%B] {} {}
    953. 

  953. // CHECK:STDOUT:   %C.decl: type = class_decl @C [concrete = constants.%C] {} {}
    954. 

  954. // CHECK:STDOUT:   %X.decl: type = interface_decl @X [concrete = constants.%X.type] {} {}
    955. 

  955. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    956. 

  956. // CHECK:STDOUT:     %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    957. 

  957. // CHECK:STDOUT:     %X.ref: type = name_ref X, file.%X.decl [concrete = constants.%X.type]
    958. 

  958. // CHECK:STDOUT:   }
    959. 

  959. // CHECK:STDOUT:   %X.impl_witness_table = impl_witness_table (@impl.%F.decl.loc13_39.2), @impl [concrete]
    960. 

  960. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness %X.impl_witness_table [concrete = constants.%X.impl_witness]
    961. 

  961. // CHECK:STDOUT: }
    962. 

  962. // CHECK:STDOUT:
    963. 

  963. // CHECK:STDOUT: interface @X {
    964. 

  964. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    965. 

  965. // CHECK:STDOUT:   %F.decl: %F.type.594 = fn_decl @F.1 [concrete = constants.%F.b69] {
    966. 

  966. // CHECK:STDOUT:     %self.patt: @F.1.%pattern_type (%pattern_type.4c5) = binding_pattern self [concrete]
    967. 

  967. // CHECK:STDOUT:     %self.param_patt: @F.1.%pattern_type (%pattern_type.4c5) = value_param_pattern %self.patt, call_param0 [concrete]
    968. 

  968. // CHECK:STDOUT:     %.loc9_8: %pattern_type.f6d = addr_pattern %self.param_patt [concrete]
    969. 

  969. // CHECK:STDOUT:     %other.patt: @F.1.%pattern_type (%pattern_type.4c5) = binding_pattern other [concrete]
    970. 

  970. // CHECK:STDOUT:     %other.param_patt: @F.1.%pattern_type (%pattern_type.4c5) = value_param_pattern %other.patt, call_param1 [concrete]
    971. 

  971. // CHECK:STDOUT:     %return.patt: @F.1.%pattern_type (%pattern_type.4c5) = return_slot_pattern [concrete]
    972. 

  972. // CHECK:STDOUT:     %return.param_patt: @F.1.%pattern_type (%pattern_type.4c5) = out_param_pattern %return.patt, call_param2 [concrete]
    973. 

  973. // CHECK:STDOUT:   } {
    974. 

  974. // CHECK:STDOUT:     %Self.ref.loc9_43: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    975. 

  975. // CHECK:STDOUT:     %Self.as_type.loc9_47: type = facet_access_type %Self.ref.loc9_43 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    976. 

  976. // CHECK:STDOUT:     %.loc9_47: type = converted %Self.ref.loc9_43, %Self.as_type.loc9_47 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    977. 

  977. // CHECK:STDOUT:     %ptr.loc9_47: type = ptr_type %.loc9_47 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    978. 

  978. // CHECK:STDOUT:     %self.param: @F.1.%ptr.loc9_23.1 (%ptr.d06) = value_param call_param0
    979. 

  979. // CHECK:STDOUT:     %.loc9_23.1: type = splice_block %ptr.loc9_23.2 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)] {
    980. 

  980. // CHECK:STDOUT:       %Self.ref.loc9_19: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    981. 

  981. // CHECK:STDOUT:       %Self.as_type.loc9_23.2: type = facet_access_type %Self.ref.loc9_19 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    982. 

  982. // CHECK:STDOUT:       %.loc9_23.2: type = converted %Self.ref.loc9_19, %Self.as_type.loc9_23.2 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    983. 

  983. // CHECK:STDOUT:       %ptr.loc9_23.2: type = ptr_type %.loc9_23.2 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    984. 

  984. // CHECK:STDOUT:     }
    985. 

  985. // CHECK:STDOUT:     %self: @F.1.%ptr.loc9_23.1 (%ptr.d06) = bind_name self, %self.param
    986. 

  986. // CHECK:STDOUT:     %other.param: @F.1.%ptr.loc9_23.1 (%ptr.d06) = value_param call_param1
    987. 

  987. // CHECK:STDOUT:     %.loc9_37.1: type = splice_block %ptr.loc9_37 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)] {
    988. 

  988. // CHECK:STDOUT:       %Self.ref.loc9_33: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    989. 

  989. // CHECK:STDOUT:       %Self.as_type.loc9_37: type = facet_access_type %Self.ref.loc9_33 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    990. 

  990. // CHECK:STDOUT:       %.loc9_37.2: type = converted %Self.ref.loc9_33, %Self.as_type.loc9_37 [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    991. 

  991. // CHECK:STDOUT:       %ptr.loc9_37: type = ptr_type %.loc9_37.2 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    992. 

  992. // CHECK:STDOUT:     }
    993. 

  993. // CHECK:STDOUT:     %other: @F.1.%ptr.loc9_23.1 (%ptr.d06) = bind_name other, %other.param
    994. 

  994. // CHECK:STDOUT:     %return.param: ref @F.1.%ptr.loc9_23.1 (%ptr.d06) = out_param call_param2
    995. 

  995. // CHECK:STDOUT:     %return: ref @F.1.%ptr.loc9_23.1 (%ptr.d06) = return_slot %return.param
    996. 

  996. // CHECK:STDOUT:   }
    997. 

  997. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    998. 

  998. // CHECK:STDOUT:
    999. 

  999. // CHECK:STDOUT: !members:
    1000. 

  1000. // CHECK:STDOUT:   .Self = %Self
    1001. 

  1001. // CHECK:STDOUT:   .F = %assoc0
    1002. 

  1002. // CHECK:STDOUT:   witness = (%F.decl)
    1003. 

  1003. // CHECK:STDOUT: }
    1004. 

  1004. // CHECK:STDOUT:
    1005. 

  1005. // CHECK:STDOUT: impl @impl: %B.ref as %X.ref {
    1006. 

  1006. // CHECK:STDOUT:   %F.decl.loc13_39.1: %F.type.f1b0b1.1 = fn_decl @F.2 [concrete = constants.%F.5161e9.1] {
    1007. 

  1007. // CHECK:STDOUT:     %self.patt: %pattern_type.5f8 = binding_pattern self [concrete]
    1008. 

  1008. // CHECK:STDOUT:     %self.param_patt: %pattern_type.5f8 = value_param_pattern %self.patt, call_param0 [concrete]
    1009. 

  1009. // CHECK:STDOUT:     %.loc13_8: %pattern_type.f6d = addr_pattern %self.param_patt [concrete]
    1010. 

  1010. // CHECK:STDOUT:     %other.patt: %pattern_type.5f8 = binding_pattern other [concrete]
    1011. 

  1011. // CHECK:STDOUT:     %other.param_patt: %pattern_type.5f8 = value_param_pattern %other.patt, call_param1 [concrete]
    1012. 

  1012. // CHECK:STDOUT:     %return.patt: %pattern_type.44a = return_slot_pattern [concrete]
    1013. 

  1013. // CHECK:STDOUT:     %return.param_patt: %pattern_type.44a = out_param_pattern %return.patt, call_param2 [concrete]
    1014. 

  1014. // CHECK:STDOUT:   } {
    1015. 

  1015. // CHECK:STDOUT:     %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C]
    1016. 

  1016. // CHECK:STDOUT:     %ptr.loc13_38: type = ptr_type %C.ref [concrete = constants.%ptr.019]
    1017. 

  1017. // CHECK:STDOUT:     %self.param: %ptr.6db = value_param call_param0
    1018. 

  1018. // CHECK:STDOUT:     %.loc13_20: type = splice_block %ptr.loc13_20 [concrete = constants.%ptr.6db] {
    1019. 

  1019. // CHECK:STDOUT:       %A.ref.loc13_19: type = name_ref A, file.%A.decl [concrete = constants.%A]
    1020. 

  1020. // CHECK:STDOUT:       %ptr.loc13_20: type = ptr_type %A.ref.loc13_19 [concrete = constants.%ptr.6db]
    1021. 

  1021. // CHECK:STDOUT:     }
    1022. 

  1022. // CHECK:STDOUT:     %self: %ptr.6db = bind_name self, %self.param
    1023. 

  1023. // CHECK:STDOUT:     %other.param: %ptr.6db = value_param call_param1
    1024. 

  1024. // CHECK:STDOUT:     %.loc13_31: type = splice_block %ptr.loc13_31 [concrete = constants.%ptr.6db] {
    1025. 

  1025. // CHECK:STDOUT:       %A.ref.loc13_30: type = name_ref A, file.%A.decl [concrete = constants.%A]
    1026. 

  1026. // CHECK:STDOUT:       %ptr.loc13_31: type = ptr_type %A.ref.loc13_30 [concrete = constants.%ptr.6db]
    1027. 

  1027. // CHECK:STDOUT:     }
    1028. 

  1028. // CHECK:STDOUT:     %other: %ptr.6db = bind_name other, %other.param
    1029. 

  1029. // CHECK:STDOUT:     %return.param: ref %ptr.019 = out_param call_param2
    1030. 

  1030. // CHECK:STDOUT:     %return: ref %ptr.019 = return_slot %return.param
    1031. 

  1031. // CHECK:STDOUT:   }
    1032. 

  1032. // CHECK:STDOUT:   %F.decl.loc13_39.2: %F.type.f1b0b1.2 = fn_decl @F.3 [concrete = constants.%F.5161e9.2] {
    1033. 

  1033. // CHECK:STDOUT:     %self.patt: %pattern_type.960 = binding_pattern self [concrete]
    1034. 

  1034. // CHECK:STDOUT:     %self.param_patt: %pattern_type.960 = value_param_pattern %self.patt, call_param0 [concrete]
    1035. 

  1035. // CHECK:STDOUT:     %.loc9_8: %pattern_type.f6d = addr_pattern %self.param_patt [concrete]
    1036. 

  1036. // CHECK:STDOUT:     %other.patt: %pattern_type.960 = binding_pattern other [concrete]
    1037. 

  1037. // CHECK:STDOUT:     %other.param_patt: %pattern_type.960 = value_param_pattern %other.patt, call_param1 [concrete]
    1038. 

  1038. // CHECK:STDOUT:     %return.patt: %pattern_type.960 = return_slot_pattern [concrete]
    1039. 

  1039. // CHECK:STDOUT:     %return.param_patt: %pattern_type.960 = out_param_pattern %return.patt, call_param2 [concrete]
    1040. 

  1040. // CHECK:STDOUT:   } {
    1041. 

  1041. // CHECK:STDOUT:     %self.param: %ptr.e79 = value_param call_param0
    1042. 

  1042. // CHECK:STDOUT:     %self: %ptr.e79 = bind_name self, %self.param
    1043. 

  1043. // CHECK:STDOUT:     %other.param: %ptr.e79 = value_param call_param1
    1044. 

  1044. // CHECK:STDOUT:     %other: %ptr.e79 = bind_name other, %other.param
    1045. 

  1045. // CHECK:STDOUT:     %return.param: ref %ptr.e79 = out_param call_param2
    1046. 

  1046. // CHECK:STDOUT:     %return: ref %ptr.e79 = return_slot %return.param
    1047. 

  1047. // CHECK:STDOUT:   }
    1048. 

  1048. // CHECK:STDOUT:
    1049. 

  1049. // CHECK:STDOUT: !members:
    1050. 

  1050. // CHECK:STDOUT:   .A = <poisoned>
    1051. 

  1051. // CHECK:STDOUT:   .C = <poisoned>
    1052. 

  1052. // CHECK:STDOUT:   .F = %F.decl.loc13_39.1
    1053. 

  1053. // CHECK:STDOUT:   witness = file.%X.impl_witness
    1054. 

  1054. // CHECK:STDOUT: }
    1055. 

  1055. // CHECK:STDOUT:
    1056. 

  1056. // CHECK:STDOUT: class @A {
    1057. 

  1057. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1058. 

  1058. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type.357]
    1059. 

  1059. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1060. 

  1060. // CHECK:STDOUT:
    1061. 

  1061. // CHECK:STDOUT: !members:
    1062. 

  1062. // CHECK:STDOUT:   .Self = constants.%A
    1063. 

  1063. // CHECK:STDOUT: }
    1064. 

  1064. // CHECK:STDOUT:
    1065. 

  1065. // CHECK:STDOUT: class @B {
    1066. 

  1066. // CHECK:STDOUT:   %A.ref: type = name_ref A, file.%A.decl [concrete = constants.%A]
    1067. 

  1067. // CHECK:STDOUT:   %.loc5: %B.elem = base_decl %A.ref, element0 [concrete]
    1068. 

  1068. // CHECK:STDOUT:   %struct_type.base: type = struct_type {.base: %A} [concrete = constants.%struct_type.base.953]
    1069. 

  1069. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %struct_type.base [concrete = constants.%complete_type.020]
    1070. 

  1070. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1071. 

  1071. // CHECK:STDOUT:
    1072. 

  1072. // CHECK:STDOUT: !members:
    1073. 

  1073. // CHECK:STDOUT:   .Self = constants.%B
    1074. 

  1074. // CHECK:STDOUT:   .A = <poisoned>
    1075. 

  1075. // CHECK:STDOUT:   .base = %.loc5
    1076. 

  1076. // CHECK:STDOUT:   extend %A.ref
    1077. 

  1077. // CHECK:STDOUT: }
    1078. 

  1078. // CHECK:STDOUT:
    1079. 

  1079. // CHECK:STDOUT: class @C {
    1080. 

  1080. // CHECK:STDOUT:   %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    1081. 

  1081. // CHECK:STDOUT:   %.loc6: %C.elem = base_decl %B.ref, element0 [concrete]
    1082. 

  1082. // CHECK:STDOUT:   %struct_type.base: type = struct_type {.base: %B} [concrete = constants.%struct_type.base.0ff]
    1083. 

  1083. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %struct_type.base [concrete = constants.%complete_type.98e]
    1084. 

  1084. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1085. 

  1085. // CHECK:STDOUT:
    1086. 

  1086. // CHECK:STDOUT: !members:
    1087. 

  1087. // CHECK:STDOUT:   .Self = constants.%C
    1088. 

  1088. // CHECK:STDOUT:   .B = <poisoned>
    1089. 

  1089. // CHECK:STDOUT:   .base = %.loc6
    1090. 

  1090. // CHECK:STDOUT:   extend %B.ref
    1091. 

  1091. // CHECK:STDOUT: }
    1092. 

  1092. // CHECK:STDOUT:
    1093. 

  1093. // CHECK:STDOUT: generic fn @F.1(@X.%Self: %X.type) {
    1094. 

  1094. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    1095. 

  1095. // CHECK:STDOUT:   %Self.as_type.loc9_23.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc9_23.1 (constants.%Self.as_type)]
    1096. 

  1096. // CHECK:STDOUT:   %ptr.loc9_23.1: type = ptr_type %Self.as_type.loc9_23.1 [symbolic = %ptr.loc9_23.1 (constants.%ptr.d06)]
    1097. 

  1097. // CHECK:STDOUT:   %pattern_type: type = pattern_type %ptr.loc9_23.1 [symbolic = %pattern_type (constants.%pattern_type.4c5)]
    1098. 

  1098. // CHECK:STDOUT:
    1099. 

  1099. // CHECK:STDOUT:   fn(%self.param: @F.1.%ptr.loc9_23.1 (%ptr.d06), %other.param: @F.1.%ptr.loc9_23.1 (%ptr.d06)) -> @F.1.%ptr.loc9_23.1 (%ptr.d06);
    1100. 

  1100. // CHECK:STDOUT: }
    1101. 

  1101. // CHECK:STDOUT:
    1102. 

  1102. // CHECK:STDOUT: fn @F.2(%self.param: %ptr.6db, %other.param: %ptr.6db) -> %ptr.019;
    1103. 

  1103. // CHECK:STDOUT:
    1104. 

  1104. // CHECK:STDOUT: fn @F.3(%self.param: %ptr.e79, %other.param: %ptr.e79) -> %ptr.e79 {
    1105. 

  1105. // CHECK:STDOUT: !entry:
    1106. 

  1106. // CHECK:STDOUT:   %self.ref: %ptr.e79 = name_ref self, %self.param
    1107. 

  1107. // CHECK:STDOUT:   %.loc9_17.1: ref %B = deref %self.ref
    1108. 

  1108. // CHECK:STDOUT:   %F.bound: <bound method> = bound_method %.loc9_17.1, @impl.%F.decl.loc13_39.1
    1109. 

  1109. // CHECK:STDOUT:   %other.ref: %ptr.e79 = name_ref other, %other.param
    1110. 

  1110. // CHECK:STDOUT:   %addr.loc9_17.1: %ptr.e79 = addr_of %.loc9_17.1
    1111. 

  1111. // CHECK:STDOUT:   %.loc9_17.2: ref %B = deref %addr.loc9_17.1
    1112. 

  1112. // CHECK:STDOUT:   %.loc9_17.3: ref %A = class_element_access %.loc9_17.2, element0
    1113. 

  1113. // CHECK:STDOUT:   %addr.loc9_17.2: %ptr.6db = addr_of %.loc9_17.3
    1114. 

  1114. // CHECK:STDOUT:   %.loc9_17.4: %ptr.6db = converted %addr.loc9_17.1, %addr.loc9_17.2
    1115. 

  1115. // CHECK:STDOUT:   %.loc9_31.1: ref %B = deref %other.ref
    1116. 

  1116. // CHECK:STDOUT:   %.loc9_31.2: ref %A = class_element_access %.loc9_31.1, element0
    1117. 

  1117. // CHECK:STDOUT:   %addr.loc9_31: %ptr.6db = addr_of %.loc9_31.2
    1118. 

  1118. // CHECK:STDOUT:   %.loc9_31.3: %ptr.6db = converted %other.ref, %addr.loc9_31
    1119. 

  1119. // CHECK:STDOUT:   %F.call: init %ptr.019 = call %F.bound(%.loc9_17.4, %.loc9_31.3)
    1120. 

  1120. // CHECK:STDOUT:   %.loc13_39.1: %ptr.019 = value_of_initializer %F.call
    1121. 

  1121. // CHECK:STDOUT:   %.loc13_39.2: %ptr.019 = converted %F.call, %.loc13_39.1
    1122. 

  1122. // CHECK:STDOUT:   %.loc13_39.3: ref %C = deref %.loc13_39.2
    1123. 

  1123. // CHECK:STDOUT:   %.loc13_39.4: ref %B = class_element_access %.loc13_39.3, element0
    1124. 

  1124. // CHECK:STDOUT:   %addr.loc13: %ptr.e79 = addr_of %.loc13_39.4
    1125. 

  1125. // CHECK:STDOUT:   %.loc13_39.5: %ptr.e79 = converted %F.call, %addr.loc13
    1126. 

  1126. // CHECK:STDOUT:   return %.loc13_39.5
    1127. 

  1127. // CHECK:STDOUT: }
    1128. 

  1128. // CHECK:STDOUT:
    1129. 

  1129. // CHECK:STDOUT: specific @F.1(constants.%Self) {
    1130. 

  1130. // CHECK:STDOUT:   %Self => constants.%Self
    1131. 

  1131. // CHECK:STDOUT:   %Self.as_type.loc9_23.1 => constants.%Self.as_type
    1132. 

  1132. // CHECK:STDOUT:   %ptr.loc9_23.1 => constants.%ptr.d06
    1133. 

  1133. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.4c5
    1134. 

  1134. // CHECK:STDOUT: }
    1135. 

  1135. // CHECK:STDOUT:
    1136. 

  1136. // CHECK:STDOUT: specific @F.1(constants.%X.facet) {
    1137. 

  1137. // CHECK:STDOUT:   %Self => constants.%X.facet
    1138. 

  1138. // CHECK:STDOUT:   %Self.as_type.loc9_23.1 => constants.%B
    1139. 

  1139. // CHECK:STDOUT:   %ptr.loc9_23.1 => constants.%ptr.e79
    1140. 

  1140. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.960
    1141. 

  1141. // CHECK:STDOUT: }
    1142. 

  1142. // CHECK:STDOUT:
    1143. 

  1143. // CHECK:STDOUT: --- fail_inheritance_value_conversion_copy_return.carbon
    1144. 

  1144. // CHECK:STDOUT:
    1145. 

  1145. // CHECK:STDOUT: constants {
    1146. 

  1146. // CHECK:STDOUT:   %A: type = class_type @A [concrete]
    1147. 

  1147. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    1148. 

  1148. // CHECK:STDOUT:   %complete_type.357: <witness> = complete_type_witness %empty_struct_type [concrete]
    1149. 

  1149. // CHECK:STDOUT:   %B: type = class_type @B [concrete]
    1150. 

  1150. // CHECK:STDOUT:   %B.elem: type = unbound_element_type %B, %A [concrete]
    1151. 

  1151. // CHECK:STDOUT:   %struct_type.base.953: type = struct_type {.base: %A} [concrete]
    1152. 

  1152. // CHECK:STDOUT:   %complete_type.020: <witness> = complete_type_witness %struct_type.base.953 [concrete]
    1153. 

  1153. // CHECK:STDOUT:   %X.type: type = facet_type <@X> [concrete]
    1154. 

  1154. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic]
    1155. 

  1155. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    1156. 

  1156. // CHECK:STDOUT:   %pattern_type.331: type = pattern_type %Self.as_type [symbolic]
    1157. 

  1157. // CHECK:STDOUT:   %F.type.594: type = fn_type @F.1 [concrete]
    1158. 

  1158. // CHECK:STDOUT:   %F.b69: %F.type.594 = struct_value () [concrete]
    1159. 

  1159. // CHECK:STDOUT:   %X.assoc_type: type = assoc_entity_type @X [concrete]
    1160. 

  1160. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, @X.%F.decl [concrete]
    1161. 

  1161. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness file.%X.impl_witness_table [concrete]
    1162. 

  1162. // CHECK:STDOUT:   %pattern_type.049: type = pattern_type %B [concrete]
    1163. 

  1163. // CHECK:STDOUT:   %F.type.b24d6f.1: type = fn_type @F.2 [concrete]
    1164. 

  1164. // CHECK:STDOUT:   %F.77e9d5.1: %F.type.b24d6f.1 = struct_value () [concrete]
    1165. 

  1165. // CHECK:STDOUT:   %X.facet: %X.type = facet_value %A, (%X.impl_witness) [concrete]
    1166. 

  1166. // CHECK:STDOUT:   %pattern_type.c10: type = pattern_type %A [concrete]
    1167. 

  1167. // CHECK:STDOUT:   %F.type.b24d6f.2: type = fn_type @F.3 [concrete]
    1168. 

  1168. // CHECK:STDOUT:   %F.77e9d5.2: %F.type.b24d6f.2 = struct_value () [concrete]
    1169. 

  1169. // CHECK:STDOUT: }
    1170. 

  1170. // CHECK:STDOUT:
    1171. 

  1171. // CHECK:STDOUT: file {
    1172. 

  1172. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    1173. 

  1173. // CHECK:STDOUT:     .A = %A.decl
    1174. 

  1174. // CHECK:STDOUT:     .B = %B.decl
    1175. 

  1175. // CHECK:STDOUT:     .X = %X.decl
    1176. 

  1176. // CHECK:STDOUT:   }
    1177. 

  1177. // CHECK:STDOUT:   %A.decl: type = class_decl @A [concrete = constants.%A] {} {}
    1178. 

  1178. // CHECK:STDOUT:   %B.decl: type = class_decl @B [concrete = constants.%B] {} {}
    1179. 

  1179. // CHECK:STDOUT:   %X.decl: type = interface_decl @X [concrete = constants.%X.type] {} {}
    1180. 

  1180. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    1181. 

  1181. // CHECK:STDOUT:     %A.ref: type = name_ref A, file.%A.decl [concrete = constants.%A]
    1182. 

  1182. // CHECK:STDOUT:     %X.ref: type = name_ref X, file.%X.decl [concrete = constants.%X.type]
    1183. 

  1183. // CHECK:STDOUT:   }
    1184. 

  1184. // CHECK:STDOUT:   %X.impl_witness_table = impl_witness_table (@impl.%F.decl.loc19_14.2), @impl [concrete]
    1185. 

  1185. // CHECK:STDOUT:   %X.impl_witness: <witness> = impl_witness %X.impl_witness_table [concrete = constants.%X.impl_witness]
    1186. 

  1186. // CHECK:STDOUT: }
    1187. 

  1187. // CHECK:STDOUT:
    1188. 

  1188. // CHECK:STDOUT: interface @X {
    1189. 

  1189. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    1190. 

  1190. // CHECK:STDOUT:   %F.decl: %F.type.594 = fn_decl @F.1 [concrete = constants.%F.b69] {
    1191. 

  1191. // CHECK:STDOUT:     %return.patt: @F.1.%pattern_type (%pattern_type.331) = return_slot_pattern [concrete]
    1192. 

  1192. // CHECK:STDOUT:     %return.param_patt: @F.1.%pattern_type (%pattern_type.331) = out_param_pattern %return.patt, call_param0 [concrete]
    1193. 

  1193. // CHECK:STDOUT:   } {
    1194. 

  1194. // CHECK:STDOUT:     %Self.ref: %X.type = name_ref Self, @X.%Self [symbolic = %Self (constants.%Self)]
    1195. 

  1195. // CHECK:STDOUT:     %Self.as_type.loc8_13.2: type = facet_access_type %Self.ref [symbolic = %Self.as_type.loc8_13.1 (constants.%Self.as_type)]
    1196. 

  1196. // CHECK:STDOUT:     %.loc8: type = converted %Self.ref, %Self.as_type.loc8_13.2 [symbolic = %Self.as_type.loc8_13.1 (constants.%Self.as_type)]
    1197. 

  1197. // CHECK:STDOUT:     %return.param: ref @F.1.%Self.as_type.loc8_13.1 (%Self.as_type) = out_param call_param0
    1198. 

  1198. // CHECK:STDOUT:     %return: ref @F.1.%Self.as_type.loc8_13.1 (%Self.as_type) = return_slot %return.param
    1199. 

  1199. // CHECK:STDOUT:   }
    1200. 

  1200. // CHECK:STDOUT:   %assoc0: %X.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    1201. 

  1201. // CHECK:STDOUT:
    1202. 

  1202. // CHECK:STDOUT: !members:
    1203. 

  1203. // CHECK:STDOUT:   .Self = %Self
    1204. 

  1204. // CHECK:STDOUT:   .F = %assoc0
    1205. 

  1205. // CHECK:STDOUT:   witness = (%F.decl)
    1206. 

  1206. // CHECK:STDOUT: }
    1207. 

  1207. // CHECK:STDOUT:
    1208. 

  1208. // CHECK:STDOUT: impl @impl: %A.ref as %X.ref {
    1209. 

  1209. // CHECK:STDOUT:   %F.decl.loc19_14.1: %F.type.b24d6f.1 = fn_decl @F.2 [concrete = constants.%F.77e9d5.1] {
    1210. 

  1210. // CHECK:STDOUT:     %return.patt: %pattern_type.049 = return_slot_pattern [concrete]
    1211. 

  1211. // CHECK:STDOUT:     %return.param_patt: %pattern_type.049 = out_param_pattern %return.patt, call_param0 [concrete]
    1212. 

  1212. // CHECK:STDOUT:   } {
    1213. 

  1213. // CHECK:STDOUT:     %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    1214. 

  1214. // CHECK:STDOUT:     %return.param: ref %B = out_param call_param0
    1215. 

  1215. // CHECK:STDOUT:     %return: ref %B = return_slot %return.param
    1216. 

  1216. // CHECK:STDOUT:   }
    1217. 

  1217. // CHECK:STDOUT:   %F.decl.loc19_14.2: %F.type.b24d6f.2 = fn_decl @F.3 [concrete = constants.%F.77e9d5.2] {
    1218. 

  1218. // CHECK:STDOUT:     %return.patt: %pattern_type.c10 = return_slot_pattern [concrete]
    1219. 

  1219. // CHECK:STDOUT:     %return.param_patt: %pattern_type.c10 = out_param_pattern %return.patt, call_param0 [concrete]
    1220. 

  1220. // CHECK:STDOUT:   } {
    1221. 

  1221. // CHECK:STDOUT:     %return.param: ref %A = out_param call_param0
    1222. 

  1222. // CHECK:STDOUT:     %return: ref %A = return_slot %return.param
    1223. 

  1223. // CHECK:STDOUT:   }
    1224. 

  1224. // CHECK:STDOUT:
    1225. 

  1225. // CHECK:STDOUT: !members:
    1226. 

  1226. // CHECK:STDOUT:   .B = <poisoned>
    1227. 

  1227. // CHECK:STDOUT:   .F = %F.decl.loc19_14.1
    1228. 

  1228. // CHECK:STDOUT:   witness = file.%X.impl_witness
    1229. 

  1229. // CHECK:STDOUT: }
    1230. 

  1230. // CHECK:STDOUT:
    1231. 

  1231. // CHECK:STDOUT: class @A {
    1232. 

  1232. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1233. 

  1233. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type.357]
    1234. 

  1234. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1235. 

  1235. // CHECK:STDOUT:
    1236. 

  1236. // CHECK:STDOUT: !members:
    1237. 

  1237. // CHECK:STDOUT:   .Self = constants.%A
    1238. 

  1238. // CHECK:STDOUT: }
    1239. 

  1239. // CHECK:STDOUT:
    1240. 

  1240. // CHECK:STDOUT: class @B {
    1241. 

  1241. // CHECK:STDOUT:   %A.ref: type = name_ref A, file.%A.decl [concrete = constants.%A]
    1242. 

  1242. // CHECK:STDOUT:   %.loc5: %B.elem = base_decl %A.ref, element0 [concrete]
    1243. 

  1243. // CHECK:STDOUT:   %struct_type.base: type = struct_type {.base: %A} [concrete = constants.%struct_type.base.953]
    1244. 

  1244. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %struct_type.base [concrete = constants.%complete_type.020]
    1245. 

  1245. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1246. 

  1246. // CHECK:STDOUT:
    1247. 

  1247. // CHECK:STDOUT: !members:
    1248. 

  1248. // CHECK:STDOUT:   .Self = constants.%B
    1249. 

  1249. // CHECK:STDOUT:   .A = <poisoned>
    1250. 

  1250. // CHECK:STDOUT:   .base = %.loc5
    1251. 

  1251. // CHECK:STDOUT:   extend %A.ref
    1252. 

  1252. // CHECK:STDOUT: }
    1253. 

  1253. // CHECK:STDOUT:
    1254. 

  1254. // CHECK:STDOUT: generic fn @F.1(@X.%Self: %X.type) {
    1255. 

  1255. // CHECK:STDOUT:   %Self: %X.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    1256. 

  1256. // CHECK:STDOUT:   %Self.as_type.loc8_13.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc8_13.1 (constants.%Self.as_type)]
    1257. 

  1257. // CHECK:STDOUT:   %pattern_type: type = pattern_type %Self.as_type.loc8_13.1 [symbolic = %pattern_type (constants.%pattern_type.331)]
    1258. 

  1258. // CHECK:STDOUT:
    1259. 

  1259. // CHECK:STDOUT:   fn() -> @F.1.%Self.as_type.loc8_13.1 (%Self.as_type);
    1260. 

  1260. // CHECK:STDOUT: }
    1261. 

  1261. // CHECK:STDOUT:
    1262. 

  1262. // CHECK:STDOUT: fn @F.2() -> %return.param: %B;
    1263. 

  1263. // CHECK:STDOUT:
    1264. 

  1264. // CHECK:STDOUT: fn @F.3() -> %return.param: %A {
    1265. 

  1265. // CHECK:STDOUT: !entry:
    1266. 

  1266. // CHECK:STDOUT:   %.loc19_14.1: ref %B = temporary_storage
    1267. 

  1267. // CHECK:STDOUT:   %F.call: init %B = call @impl.%F.decl.loc19_14.1() to %.loc19_14.1
    1268. 

  1268. // CHECK:STDOUT:   %.loc19_14.2: ref %B = temporary %.loc19_14.1, %F.call
    1269. 

  1269. // CHECK:STDOUT:   %.loc19_14.3: ref %A = class_element_access %.loc19_14.2, element0
    1270. 

  1270. // CHECK:STDOUT:   %.loc19_14.4: ref %A = converted %F.call, %.loc19_14.3
    1271. 

  1271. // CHECK:STDOUT:   %.loc19_14.5: %A = bind_value %.loc19_14.4
    1272. 

  1272. // CHECK:STDOUT:   return <error> to %return
    1273. 

  1273. // CHECK:STDOUT: }
    1274. 

  1274. // CHECK:STDOUT:
    1275. 

  1275. // CHECK:STDOUT: specific @F.1(constants.%Self) {
    1276. 

  1276. // CHECK:STDOUT:   %Self => constants.%Self
    1277. 

  1277. // CHECK:STDOUT:   %Self.as_type.loc8_13.1 => constants.%Self.as_type
    1278. 

  1278. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.331
    1279. 

  1279. // CHECK:STDOUT: }
    1280. 

  1280. // CHECK:STDOUT:
    1281. 

  1281. // CHECK:STDOUT: specific @F.1(constants.%X.facet) {
    1282. 

  1282. // CHECK:STDOUT:   %Self => constants.%X.facet
    1283. 

  1283. // CHECK:STDOUT:   %Self.as_type.loc8_13.1 => constants.%A
    1284. 

  1284. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.c10
    1285. 

  1285. // CHECK:STDOUT: }
    1286. 

  1286. // CHECK:STDOUT:
    1287. 

  1287. // CHECK:STDOUT: --- fail_param_type_mismatch.carbon
    1288. 

  1288. // CHECK:STDOUT:
    1289. 

  1289. // CHECK:STDOUT: constants {
    1290. 

  1290. // CHECK:STDOUT:   %I.type: type = facet_type <@I> [concrete]
    1291. 

  1291. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic]
    1292. 

  1292. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    1293. 

  1293. // CHECK:STDOUT:   %pattern_type.6de: type = pattern_type %Self.as_type [symbolic]
    1294. 

  1294. // CHECK:STDOUT:   %F.type.cf0: type = fn_type @F.1 [concrete]
    1295. 

  1295. // CHECK:STDOUT:   %empty_tuple.type: type = tuple_type () [concrete]
    1296. 

  1296. // CHECK:STDOUT:   %F.bc6: %F.type.cf0 = struct_value () [concrete]
    1297. 

  1297. // CHECK:STDOUT:   %I.assoc_type: type = assoc_entity_type @I [concrete]
    1298. 

  1298. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, @I.%F.decl [concrete]
    1299. 

  1299. // CHECK:STDOUT:   %A: type = class_type @A [concrete]
    1300. 

  1300. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    1301. 

  1301. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete]
    1302. 

  1302. // CHECK:STDOUT:   %B: type = class_type @B [concrete]
    1303. 

  1303. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness file.%I.impl_witness_table [concrete]
    1304. 

  1304. // CHECK:STDOUT:   %pattern_type.049: type = pattern_type %B [concrete]
    1305. 

  1305. // CHECK:STDOUT:   %F.type.2ae1ef.1: type = fn_type @F.2 [concrete]
    1306. 

  1306. // CHECK:STDOUT:   %F.2a7aab.1: %F.type.2ae1ef.1 = struct_value () [concrete]
    1307. 

  1307. // CHECK:STDOUT:   %I.facet: %I.type = facet_value %A, (%I.impl_witness) [concrete]
    1308. 

  1308. // CHECK:STDOUT:   %pattern_type.c10: type = pattern_type %A [concrete]
    1309. 

  1309. // CHECK:STDOUT:   %F.type.2ae1ef.2: type = fn_type @F.3 [concrete]
    1310. 

  1310. // CHECK:STDOUT:   %F.2a7aab.2: %F.type.2ae1ef.2 = struct_value () [concrete]
    1311. 

  1311. // CHECK:STDOUT: }
    1312. 

  1312. // CHECK:STDOUT:
    1313. 

  1313. // CHECK:STDOUT: file {
    1314. 

  1314. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    1315. 

  1315. // CHECK:STDOUT:     .I = %I.decl
    1316. 

  1316. // CHECK:STDOUT:     .A = %A.decl
    1317. 

  1317. // CHECK:STDOUT:     .B = %B.decl
    1318. 

  1318. // CHECK:STDOUT:   }
    1319. 

  1319. // CHECK:STDOUT:   %I.decl: type = interface_decl @I [concrete = constants.%I.type] {} {}
    1320. 

  1320. // CHECK:STDOUT:   %A.decl: type = class_decl @A [concrete = constants.%A] {} {}
    1321. 

  1321. // CHECK:STDOUT:   %B.decl: type = class_decl @B [concrete = constants.%B] {} {}
    1322. 

  1322. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    1323. 

  1323. // CHECK:STDOUT:     %A.ref: type = name_ref A, file.%A.decl [concrete = constants.%A]
    1324. 

  1324. // CHECK:STDOUT:     %I.ref: type = name_ref I, file.%I.decl [concrete = constants.%I.type]
    1325. 

  1325. // CHECK:STDOUT:   }
    1326. 

  1326. // CHECK:STDOUT:   %I.impl_witness_table = impl_witness_table (@impl.%F.decl.loc22_13.2), @impl [concrete]
    1327. 

  1327. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness %I.impl_witness_table [concrete = constants.%I.impl_witness]
    1328. 

  1328. // CHECK:STDOUT: }
    1329. 

  1329. // CHECK:STDOUT:
    1330. 

  1330. // CHECK:STDOUT: interface @I {
    1331. 

  1331. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    1332. 

  1332. // CHECK:STDOUT:   %F.decl: %F.type.cf0 = fn_decl @F.1 [concrete = constants.%F.bc6] {
    1333. 

  1333. // CHECK:STDOUT:     %a.patt: @F.1.%pattern_type (%pattern_type.6de) = binding_pattern a [concrete]
    1334. 

  1334. // CHECK:STDOUT:     %a.param_patt: @F.1.%pattern_type (%pattern_type.6de) = value_param_pattern %a.patt, call_param0 [concrete]
    1335. 

  1335. // CHECK:STDOUT:   } {
    1336. 

  1336. // CHECK:STDOUT:     %a.param: @F.1.%Self.as_type.loc8_11.1 (%Self.as_type) = value_param call_param0
    1337. 

  1337. // CHECK:STDOUT:     %.loc8_11.1: type = splice_block %.loc8_11.2 [symbolic = %Self.as_type.loc8_11.1 (constants.%Self.as_type)] {
    1338. 

  1338. // CHECK:STDOUT:       %Self.ref: %I.type = name_ref Self, @I.%Self [symbolic = %Self (constants.%Self)]
    1339. 

  1339. // CHECK:STDOUT:       %Self.as_type.loc8_11.2: type = facet_access_type %Self.ref [symbolic = %Self.as_type.loc8_11.1 (constants.%Self.as_type)]
    1340. 

  1340. // CHECK:STDOUT:       %.loc8_11.2: type = converted %Self.ref, %Self.as_type.loc8_11.2 [symbolic = %Self.as_type.loc8_11.1 (constants.%Self.as_type)]
    1341. 

  1341. // CHECK:STDOUT:     }
    1342. 

  1342. // CHECK:STDOUT:     %a: @F.1.%Self.as_type.loc8_11.1 (%Self.as_type) = bind_name a, %a.param
    1343. 

  1343. // CHECK:STDOUT:   }
    1344. 

  1344. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    1345. 

  1345. // CHECK:STDOUT:
    1346. 

  1346. // CHECK:STDOUT: !members:
    1347. 

  1347. // CHECK:STDOUT:   .Self = %Self
    1348. 

  1348. // CHECK:STDOUT:   .F = %assoc0
    1349. 

  1349. // CHECK:STDOUT:   witness = (%F.decl)
    1350. 

  1350. // CHECK:STDOUT: }
    1351. 

  1351. // CHECK:STDOUT:
    1352. 

  1352. // CHECK:STDOUT: impl @impl: %A.ref as %I.ref {
    1353. 

  1353. // CHECK:STDOUT:   %F.decl.loc22_13.1: %F.type.2ae1ef.1 = fn_decl @F.2 [concrete = constants.%F.2a7aab.1] {
    1354. 

  1354. // CHECK:STDOUT:     %a.patt: %pattern_type.049 = binding_pattern a [concrete]
    1355. 

  1355. // CHECK:STDOUT:     %a.param_patt: %pattern_type.049 = value_param_pattern %a.patt, call_param0 [concrete]
    1356. 

  1356. // CHECK:STDOUT:   } {
    1357. 

  1357. // CHECK:STDOUT:     %a.param: %B = value_param call_param0
    1358. 

  1358. // CHECK:STDOUT:     %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    1359. 

  1359. // CHECK:STDOUT:     %a: %B = bind_name a, %a.param
    1360. 

  1360. // CHECK:STDOUT:   }
    1361. 

  1361. // CHECK:STDOUT:   %F.decl.loc22_13.2: %F.type.2ae1ef.2 = fn_decl @F.3 [concrete = constants.%F.2a7aab.2] {
    1362. 

  1362. // CHECK:STDOUT:     %a.patt: %pattern_type.c10 = binding_pattern a [concrete]
    1363. 

  1363. // CHECK:STDOUT:     %a.param_patt: %pattern_type.c10 = value_param_pattern %a.patt, call_param0 [concrete]
    1364. 

  1364. // CHECK:STDOUT:   } {
    1365. 

  1365. // CHECK:STDOUT:     %a.param: %A = value_param call_param0
    1366. 

  1366. // CHECK:STDOUT:     %a: %A = bind_name a, %a.param
    1367. 

  1367. // CHECK:STDOUT:   }
    1368. 

  1368. // CHECK:STDOUT:
    1369. 

  1369. // CHECK:STDOUT: !members:
    1370. 

  1370. // CHECK:STDOUT:   .B = <poisoned>
    1371. 

  1371. // CHECK:STDOUT:   .F = %F.decl.loc22_13.1
    1372. 

  1372. // CHECK:STDOUT:   witness = file.%I.impl_witness
    1373. 

  1373. // CHECK:STDOUT: }
    1374. 

  1374. // CHECK:STDOUT:
    1375. 

  1375. // CHECK:STDOUT: class @A {
    1376. 

  1376. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1377. 

  1377. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type]
    1378. 

  1378. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1379. 

  1379. // CHECK:STDOUT:
    1380. 

  1380. // CHECK:STDOUT: !members:
    1381. 

  1381. // CHECK:STDOUT:   .Self = constants.%A
    1382. 

  1382. // CHECK:STDOUT: }
    1383. 

  1383. // CHECK:STDOUT:
    1384. 

  1384. // CHECK:STDOUT: class @B {
    1385. 

  1385. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1386. 

  1386. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type]
    1387. 

  1387. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1388. 

  1388. // CHECK:STDOUT:
    1389. 

  1389. // CHECK:STDOUT: !members:
    1390. 

  1390. // CHECK:STDOUT:   .Self = constants.%B
    1391. 

  1391. // CHECK:STDOUT: }
    1392. 

  1392. // CHECK:STDOUT:
    1393. 

  1393. // CHECK:STDOUT: generic fn @F.1(@I.%Self: %I.type) {
    1394. 

  1394. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    1395. 

  1395. // CHECK:STDOUT:   %Self.as_type.loc8_11.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc8_11.1 (constants.%Self.as_type)]
    1396. 

  1396. // CHECK:STDOUT:   %pattern_type: type = pattern_type %Self.as_type.loc8_11.1 [symbolic = %pattern_type (constants.%pattern_type.6de)]
    1397. 

  1397. // CHECK:STDOUT:
    1398. 

  1398. // CHECK:STDOUT:   fn(%a.param: @F.1.%Self.as_type.loc8_11.1 (%Self.as_type));
    1399. 

  1399. // CHECK:STDOUT: }
    1400. 

  1400. // CHECK:STDOUT:
    1401. 

  1401. // CHECK:STDOUT: fn @F.2(%a.param: %B);
    1402. 

  1402. // CHECK:STDOUT:
    1403. 

  1403. // CHECK:STDOUT: fn @F.3(%a.param: %A) {
    1404. 

  1404. // CHECK:STDOUT: !entry:
    1405. 

  1405. // CHECK:STDOUT:   %a.ref: %A = name_ref a, %a.param
    1406. 

  1406. // CHECK:STDOUT:   %.loc8: %B = converted %a.ref, <error> [concrete = <error>]
    1407. 

  1407. // CHECK:STDOUT:   %F.call: init %empty_tuple.type = call @impl.%F.decl.loc22_13.1(<error>)
    1408. 

  1408. // CHECK:STDOUT:   return
    1409. 

  1409. // CHECK:STDOUT: }
    1410. 

  1410. // CHECK:STDOUT:
    1411. 

  1411. // CHECK:STDOUT: specific @F.1(constants.%Self) {
    1412. 

  1412. // CHECK:STDOUT:   %Self => constants.%Self
    1413. 

  1413. // CHECK:STDOUT:   %Self.as_type.loc8_11.1 => constants.%Self.as_type
    1414. 

  1414. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.6de
    1415. 

  1415. // CHECK:STDOUT: }
    1416. 

  1416. // CHECK:STDOUT:
    1417. 

  1417. // CHECK:STDOUT: specific @F.1(constants.%I.facet) {
    1418. 

  1418. // CHECK:STDOUT:   %Self => constants.%I.facet
    1419. 

  1419. // CHECK:STDOUT:   %Self.as_type.loc8_11.1 => constants.%A
    1420. 

  1420. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.c10
    1421. 

  1421. // CHECK:STDOUT: }
    1422. 

  1422. // CHECK:STDOUT:
    1423. 

  1423. // CHECK:STDOUT: --- fail_return_mismatch.carbon
    1424. 

  1424. // CHECK:STDOUT:
    1425. 

  1425. // CHECK:STDOUT: constants {
    1426. 

  1426. // CHECK:STDOUT:   %I.type: type = facet_type <@I> [concrete]
    1427. 

  1427. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic]
    1428. 

  1428. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    1429. 

  1429. // CHECK:STDOUT:   %pattern_type.6de: type = pattern_type %Self.as_type [symbolic]
    1430. 

  1430. // CHECK:STDOUT:   %F.type.cf0: type = fn_type @F.1 [concrete]
    1431. 

  1431. // CHECK:STDOUT:   %F.bc6: %F.type.cf0 = struct_value () [concrete]
    1432. 

  1432. // CHECK:STDOUT:   %I.assoc_type: type = assoc_entity_type @I [concrete]
    1433. 

  1433. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, @I.%F.decl [concrete]
    1434. 

  1434. // CHECK:STDOUT:   %A: type = class_type @A [concrete]
    1435. 

  1435. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    1436. 

  1436. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete]
    1437. 

  1437. // CHECK:STDOUT:   %B: type = class_type @B [concrete]
    1438. 

  1438. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness file.%I.impl_witness_table [concrete]
    1439. 

  1439. // CHECK:STDOUT:   %pattern_type.049: type = pattern_type %B [concrete]
    1440. 

  1440. // CHECK:STDOUT:   %F.type.2ae1ef.1: type = fn_type @F.2 [concrete]
    1441. 

  1441. // CHECK:STDOUT:   %F.2a7aab.1: %F.type.2ae1ef.1 = struct_value () [concrete]
    1442. 

  1442. // CHECK:STDOUT:   %I.facet: %I.type = facet_value %A, (%I.impl_witness) [concrete]
    1443. 

  1443. // CHECK:STDOUT:   %pattern_type.c10: type = pattern_type %A [concrete]
    1444. 

  1444. // CHECK:STDOUT:   %F.type.2ae1ef.2: type = fn_type @F.3 [concrete]
    1445. 

  1445. // CHECK:STDOUT:   %F.2a7aab.2: %F.type.2ae1ef.2 = struct_value () [concrete]
    1446. 

  1446. // CHECK:STDOUT: }
    1447. 

  1447. // CHECK:STDOUT:
    1448. 

  1448. // CHECK:STDOUT: file {
    1449. 

  1449. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    1450. 

  1450. // CHECK:STDOUT:     .I = %I.decl
    1451. 

  1451. // CHECK:STDOUT:     .A = %A.decl
    1452. 

  1452. // CHECK:STDOUT:     .B = %B.decl
    1453. 

  1453. // CHECK:STDOUT:   }
    1454. 

  1454. // CHECK:STDOUT:   %I.decl: type = interface_decl @I [concrete = constants.%I.type] {} {}
    1455. 

  1455. // CHECK:STDOUT:   %A.decl: type = class_decl @A [concrete = constants.%A] {} {}
    1456. 

  1456. // CHECK:STDOUT:   %B.decl: type = class_decl @B [concrete = constants.%B] {} {}
    1457. 

  1457. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    1458. 

  1458. // CHECK:STDOUT:     %A.ref: type = name_ref A, file.%A.decl [concrete = constants.%A]
    1459. 

  1459. // CHECK:STDOUT:     %I.ref: type = name_ref I, file.%I.decl [concrete = constants.%I.type]
    1460. 

  1460. // CHECK:STDOUT:   }
    1461. 

  1461. // CHECK:STDOUT:   %I.impl_witness_table = impl_witness_table (@impl.%F.decl.loc19_14.2), @impl [concrete]
    1462. 

  1462. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness %I.impl_witness_table [concrete = constants.%I.impl_witness]
    1463. 

  1463. // CHECK:STDOUT: }
    1464. 

  1464. // CHECK:STDOUT:
    1465. 

  1465. // CHECK:STDOUT: interface @I {
    1466. 

  1466. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    1467. 

  1467. // CHECK:STDOUT:   %F.decl: %F.type.cf0 = fn_decl @F.1 [concrete = constants.%F.bc6] {
    1468. 

  1468. // CHECK:STDOUT:     %return.patt: @F.1.%pattern_type (%pattern_type.6de) = return_slot_pattern [concrete]
    1469. 

  1469. // CHECK:STDOUT:     %return.param_patt: @F.1.%pattern_type (%pattern_type.6de) = out_param_pattern %return.patt, call_param0 [concrete]
    1470. 

  1470. // CHECK:STDOUT:   } {
    1471. 

  1471. // CHECK:STDOUT:     %Self.ref: %I.type = name_ref Self, @I.%Self [symbolic = %Self (constants.%Self)]
    1472. 

  1472. // CHECK:STDOUT:     %Self.as_type.loc5_13.2: type = facet_access_type %Self.ref [symbolic = %Self.as_type.loc5_13.1 (constants.%Self.as_type)]
    1473. 

  1473. // CHECK:STDOUT:     %.loc5: type = converted %Self.ref, %Self.as_type.loc5_13.2 [symbolic = %Self.as_type.loc5_13.1 (constants.%Self.as_type)]
    1474. 

  1474. // CHECK:STDOUT:     %return.param: ref @F.1.%Self.as_type.loc5_13.1 (%Self.as_type) = out_param call_param0
    1475. 

  1475. // CHECK:STDOUT:     %return: ref @F.1.%Self.as_type.loc5_13.1 (%Self.as_type) = return_slot %return.param
    1476. 

  1476. // CHECK:STDOUT:   }
    1477. 

  1477. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, %F.decl [concrete = constants.%assoc0]
    1478. 

  1478. // CHECK:STDOUT:
    1479. 

  1479. // CHECK:STDOUT: !members:
    1480. 

  1480. // CHECK:STDOUT:   .Self = %Self
    1481. 

  1481. // CHECK:STDOUT:   .F = %assoc0
    1482. 

  1482. // CHECK:STDOUT:   witness = (%F.decl)
    1483. 

  1483. // CHECK:STDOUT: }
    1484. 

  1484. // CHECK:STDOUT:
    1485. 

  1485. // CHECK:STDOUT: impl @impl: %A.ref as %I.ref {
    1486. 

  1486. // CHECK:STDOUT:   %F.decl.loc19_14.1: %F.type.2ae1ef.1 = fn_decl @F.2 [concrete = constants.%F.2a7aab.1] {
    1487. 

  1487. // CHECK:STDOUT:     %return.patt: %pattern_type.049 = return_slot_pattern [concrete]
    1488. 

  1488. // CHECK:STDOUT:     %return.param_patt: %pattern_type.049 = out_param_pattern %return.patt, call_param0 [concrete]
    1489. 

  1489. // CHECK:STDOUT:   } {
    1490. 

  1490. // CHECK:STDOUT:     %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    1491. 

  1491. // CHECK:STDOUT:     %return.param: ref %B = out_param call_param0
    1492. 

  1492. // CHECK:STDOUT:     %return: ref %B = return_slot %return.param
    1493. 

  1493. // CHECK:STDOUT:   }
    1494. 

  1494. // CHECK:STDOUT:   %F.decl.loc19_14.2: %F.type.2ae1ef.2 = fn_decl @F.3 [concrete = constants.%F.2a7aab.2] {
    1495. 

  1495. // CHECK:STDOUT:     %return.patt: %pattern_type.c10 = return_slot_pattern [concrete]
    1496. 

  1496. // CHECK:STDOUT:     %return.param_patt: %pattern_type.c10 = out_param_pattern %return.patt, call_param0 [concrete]
    1497. 

  1497. // CHECK:STDOUT:   } {
    1498. 

  1498. // CHECK:STDOUT:     %return.param: ref %A = out_param call_param0
    1499. 

  1499. // CHECK:STDOUT:     %return: ref %A = return_slot %return.param
    1500. 

  1500. // CHECK:STDOUT:   }
    1501. 

  1501. // CHECK:STDOUT:
    1502. 

  1502. // CHECK:STDOUT: !members:
    1503. 

  1503. // CHECK:STDOUT:   .B = <poisoned>
    1504. 

  1504. // CHECK:STDOUT:   .F = %F.decl.loc19_14.1
    1505. 

  1505. // CHECK:STDOUT:   witness = file.%I.impl_witness
    1506. 

  1506. // CHECK:STDOUT: }
    1507. 

  1507. // CHECK:STDOUT:
    1508. 

  1508. // CHECK:STDOUT: class @A {
    1509. 

  1509. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1510. 

  1510. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type]
    1511. 

  1511. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1512. 

  1512. // CHECK:STDOUT:
    1513. 

  1513. // CHECK:STDOUT: !members:
    1514. 

  1514. // CHECK:STDOUT:   .Self = constants.%A
    1515. 

  1515. // CHECK:STDOUT: }
    1516. 

  1516. // CHECK:STDOUT:
    1517. 

  1517. // CHECK:STDOUT: class @B {
    1518. 

  1518. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1519. 

  1519. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type]
    1520. 

  1520. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1521. 

  1521. // CHECK:STDOUT:
    1522. 

  1522. // CHECK:STDOUT: !members:
    1523. 

  1523. // CHECK:STDOUT:   .Self = constants.%B
    1524. 

  1524. // CHECK:STDOUT: }
    1525. 

  1525. // CHECK:STDOUT:
    1526. 

  1526. // CHECK:STDOUT: generic fn @F.1(@I.%Self: %I.type) {
    1527. 

  1527. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    1528. 

  1528. // CHECK:STDOUT:   %Self.as_type.loc5_13.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc5_13.1 (constants.%Self.as_type)]
    1529. 

  1529. // CHECK:STDOUT:   %pattern_type: type = pattern_type %Self.as_type.loc5_13.1 [symbolic = %pattern_type (constants.%pattern_type.6de)]
    1530. 

  1530. // CHECK:STDOUT:
    1531. 

  1531. // CHECK:STDOUT:   fn() -> @F.1.%Self.as_type.loc5_13.1 (%Self.as_type);
    1532. 

  1532. // CHECK:STDOUT: }
    1533. 

  1533. // CHECK:STDOUT:
    1534. 

  1534. // CHECK:STDOUT: fn @F.2() -> %return.param: %B;
    1535. 

  1535. // CHECK:STDOUT:
    1536. 

  1536. // CHECK:STDOUT: fn @F.3() -> %return.param: %A {
    1537. 

  1537. // CHECK:STDOUT: !entry:
    1538. 

  1538. // CHECK:STDOUT:   %.loc19_14.1: ref %B = temporary_storage
    1539. 

  1539. // CHECK:STDOUT:   %F.call: init %B = call @impl.%F.decl.loc19_14.1() to %.loc19_14.1
    1540. 

  1540. // CHECK:STDOUT:   %.loc19_14.2: %A = converted %F.call, <error> [concrete = <error>]
    1541. 

  1541. // CHECK:STDOUT:   return <error> to %return
    1542. 

  1542. // CHECK:STDOUT: }
    1543. 

  1543. // CHECK:STDOUT:
    1544. 

  1544. // CHECK:STDOUT: specific @F.1(constants.%Self) {
    1545. 

  1545. // CHECK:STDOUT:   %Self => constants.%Self
    1546. 

  1546. // CHECK:STDOUT:   %Self.as_type.loc5_13.1 => constants.%Self.as_type
    1547. 

  1547. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.6de
    1548. 

  1548. // CHECK:STDOUT: }
    1549. 

  1549. // CHECK:STDOUT:
    1550. 

  1550. // CHECK:STDOUT: specific @F.1(constants.%I.facet) {
    1551. 

  1551. // CHECK:STDOUT:   %Self => constants.%I.facet
    1552. 

  1552. // CHECK:STDOUT:   %Self.as_type.loc5_13.1 => constants.%A
    1553. 

  1553. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.c10
    1554. 

  1554. // CHECK:STDOUT: }
    1555. 

  1555. // CHECK:STDOUT:
    1556. 

  1556. // CHECK:STDOUT: --- return_empty_tuple_mismatch_allowed.carbon
    1557. 

  1557. // CHECK:STDOUT:
    1558. 

  1558. // CHECK:STDOUT: constants {
    1559. 

  1559. // CHECK:STDOUT:   %I.type: type = facet_type <@I> [concrete]
    1560. 

  1560. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic]
    1561. 

  1561. // CHECK:STDOUT:   %Self.as_type: type = facet_access_type %Self [symbolic]
    1562. 

  1562. // CHECK:STDOUT:   %pattern_type.6de: type = pattern_type %Self.as_type [symbolic]
    1563. 

  1563. // CHECK:STDOUT:   %HasReturn.type.bf9: type = fn_type @HasReturn.1 [concrete]
    1564. 

  1564. // CHECK:STDOUT:   %empty_tuple.type: type = tuple_type () [concrete]
    1565. 

  1565. // CHECK:STDOUT:   %HasReturn.dcf: %HasReturn.type.bf9 = struct_value () [concrete]
    1566. 

  1566. // CHECK:STDOUT:   %I.assoc_type: type = assoc_entity_type @I [concrete]
    1567. 

  1567. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, @I.%HasReturn.decl [concrete]
    1568. 

  1568. // CHECK:STDOUT:   %NoReturn.type.7ff: type = fn_type @NoReturn.1 [concrete]
    1569. 

  1569. // CHECK:STDOUT:   %NoReturn.7fd: %NoReturn.type.7ff = struct_value () [concrete]
    1570. 

  1570. // CHECK:STDOUT:   %assoc1: %I.assoc_type = assoc_entity element1, @I.%NoReturn.decl [concrete]
    1571. 

  1571. // CHECK:STDOUT:   %pattern_type.cb1: type = pattern_type %empty_tuple.type [concrete]
    1572. 

  1572. // CHECK:STDOUT:   %EmptyTupleReturn.type.1cb: type = fn_type @EmptyTupleReturn.1 [concrete]
    1573. 

  1573. // CHECK:STDOUT:   %EmptyTupleReturn.c56: %EmptyTupleReturn.type.1cb = struct_value () [concrete]
    1574. 

  1574. // CHECK:STDOUT:   %assoc2: %I.assoc_type = assoc_entity element2, @I.%EmptyTupleReturn.decl [concrete]
    1575. 

  1575. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness file.%I.impl_witness_table [concrete]
    1576. 

  1576. // CHECK:STDOUT:   %HasReturn.type.c73908.1: type = fn_type @HasReturn.2 [concrete]
    1577. 

  1577. // CHECK:STDOUT:   %HasReturn.424378.1: %HasReturn.type.c73908.1 = struct_value () [concrete]
    1578. 

  1578. // CHECK:STDOUT:   %NoReturn.type.948: type = fn_type @NoReturn.2 [concrete]
    1579. 

  1579. // CHECK:STDOUT:   %NoReturn.9fa: %NoReturn.type.948 = struct_value () [concrete]
    1580. 

  1580. // CHECK:STDOUT:   %EmptyTupleReturn.type.9ea74f.1: type = fn_type @EmptyTupleReturn.2 [concrete]
    1581. 

  1581. // CHECK:STDOUT:   %EmptyTupleReturn.282179.1: %EmptyTupleReturn.type.9ea74f.1 = struct_value () [concrete]
    1582. 

  1582. // CHECK:STDOUT:   %I.facet: %I.type = facet_value %empty_tuple.type, (%I.impl_witness) [concrete]
    1583. 

  1583. // CHECK:STDOUT:   %HasReturn.type.c73908.2: type = fn_type @HasReturn.3 [concrete]
    1584. 

  1584. // CHECK:STDOUT:   %HasReturn.424378.2: %HasReturn.type.c73908.2 = struct_value () [concrete]
    1585. 

  1585. // CHECK:STDOUT:   %EmptyTupleReturn.type.9ea74f.2: type = fn_type @EmptyTupleReturn.3 [concrete]
    1586. 

  1586. // CHECK:STDOUT:   %EmptyTupleReturn.282179.2: %EmptyTupleReturn.type.9ea74f.2 = struct_value () [concrete]
    1587. 

  1587. // CHECK:STDOUT:   %empty_tuple: %empty_tuple.type = tuple_value () [concrete]
    1588. 

  1588. // CHECK:STDOUT: }
    1589. 

  1589. // CHECK:STDOUT:
    1590. 

  1590. // CHECK:STDOUT: file {
    1591. 

  1591. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    1592. 

  1592. // CHECK:STDOUT:     .I = %I.decl
    1593. 

  1593. // CHECK:STDOUT:   }
    1594. 

  1594. // CHECK:STDOUT:   %I.decl: type = interface_decl @I [concrete = constants.%I.type] {} {}
    1595. 

  1595. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    1596. 

  1596. // CHECK:STDOUT:     %.loc10_7.1: %empty_tuple.type = tuple_literal ()
    1597. 

  1597. // CHECK:STDOUT:     %.loc10_7.2: type = converted %.loc10_7.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    1598. 

  1598. // CHECK:STDOUT:     %I.ref: type = name_ref I, file.%I.decl [concrete = constants.%I.type]
    1599. 

  1599. // CHECK:STDOUT:   }
    1600. 

  1600. // CHECK:STDOUT:   %I.impl_witness_table = impl_witness_table (@impl.%HasReturn.decl.loc12_17.2, @impl.%NoReturn.decl, @impl.%EmptyTupleReturn.decl.loc18_24.2), @impl [concrete]
    1601. 

  1601. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness %I.impl_witness_table [concrete = constants.%I.impl_witness]
    1602. 

  1602. // CHECK:STDOUT: }
    1603. 

  1603. // CHECK:STDOUT:
    1604. 

  1604. // CHECK:STDOUT: interface @I {
    1605. 

  1605. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    1606. 

  1606. // CHECK:STDOUT:   %HasReturn.decl: %HasReturn.type.bf9 = fn_decl @HasReturn.1 [concrete = constants.%HasReturn.dcf] {
    1607. 

  1607. // CHECK:STDOUT:     %return.patt: @HasReturn.1.%pattern_type (%pattern_type.6de) = return_slot_pattern [concrete]
    1608. 

  1608. // CHECK:STDOUT:     %return.param_patt: @HasReturn.1.%pattern_type (%pattern_type.6de) = out_param_pattern %return.patt, call_param0 [concrete]
    1609. 

  1609. // CHECK:STDOUT:   } {
    1610. 

  1610. // CHECK:STDOUT:     %Self.ref: %I.type = name_ref Self, @I.%Self [symbolic = %Self (constants.%Self)]
    1611. 

  1611. // CHECK:STDOUT:     %Self.as_type.loc5_21.2: type = facet_access_type %Self.ref [symbolic = %Self.as_type.loc5_21.1 (constants.%Self.as_type)]
    1612. 

  1612. // CHECK:STDOUT:     %.loc5: type = converted %Self.ref, %Self.as_type.loc5_21.2 [symbolic = %Self.as_type.loc5_21.1 (constants.%Self.as_type)]
    1613. 

  1613. // CHECK:STDOUT:     %return.param: ref @HasReturn.1.%Self.as_type.loc5_21.1 (%Self.as_type) = out_param call_param0
    1614. 

  1614. // CHECK:STDOUT:     %return: ref @HasReturn.1.%Self.as_type.loc5_21.1 (%Self.as_type) = return_slot %return.param
    1615. 

  1615. // CHECK:STDOUT:   }
    1616. 

  1616. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, %HasReturn.decl [concrete = constants.%assoc0]
    1617. 

  1617. // CHECK:STDOUT:   %NoReturn.decl: %NoReturn.type.7ff = fn_decl @NoReturn.1 [concrete = constants.%NoReturn.7fd] {} {}
    1618. 

  1618. // CHECK:STDOUT:   %assoc1: %I.assoc_type = assoc_entity element1, %NoReturn.decl [concrete = constants.%assoc1]
    1619. 

  1619. // CHECK:STDOUT:   %EmptyTupleReturn.decl: %EmptyTupleReturn.type.1cb = fn_decl @EmptyTupleReturn.1 [concrete = constants.%EmptyTupleReturn.c56] {
    1620. 

  1620. // CHECK:STDOUT:     %return.patt: %pattern_type.cb1 = return_slot_pattern [concrete]
    1621. 

  1621. // CHECK:STDOUT:     %return.param_patt: %pattern_type.cb1 = out_param_pattern %return.patt, call_param0 [concrete]
    1622. 

  1622. // CHECK:STDOUT:   } {
    1623. 

  1623. // CHECK:STDOUT:     %.loc7_29.1: %empty_tuple.type = tuple_literal ()
    1624. 

  1624. // CHECK:STDOUT:     %.loc7_29.2: type = converted %.loc7_29.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    1625. 

  1625. // CHECK:STDOUT:     %return.param: ref %empty_tuple.type = out_param call_param0
    1626. 

  1626. // CHECK:STDOUT:     %return: ref %empty_tuple.type = return_slot %return.param
    1627. 

  1627. // CHECK:STDOUT:   }
    1628. 

  1628. // CHECK:STDOUT:   %assoc2: %I.assoc_type = assoc_entity element2, %EmptyTupleReturn.decl [concrete = constants.%assoc2]
    1629. 

  1629. // CHECK:STDOUT:
    1630. 

  1630. // CHECK:STDOUT: !members:
    1631. 

  1631. // CHECK:STDOUT:   .Self = %Self
    1632. 

  1632. // CHECK:STDOUT:   .HasReturn = %assoc0
    1633. 

  1633. // CHECK:STDOUT:   .NoReturn = %assoc1
    1634. 

  1634. // CHECK:STDOUT:   .EmptyTupleReturn = %assoc2
    1635. 

  1635. // CHECK:STDOUT:   witness = (%HasReturn.decl, %NoReturn.decl, %EmptyTupleReturn.decl)
    1636. 

  1636. // CHECK:STDOUT: }
    1637. 

  1637. // CHECK:STDOUT:
    1638. 

  1638. // CHECK:STDOUT: impl @impl: %.loc10_7.2 as %I.ref {
    1639. 

  1639. // CHECK:STDOUT:   %HasReturn.decl.loc12_17.1: %HasReturn.type.c73908.1 = fn_decl @HasReturn.2 [concrete = constants.%HasReturn.424378.1] {} {}
    1640. 

  1640. // CHECK:STDOUT:   %NoReturn.decl: %NoReturn.type.948 = fn_decl @NoReturn.2 [concrete = constants.%NoReturn.9fa] {} {}
    1641. 

  1641. // CHECK:STDOUT:   %EmptyTupleReturn.decl.loc18_24.1: %EmptyTupleReturn.type.9ea74f.1 = fn_decl @EmptyTupleReturn.2 [concrete = constants.%EmptyTupleReturn.282179.1] {} {}
    1642. 

  1642. // CHECK:STDOUT:   %HasReturn.decl.loc12_17.2: %HasReturn.type.c73908.2 = fn_decl @HasReturn.3 [concrete = constants.%HasReturn.424378.2] {
    1643. 

  1643. // CHECK:STDOUT:     %return.patt: %pattern_type.cb1 = return_slot_pattern [concrete]
    1644. 

  1644. // CHECK:STDOUT:     %return.param_patt: %pattern_type.cb1 = out_param_pattern %return.patt, call_param0 [concrete]
    1645. 

  1645. // CHECK:STDOUT:   } {
    1646. 

  1646. // CHECK:STDOUT:     %return.param: ref %empty_tuple.type = out_param call_param0
    1647. 

  1647. // CHECK:STDOUT:     %return: ref %empty_tuple.type = return_slot %return.param
    1648. 

  1648. // CHECK:STDOUT:   }
    1649. 

  1649. // CHECK:STDOUT:   %EmptyTupleReturn.decl.loc18_24.2: %EmptyTupleReturn.type.9ea74f.2 = fn_decl @EmptyTupleReturn.3 [concrete = constants.%EmptyTupleReturn.282179.2] {
    1650. 

  1650. // CHECK:STDOUT:     %return.patt: %pattern_type.cb1 = return_slot_pattern [concrete]
    1651. 

  1651. // CHECK:STDOUT:     %return.param_patt: %pattern_type.cb1 = out_param_pattern %return.patt, call_param0 [concrete]
    1652. 

  1652. // CHECK:STDOUT:   } {
    1653. 

  1653. // CHECK:STDOUT:     %return.param: ref %empty_tuple.type = out_param call_param0
    1654. 

  1654. // CHECK:STDOUT:     %return: ref %empty_tuple.type = return_slot %return.param
    1655. 

  1655. // CHECK:STDOUT:   }
    1656. 

  1656. // CHECK:STDOUT:
    1657. 

  1657. // CHECK:STDOUT: !members:
    1658. 

  1658. // CHECK:STDOUT:   .HasReturn = %HasReturn.decl.loc12_17.1
    1659. 

  1659. // CHECK:STDOUT:   .NoReturn = %NoReturn.decl
    1660. 

  1660. // CHECK:STDOUT:   .EmptyTupleReturn = %EmptyTupleReturn.decl.loc18_24.1
    1661. 

  1661. // CHECK:STDOUT:   witness = file.%I.impl_witness
    1662. 

  1662. // CHECK:STDOUT: }
    1663. 

  1663. // CHECK:STDOUT:
    1664. 

  1664. // CHECK:STDOUT: generic fn @HasReturn.1(@I.%Self: %I.type) {
    1665. 

  1665. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self)]
    1666. 

  1666. // CHECK:STDOUT:   %Self.as_type.loc5_21.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc5_21.1 (constants.%Self.as_type)]
    1667. 

  1667. // CHECK:STDOUT:   %pattern_type: type = pattern_type %Self.as_type.loc5_21.1 [symbolic = %pattern_type (constants.%pattern_type.6de)]
    1668. 

  1668. // CHECK:STDOUT:
    1669. 

  1669. // CHECK:STDOUT:   fn() -> @HasReturn.1.%Self.as_type.loc5_21.1 (%Self.as_type);
    1670. 

  1670. // CHECK:STDOUT: }
    1671. 

  1671. // CHECK:STDOUT:
    1672. 

  1672. // CHECK:STDOUT: generic fn @NoReturn.1(@I.%Self: %I.type) {
    1673. 

  1673. // CHECK:STDOUT:   fn();
    1674. 

  1674. // CHECK:STDOUT: }
    1675. 

  1675. // CHECK:STDOUT:
    1676. 

  1676. // CHECK:STDOUT: generic fn @EmptyTupleReturn.1(@I.%Self: %I.type) {
    1677. 

  1677. // CHECK:STDOUT:   fn() -> %empty_tuple.type;
    1678. 

  1678. // CHECK:STDOUT: }
    1679. 

  1679. // CHECK:STDOUT:
    1680. 

  1680. // CHECK:STDOUT: fn @HasReturn.2();
    1681. 

  1681. // CHECK:STDOUT:
    1682. 

  1682. // CHECK:STDOUT: fn @NoReturn.2();
    1683. 

  1683. // CHECK:STDOUT:
    1684. 

  1684. // CHECK:STDOUT: fn @EmptyTupleReturn.2();
    1685. 

  1685. // CHECK:STDOUT:
    1686. 

  1686. // CHECK:STDOUT: fn @HasReturn.3() -> %empty_tuple.type {
    1687. 

  1687. // CHECK:STDOUT: !entry:
    1688. 

  1688. // CHECK:STDOUT:   %HasReturn.call: init %empty_tuple.type = call @impl.%HasReturn.decl.loc12_17.1()
    1689. 

  1689. // CHECK:STDOUT:   %.loc12_17.1: ref %empty_tuple.type = temporary_storage
    1690. 

  1690. // CHECK:STDOUT:   %.loc12_17.2: ref %empty_tuple.type = temporary %.loc12_17.1, %HasReturn.call
    1691. 

  1691. // CHECK:STDOUT:   %tuple: %empty_tuple.type = tuple_value () [concrete = constants.%empty_tuple]
    1692. 

  1692. // CHECK:STDOUT:   %.loc12_17.3: %empty_tuple.type = converted %HasReturn.call, %tuple [concrete = constants.%empty_tuple]
    1693. 

  1693. // CHECK:STDOUT:   return %.loc12_17.3
    1694. 

  1694. // CHECK:STDOUT: }
    1695. 

  1695. // CHECK:STDOUT:
    1696. 

  1696. // CHECK:STDOUT: fn @EmptyTupleReturn.3() -> %empty_tuple.type {
    1697. 

  1697. // CHECK:STDOUT: !entry:
    1698. 

  1698. // CHECK:STDOUT:   %EmptyTupleReturn.call: init %empty_tuple.type = call @impl.%EmptyTupleReturn.decl.loc18_24.1()
    1699. 

  1699. // CHECK:STDOUT:   %.loc18_24.1: ref %empty_tuple.type = temporary_storage
    1700. 

  1700. // CHECK:STDOUT:   %.loc18_24.2: ref %empty_tuple.type = temporary %.loc18_24.1, %EmptyTupleReturn.call
    1701. 

  1701. // CHECK:STDOUT:   %tuple: %empty_tuple.type = tuple_value () [concrete = constants.%empty_tuple]
    1702. 

  1702. // CHECK:STDOUT:   %.loc18_24.3: %empty_tuple.type = converted %EmptyTupleReturn.call, %tuple [concrete = constants.%empty_tuple]
    1703. 

  1703. // CHECK:STDOUT:   return %.loc18_24.3
    1704. 

  1704. // CHECK:STDOUT: }
    1705. 

  1705. // CHECK:STDOUT:
    1706. 

  1706. // CHECK:STDOUT: specific @HasReturn.1(constants.%Self) {
    1707. 

  1707. // CHECK:STDOUT:   %Self => constants.%Self
    1708. 

  1708. // CHECK:STDOUT:   %Self.as_type.loc5_21.1 => constants.%Self.as_type
    1709. 

  1709. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.6de
    1710. 

  1710. // CHECK:STDOUT: }
    1711. 

  1711. // CHECK:STDOUT:
    1712. 

  1712. // CHECK:STDOUT: specific @NoReturn.1(constants.%Self) {}
    1713. 

  1713. // CHECK:STDOUT:
    1714. 

  1714. // CHECK:STDOUT: specific @EmptyTupleReturn.1(constants.%Self) {}
    1715. 

  1715. // CHECK:STDOUT:
    1716. 

  1716. // CHECK:STDOUT: specific @HasReturn.1(constants.%I.facet) {
    1717. 

  1717. // CHECK:STDOUT:   %Self => constants.%I.facet
    1718. 

  1718. // CHECK:STDOUT:   %Self.as_type.loc5_21.1 => constants.%empty_tuple.type
    1719. 

  1719. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.cb1
    1720. 

  1720. // CHECK:STDOUT: }
    1721. 

  1721. // CHECK:STDOUT:
    1722. 

  1722. // CHECK:STDOUT: specific @NoReturn.1(constants.%I.facet) {}
    1723. 

  1723. // CHECK:STDOUT:
    1724. 

  1724. // CHECK:STDOUT: specific @EmptyTupleReturn.1(constants.%I.facet) {}
    1725. 

  1725. // CHECK:STDOUT:
    1726. 

  1726. // CHECK:STDOUT: --- fail_return_empty_tuple_mismatch.carbon
    1727. 

  1727. // CHECK:STDOUT:
    1728. 

  1728. // CHECK:STDOUT: constants {
    1729. 

  1729. // CHECK:STDOUT:   %I.type: type = facet_type <@I> [concrete]
    1730. 

  1730. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic]
    1731. 

  1731. // CHECK:STDOUT:   %NoReturn.type.7ff: type = fn_type @NoReturn.1 [concrete]
    1732. 

  1732. // CHECK:STDOUT:   %empty_tuple.type: type = tuple_type () [concrete]
    1733. 

  1733. // CHECK:STDOUT:   %NoReturn.7fd: %NoReturn.type.7ff = struct_value () [concrete]
    1734. 

  1734. // CHECK:STDOUT:   %I.assoc_type: type = assoc_entity_type @I [concrete]
    1735. 

  1735. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, @I.%NoReturn.decl [concrete]
    1736. 

  1736. // CHECK:STDOUT:   %I.impl_witness.c4e: <witness> = impl_witness file.%I.impl_witness_table.loc8 [concrete]
    1737. 

  1737. // CHECK:STDOUT:   %pattern_type.cb1: type = pattern_type %empty_tuple.type [concrete]
    1738. 

  1738. // CHECK:STDOUT:   %NoReturn.type.948: type = fn_type @NoReturn.2 [concrete]
    1739. 

  1739. // CHECK:STDOUT:   %NoReturn.9fa: %NoReturn.type.948 = struct_value () [concrete]
    1740. 

  1740. // CHECK:STDOUT:   %I.facet.372: %I.type = facet_value %empty_tuple.type, (%I.impl_witness.c4e) [concrete]
    1741. 

  1741. // CHECK:STDOUT:   %C: type = class_type @C [concrete]
    1742. 

  1742. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    1743. 

  1743. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete]
    1744. 

  1744. // CHECK:STDOUT:   %I.impl_witness.464: <witness> = impl_witness file.%I.impl_witness_table.loc22 [concrete]
    1745. 

  1745. // CHECK:STDOUT:   %pattern_type.c48: type = pattern_type %C [concrete]
    1746. 

  1746. // CHECK:STDOUT:   %NoReturn.type.930: type = fn_type @NoReturn.3 [concrete]
    1747. 

  1747. // CHECK:STDOUT:   %NoReturn.ac0: %NoReturn.type.930 = struct_value () [concrete]
    1748. 

  1748. // CHECK:STDOUT:   %I.facet.be9: %I.type = facet_value %C, (%I.impl_witness.464) [concrete]
    1749. 

  1749. // CHECK:STDOUT: }
    1750. 

  1750. // CHECK:STDOUT:
    1751. 

  1751. // CHECK:STDOUT: file {
    1752. 

  1752. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    1753. 

  1753. // CHECK:STDOUT:     .I = %I.decl
    1754. 

  1754. // CHECK:STDOUT:     .C = %C.decl
    1755. 

  1755. // CHECK:STDOUT:   }
    1756. 

  1756. // CHECK:STDOUT:   %I.decl: type = interface_decl @I [concrete = constants.%I.type] {} {}
    1757. 

  1757. // CHECK:STDOUT:   impl_decl @impl.4ab [concrete] {} {
    1758. 

  1758. // CHECK:STDOUT:     %.loc8_7.1: %empty_tuple.type = tuple_literal ()
    1759. 

  1759. // CHECK:STDOUT:     %.loc8_7.2: type = converted %.loc8_7.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    1760. 

  1760. // CHECK:STDOUT:     %I.ref: type = name_ref I, file.%I.decl [concrete = constants.%I.type]
    1761. 

  1761. // CHECK:STDOUT:   }
    1762. 

  1762. // CHECK:STDOUT:   %I.impl_witness_table.loc8 = impl_witness_table (<error>), @impl.4ab [concrete]
    1763. 

  1763. // CHECK:STDOUT:   %I.impl_witness.loc8: <witness> = impl_witness %I.impl_witness_table.loc8 [concrete = constants.%I.impl_witness.c4e]
    1764. 

  1764. // CHECK:STDOUT:   %C.decl: type = class_decl @C [concrete = constants.%C] {} {}
    1765. 

  1765. // CHECK:STDOUT:   impl_decl @impl.770 [concrete] {} {
    1766. 

  1766. // CHECK:STDOUT:     %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C]
    1767. 

  1767. // CHECK:STDOUT:     %I.ref: type = name_ref I, file.%I.decl [concrete = constants.%I.type]
    1768. 

  1768. // CHECK:STDOUT:   }
    1769. 

  1769. // CHECK:STDOUT:   %I.impl_witness_table.loc22 = impl_witness_table (<error>), @impl.770 [concrete]
    1770. 

  1770. // CHECK:STDOUT:   %I.impl_witness.loc22: <witness> = impl_witness %I.impl_witness_table.loc22 [concrete = constants.%I.impl_witness.464]
    1771. 

  1771. // CHECK:STDOUT: }
    1772. 

  1772. // CHECK:STDOUT:
    1773. 

  1773. // CHECK:STDOUT: interface @I {
    1774. 

  1774. // CHECK:STDOUT:   %Self: %I.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self]
    1775. 

  1775. // CHECK:STDOUT:   %NoReturn.decl: %NoReturn.type.7ff = fn_decl @NoReturn.1 [concrete = constants.%NoReturn.7fd] {} {}
    1776. 

  1776. // CHECK:STDOUT:   %assoc0: %I.assoc_type = assoc_entity element0, %NoReturn.decl [concrete = constants.%assoc0]
    1777. 

  1777. // CHECK:STDOUT:
    1778. 

  1778. // CHECK:STDOUT: !members:
    1779. 

  1779. // CHECK:STDOUT:   .Self = %Self
    1780. 

  1780. // CHECK:STDOUT:   .NoReturn = %assoc0
    1781. 

  1781. // CHECK:STDOUT:   witness = (%NoReturn.decl)
    1782. 

  1782. // CHECK:STDOUT: }
    1783. 

  1783. // CHECK:STDOUT:
    1784. 

  1784. // CHECK:STDOUT: impl @impl.4ab: %.loc8_7.2 as %I.ref {
    1785. 

  1785. // CHECK:STDOUT:   %NoReturn.decl: %NoReturn.type.948 = fn_decl @NoReturn.2 [concrete = constants.%NoReturn.9fa] {
    1786. 

  1786. // CHECK:STDOUT:     %return.patt: %pattern_type.cb1 = return_slot_pattern [concrete]
    1787. 

  1787. // CHECK:STDOUT:     %return.param_patt: %pattern_type.cb1 = out_param_pattern %return.patt, call_param0 [concrete]
    1788. 

  1788. // CHECK:STDOUT:   } {
    1789. 

  1789. // CHECK:STDOUT:     %.loc17_21.1: %empty_tuple.type = tuple_literal ()
    1790. 

  1790. // CHECK:STDOUT:     %.loc17_21.2: type = converted %.loc17_21.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type]
    1791. 

  1791. // CHECK:STDOUT:     %return.param: ref %empty_tuple.type = out_param call_param0
    1792. 

  1792. // CHECK:STDOUT:     %return: ref %empty_tuple.type = return_slot %return.param
    1793. 

  1793. // CHECK:STDOUT:   }
    1794. 

  1794. // CHECK:STDOUT:
    1795. 

  1795. // CHECK:STDOUT: !members:
    1796. 

  1796. // CHECK:STDOUT:   .NoReturn = %NoReturn.decl
    1797. 

  1797. // CHECK:STDOUT:   witness = file.%I.impl_witness.loc8
    1798. 

  1798. // CHECK:STDOUT: }
    1799. 

  1799. // CHECK:STDOUT:
    1800. 

  1800. // CHECK:STDOUT: impl @impl.770: %C.ref as %I.ref {
    1801. 

  1801. // CHECK:STDOUT:   %NoReturn.decl: %NoReturn.type.930 = fn_decl @NoReturn.3 [concrete = constants.%NoReturn.ac0] {
    1802. 

  1802. // CHECK:STDOUT:     %return.patt: %pattern_type.c48 = return_slot_pattern [concrete]
    1803. 

  1803. // CHECK:STDOUT:     %return.param_patt: %pattern_type.c48 = out_param_pattern %return.patt, call_param0 [concrete]
    1804. 

  1804. // CHECK:STDOUT:   } {
    1805. 

  1805. // CHECK:STDOUT:     %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C]
    1806. 

  1806. // CHECK:STDOUT:     %return.param: ref %C = out_param call_param0
    1807. 

  1807. // CHECK:STDOUT:     %return: ref %C = return_slot %return.param
    1808. 

  1808. // CHECK:STDOUT:   }
    1809. 

  1809. // CHECK:STDOUT:
    1810. 

  1810. // CHECK:STDOUT: !members:
    1811. 

  1811. // CHECK:STDOUT:   .C = <poisoned>
    1812. 

  1812. // CHECK:STDOUT:   .NoReturn = %NoReturn.decl
    1813. 

  1813. // CHECK:STDOUT:   witness = file.%I.impl_witness.loc22
    1814. 

  1814. // CHECK:STDOUT: }
    1815. 

  1815. // CHECK:STDOUT:
    1816. 

  1816. // CHECK:STDOUT: class @C {
    1817. 

  1817. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1818. 

  1818. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type]
    1819. 

  1819. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1820. 

  1820. // CHECK:STDOUT:
    1821. 

  1821. // CHECK:STDOUT: !members:
    1822. 

  1822. // CHECK:STDOUT:   .Self = constants.%C
    1823. 

  1823. // CHECK:STDOUT: }
    1824. 

  1824. // CHECK:STDOUT:
    1825. 

  1825. // CHECK:STDOUT: generic fn @NoReturn.1(@I.%Self: %I.type) {
    1826. 

  1826. // CHECK:STDOUT:   fn();
    1827. 

  1827. // CHECK:STDOUT: }
    1828. 

  1828. // CHECK:STDOUT:
    1829. 

  1829. // CHECK:STDOUT: fn @NoReturn.2() -> %empty_tuple.type;
    1830. 

  1830. // CHECK:STDOUT:
    1831. 

  1831. // CHECK:STDOUT: fn @NoReturn.3() -> %C;
    1832. 

  1832. // CHECK:STDOUT:
    1833. 

  1833. // CHECK:STDOUT: specific @NoReturn.1(constants.%Self) {}
    1834. 

  1834. // CHECK:STDOUT:
    1835. 

  1835. // CHECK:STDOUT: specific @NoReturn.1(constants.%I.facet.372) {}
    1836. 

  1836. // CHECK:STDOUT:
    1837. 

  1837. // CHECK:STDOUT: specific @NoReturn.1(constants.%I.facet.be9) {}
    1838. 

  1838. // CHECK:STDOUT:
    1839. 

  1839. // CHECK:STDOUT: --- fail_param_type_incomplete.carbon
    1840. 

  1840. // CHECK:STDOUT:
    1841. 

  1841. // CHECK:STDOUT: constants {
    1842. 

  1842. // CHECK:STDOUT:   %T: type = bind_symbolic_name T, 0 [symbolic]
    1843. 

  1843. // CHECK:STDOUT:   %pattern_type.98f: type = pattern_type type [concrete]
    1844. 

  1844. // CHECK:STDOUT:   %I.type.dac: type = generic_interface_type @I [concrete]
    1845. 

  1845. // CHECK:STDOUT:   %empty_tuple.type: type = tuple_type () [concrete]
    1846. 

  1846. // CHECK:STDOUT:   %I.generic: %I.type.dac = struct_value () [concrete]
    1847. 

  1847. // CHECK:STDOUT:   %I.type.325: type = facet_type <@I, @I(%T)> [symbolic]
    1848. 

  1848. // CHECK:STDOUT:   %Self.209: %I.type.325 = bind_symbolic_name Self, 1 [symbolic]
    1849. 

  1849. // CHECK:STDOUT:   %pattern_type.7dc: type = pattern_type %T [symbolic]
    1850. 

  1850. // CHECK:STDOUT:   %F.type.2ae: type = fn_type @F.1, @I(%T) [symbolic]
    1851. 

  1851. // CHECK:STDOUT:   %F.bb2: %F.type.2ae = struct_value () [symbolic]
    1852. 

  1852. // CHECK:STDOUT:   %I.assoc_type.1e5: type = assoc_entity_type @I, @I(%T) [symbolic]
    1853. 

  1853. // CHECK:STDOUT:   %assoc0.8f0: %I.assoc_type.1e5 = assoc_entity element0, @I.%F.decl [symbolic]
    1854. 

  1854. // CHECK:STDOUT:   %B: type = class_type @B [concrete]
    1855. 

  1855. // CHECK:STDOUT:   %C: type = class_type @C [concrete]
    1856. 

  1856. // CHECK:STDOUT:   %I.type.a79: type = facet_type <@I, @I(%B)> [concrete]
    1857. 

  1857. // CHECK:STDOUT:   %Self.fe1: %I.type.a79 = bind_symbolic_name Self, 1 [symbolic]
    1858. 

  1858. // CHECK:STDOUT:   %F.type.7f2: type = fn_type @F.1, @I(%B) [concrete]
    1859. 

  1859. // CHECK:STDOUT:   %F.e0a: %F.type.7f2 = struct_value () [concrete]
    1860. 

  1860. // CHECK:STDOUT:   %I.assoc_type.5ff: type = assoc_entity_type @I, @I(%B) [concrete]
    1861. 

  1861. // CHECK:STDOUT:   %assoc0.470: %I.assoc_type.5ff = assoc_entity element0, @I.%F.decl [concrete]
    1862. 

  1862. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness @C.%I.impl_witness_table [concrete]
    1863. 

  1863. // CHECK:STDOUT:   %pattern_type.c48: type = pattern_type %C [concrete]
    1864. 

  1864. // CHECK:STDOUT:   %F.type.17e183.1: type = fn_type @F.2 [concrete]
    1865. 

  1865. // CHECK:STDOUT:   %F.4f1533.1: %F.type.17e183.1 = struct_value () [concrete]
    1866. 

  1866. // CHECK:STDOUT:   %I.facet: %I.type.a79 = facet_value %C, (%I.impl_witness) [concrete]
    1867. 

  1867. // CHECK:STDOUT:   %pattern_type.049: type = pattern_type %B [concrete]
    1868. 

  1868. // CHECK:STDOUT:   %F.type.17e183.2: type = fn_type @F.3 [concrete]
    1869. 

  1869. // CHECK:STDOUT:   %F.4f1533.2: %F.type.17e183.2 = struct_value () [concrete]
    1870. 

  1870. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
    1871. 

  1871. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete]
    1872. 

  1872. // CHECK:STDOUT: }
    1873. 

  1873. // CHECK:STDOUT:
    1874. 

  1874. // CHECK:STDOUT: file {
    1875. 

  1875. // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {
    1876. 

  1876. // CHECK:STDOUT:     .I = %I.decl
    1877. 

  1877. // CHECK:STDOUT:     .B = %B.decl
    1878. 

  1878. // CHECK:STDOUT:     .C = %C.decl
    1879. 

  1879. // CHECK:STDOUT:   }
    1880. 

  1880. // CHECK:STDOUT:   %I.decl: %I.type.dac = interface_decl @I [concrete = constants.%I.generic] {
    1881. 

  1881. // CHECK:STDOUT:     %T.patt: %pattern_type.98f = symbolic_binding_pattern T, 0 [concrete]
    1882. 

  1882. // CHECK:STDOUT:   } {
    1883. 

  1883. // CHECK:STDOUT:     %T.loc4_13.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc4_13.2 (constants.%T)]
    1884. 

  1884. // CHECK:STDOUT:   }
    1885. 

  1885. // CHECK:STDOUT:   %B.decl: type = class_decl @B [concrete = constants.%B] {} {}
    1886. 

  1886. // CHECK:STDOUT:   %C.decl: type = class_decl @C [concrete = constants.%C] {} {}
    1887. 

  1887. // CHECK:STDOUT: }
    1888. 

  1888. // CHECK:STDOUT:
    1889. 

  1889. // CHECK:STDOUT: generic interface @I(%T.loc4_13.1: type) {
    1890. 

  1890. // CHECK:STDOUT:   %T.loc4_13.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc4_13.2 (constants.%T)]
    1891. 

  1891. // CHECK:STDOUT:
    1892. 

  1892. // CHECK:STDOUT: !definition:
    1893. 

  1893. // CHECK:STDOUT:   %I.type: type = facet_type <@I, @I(%T.loc4_13.2)> [symbolic = %I.type (constants.%I.type.325)]
    1894. 

  1894. // CHECK:STDOUT:   %Self.2: @I.%I.type (%I.type.325) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.209)]
    1895. 

  1895. // CHECK:STDOUT:   %F.type: type = fn_type @F.1, @I(%T.loc4_13.2) [symbolic = %F.type (constants.%F.type.2ae)]
    1896. 

  1896. // CHECK:STDOUT:   %F: @I.%F.type (%F.type.2ae) = struct_value () [symbolic = %F (constants.%F.bb2)]
    1897. 

  1897. // CHECK:STDOUT:   %I.assoc_type: type = assoc_entity_type @I, @I(%T.loc4_13.2) [symbolic = %I.assoc_type (constants.%I.assoc_type.1e5)]
    1898. 

  1898. // CHECK:STDOUT:   %assoc0.loc8_13.2: @I.%I.assoc_type (%I.assoc_type.1e5) = assoc_entity element0, %F.decl [symbolic = %assoc0.loc8_13.2 (constants.%assoc0.8f0)]
    1899. 

  1899. // CHECK:STDOUT:
    1900. 

  1900. // CHECK:STDOUT:   interface {
    1901. 

  1901. // CHECK:STDOUT:     %Self.1: @I.%I.type (%I.type.325) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.209)]
    1902. 

  1902. // CHECK:STDOUT:     %F.decl: @I.%F.type (%F.type.2ae) = fn_decl @F.1 [symbolic = @I.%F (constants.%F.bb2)] {
    1903. 

  1903. // CHECK:STDOUT:       %a.patt: @F.1.%pattern_type (%pattern_type.7dc) = binding_pattern a [concrete]
    1904. 

  1904. // CHECK:STDOUT:       %a.param_patt: @F.1.%pattern_type (%pattern_type.7dc) = value_param_pattern %a.patt, call_param0 [concrete]
    1905. 

  1905. // CHECK:STDOUT:     } {
    1906. 

  1906. // CHECK:STDOUT:       %a.param: @F.1.%T (%T) = value_param call_param0
    1907. 

  1907. // CHECK:STDOUT:       %T.ref: type = name_ref T, @I.%T.loc4_13.1 [symbolic = %T (constants.%T)]
    1908. 

  1908. // CHECK:STDOUT:       %a: @F.1.%T (%T) = bind_name a, %a.param
    1909. 

  1909. // CHECK:STDOUT:     }
    1910. 

  1910. // CHECK:STDOUT:     %assoc0.loc8_13.1: @I.%I.assoc_type (%I.assoc_type.1e5) = assoc_entity element0, %F.decl [symbolic = %assoc0.loc8_13.2 (constants.%assoc0.8f0)]
    1911. 

  1911. // CHECK:STDOUT:
    1912. 

  1912. // CHECK:STDOUT:   !members:
    1913. 

  1913. // CHECK:STDOUT:     .Self = %Self.1
    1914. 

  1914. // CHECK:STDOUT:     .T = <poisoned>
    1915. 

  1915. // CHECK:STDOUT:     .F = %assoc0.loc8_13.1
    1916. 

  1916. // CHECK:STDOUT:     witness = (%F.decl)
    1917. 

  1917. // CHECK:STDOUT:   }
    1918. 

  1918. // CHECK:STDOUT: }
    1919. 

  1919. // CHECK:STDOUT:
    1920. 

  1920. // CHECK:STDOUT: impl @impl: %Self.ref as %I.type {
    1921. 

  1921. // CHECK:STDOUT:   %F.decl.loc32_15.1: %F.type.17e183.1 = fn_decl @F.2 [concrete = constants.%F.4f1533.1] {
    1922. 

  1922. // CHECK:STDOUT:     %c.patt: %pattern_type.c48 = binding_pattern c [concrete]
    1923. 

  1923. // CHECK:STDOUT:     %c.param_patt: %pattern_type.c48 = value_param_pattern %c.patt, call_param0 [concrete]
    1924. 

  1924. // CHECK:STDOUT:   } {
    1925. 

  1925. // CHECK:STDOUT:     %c.param: %C = value_param call_param0
    1926. 

  1926. // CHECK:STDOUT:     %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C]
    1927. 

  1927. // CHECK:STDOUT:     %c: %C = bind_name c, %c.param
    1928. 

  1928. // CHECK:STDOUT:   }
    1929. 

  1929. // CHECK:STDOUT:   %F.decl.loc32_15.2: %F.type.17e183.2 = fn_decl @F.3 [concrete = constants.%F.4f1533.2] {
    1930. 

  1930. // CHECK:STDOUT:     %a.patt: %pattern_type.049 = binding_pattern a [concrete]
    1931. 

  1931. // CHECK:STDOUT:     %a.param_patt: %pattern_type.049 = value_param_pattern %a.patt, call_param0 [concrete]
    1932. 

  1932. // CHECK:STDOUT:   } {
    1933. 

  1933. // CHECK:STDOUT:     %a.param: %B = value_param call_param0
    1934. 

  1934. // CHECK:STDOUT:     %a: %B = bind_name a, %a.param
    1935. 

  1935. // CHECK:STDOUT:   }
    1936. 

  1936. // CHECK:STDOUT:
    1937. 

  1937. // CHECK:STDOUT: !members:
    1938. 

  1938. // CHECK:STDOUT:   .C = <poisoned>
    1939. 

  1939. // CHECK:STDOUT:   .F = %F.decl.loc32_15.1
    1940. 

  1940. // CHECK:STDOUT:   witness = @C.%I.impl_witness
    1941. 

  1941. // CHECK:STDOUT: }
    1942. 

  1942. // CHECK:STDOUT:
    1943. 

  1943. // CHECK:STDOUT: class @B;
    1944. 

  1944. // CHECK:STDOUT:
    1945. 

  1945. // CHECK:STDOUT: class @C {
    1946. 

  1946. // CHECK:STDOUT:   impl_decl @impl [concrete] {} {
    1947. 

  1947. // CHECK:STDOUT:     %Self.ref: type = name_ref Self, constants.%C [concrete = constants.%C]
    1948. 

  1948. // CHECK:STDOUT:     %I.ref: %I.type.dac = name_ref I, file.%I.decl [concrete = constants.%I.generic]
    1949. 

  1949. // CHECK:STDOUT:     %B.ref: type = name_ref B, file.%B.decl [concrete = constants.%B]
    1950. 

  1950. // CHECK:STDOUT:     %I.type: type = facet_type <@I, @I(constants.%B)> [concrete = constants.%I.type.a79]
    1951. 

  1951. // CHECK:STDOUT:   }
    1952. 

  1952. // CHECK:STDOUT:   %I.impl_witness_table = impl_witness_table (@impl.%F.decl.loc32_15.2), @impl [concrete]
    1953. 

  1953. // CHECK:STDOUT:   %I.impl_witness: <witness> = impl_witness %I.impl_witness_table [concrete = constants.%I.impl_witness]
    1954. 

  1954. // CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete = constants.%empty_struct_type]
    1955. 

  1955. // CHECK:STDOUT:   %complete_type: <witness> = complete_type_witness %empty_struct_type [concrete = constants.%complete_type]
    1956. 

  1956. // CHECK:STDOUT:   complete_type_witness = %complete_type
    1957. 

  1957. // CHECK:STDOUT:
    1958. 

  1958. // CHECK:STDOUT: !members:
    1959. 

  1959. // CHECK:STDOUT:   .Self = constants.%C
    1960. 

  1960. // CHECK:STDOUT:   .I = <poisoned>
    1961. 

  1961. // CHECK:STDOUT:   .B = <poisoned>
    1962. 

  1962. // CHECK:STDOUT:   .C = <poisoned>
    1963. 

  1963. // CHECK:STDOUT: }
    1964. 

  1964. // CHECK:STDOUT:
    1965. 

  1965. // CHECK:STDOUT: generic fn @F.1(@I.%T.loc4_13.1: type, @I.%Self.1: @I.%I.type (%I.type.325)) {
    1966. 

  1966. // CHECK:STDOUT:   %T: type = bind_symbolic_name T, 0 [symbolic = %T (constants.%T)]
    1967. 

  1967. // CHECK:STDOUT:   %pattern_type: type = pattern_type %T [symbolic = %pattern_type (constants.%pattern_type.7dc)]
    1968. 

  1968. // CHECK:STDOUT:
    1969. 

  1969. // CHECK:STDOUT:   fn(%a.param: @F.1.%T (%T));
    1970. 

  1970. // CHECK:STDOUT: }
    1971. 

  1971. // CHECK:STDOUT:
    1972. 

  1972. // CHECK:STDOUT: fn @F.2(%c.param: %C);
    1973. 

  1973. // CHECK:STDOUT:
    1974. 

  1974. // CHECK:STDOUT: fn @F.3(%a.param: %B) {
    1975. 

  1975. // CHECK:STDOUT: !entry:
    1976. 

  1976. // CHECK:STDOUT:   %a.ref: %B = name_ref a, %a.param
    1977. 

  1977. // CHECK:STDOUT:   %.loc8: %C = converted %a.ref, <error> [concrete = <error>]
    1978. 

  1978. // CHECK:STDOUT:   %F.call: init %empty_tuple.type = call @impl.%F.decl.loc32_15.1(<error>)
    1979. 

  1979. // CHECK:STDOUT:   return
    1980. 

  1980. // CHECK:STDOUT: }
    1981. 

  1981. // CHECK:STDOUT:
    1982. 

  1982. // CHECK:STDOUT: specific @I(constants.%T) {
    1983. 

  1983. // CHECK:STDOUT:   %T.loc4_13.2 => constants.%T
    1984. 

  1984. // CHECK:STDOUT: }
    1985. 

  1985. // CHECK:STDOUT:
    1986. 

  1986. // CHECK:STDOUT: specific @F.1(constants.%T, constants.%Self.209) {
    1987. 

  1987. // CHECK:STDOUT:   %T => constants.%T
    1988. 

  1988. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.7dc
    1989. 

  1989. // CHECK:STDOUT: }
    1990. 

  1990. // CHECK:STDOUT:
    1991. 

  1991. // CHECK:STDOUT: specific @I(constants.%B) {
    1992. 

  1992. // CHECK:STDOUT:   %T.loc4_13.2 => constants.%B
    1993. 

  1993. // CHECK:STDOUT:
    1994. 

  1994. // CHECK:STDOUT: !definition:
    1995. 

  1995. // CHECK:STDOUT:   %I.type => constants.%I.type.a79
    1996. 

  1996. // CHECK:STDOUT:   %Self.2 => constants.%Self.fe1
    1997. 

  1997. // CHECK:STDOUT:   %F.type => constants.%F.type.7f2
    1998. 

  1998. // CHECK:STDOUT:   %F => constants.%F.e0a
    1999. 

  1999. // CHECK:STDOUT:   %I.assoc_type => constants.%I.assoc_type.5ff
    2000. 

  2000. // CHECK:STDOUT:   %assoc0.loc8_13.2 => constants.%assoc0.470
    2001. 

  2001. // CHECK:STDOUT: }
    2002. 

  2002. // CHECK:STDOUT:
    2003. 

  2003. // CHECK:STDOUT: specific @F.1(constants.%B, constants.%I.facet) {
    2004. 

  2004. // CHECK:STDOUT:   %T => constants.%B
    2005. 

  2005. // CHECK:STDOUT:   %pattern_type => constants.%pattern_type.049
    2006. 

  2006. // CHECK:STDOUT: }
    2007. 

  2007. // CHECK:STDOUT:
    2008.