diff --git a/toolchain/check/cpp/export.cpp b/toolchain/check/cpp/export.cpp
index 36b45bb85148..4bf20a6102eb 100644
--- a/toolchain/check/cpp/export.cpp
+++ b/toolchain/check/cpp/export.cpp
@@ -746,43 +746,6 @@ auto ExportFieldToCpp(Context& context, SemIR::InstId field_inst_id,
 }
 
 namespace {
-
-// Given a block of parameter patterns, returns a vector of the same size,
-// where each element of that vector contains the value used as the default
-// value for that parameter, or `None` if no default value was specified.
-static auto ExtractParameterDefaults(Context& context,
-                                     SemIR::InstBlockId param_patterns_id)
-    -> llvm::SmallVector<SemIR::ConstantId> {
-  llvm::SmallVector<SemIR::ConstantId> parameter_defaults;
-  for (auto inst_id : context.inst_blocks().Get(param_patterns_id)) {
-    auto pattern_id = context.constant_values().GetConstantInstId(inst_id);
-    while (pattern_id.has_value()) {
-      CARBON_KIND_SWITCH(context.insts().Get(pattern_id)) {
-        case CARBON_KIND(SemIR::DefaultValuePattern inst): {
-          parameter_defaults.push_back(
-              context.constant_values().Get(inst.value_id));
-          pattern_id = SemIR::InstId::None;
-          break;
-        }
-        case CARBON_KIND_ANY(SemIR::AnyBindingPattern, inst): {
-          pattern_id = inst.subpattern_id;
-          break;
-        }
-        case CARBON_KIND_ANY(SemIR::AnyParamPattern, _): {
-          parameter_defaults.push_back(SemIR::ConstantId::None);
-          pattern_id = SemIR::InstId::None;
-          break;
-        }
-        default: {
-          pattern_id = SemIR::InstId::None;
-          break;
-        }
-      }
-    }
-  }
-  return parameter_defaults;
-}
-
 struct FunctionInfo {
   struct Param {
     Param(Context& context, SemIR::InstId param_inst_id,
@@ -818,11 +781,7 @@ struct FunctionInfo {
         export_as_constructor(export_as_constructor) {
     auto function_params =
         context.inst_blocks().Get(function.call_param_patterns_id);
-    auto parameter_defaults =
-        ExtractParameterDefaults(context, function.param_patterns_id);
     const auto& ranges = function.call_param_ranges;
-    CARBON_CHECK(parameter_defaults.size() ==
-                 static_cast<size_t>(ranges.explicit_size()));
     auto explicit_begin = ranges.explicit_begin().index;
     auto param_start = explicit_begin;
 
@@ -837,12 +796,15 @@ struct FunctionInfo {
       ++param_start;
     }
 
+    auto param_patterns =
+        context.inst_blocks().GetOrEmpty(function.param_patterns_id);
     // The remaining explicit parameters are the caller-provided arguments.
     for (auto i = param_start; i != ranges.explicit_end().index; ++i) {
       // We only calculated default values for the explicit parameters, so
       // we need to adjust the index within `parameter_defaults` by any elements
       // in `function_params` that may have preceded them.
-      auto default_value_const_id = parameter_defaults[i - explicit_begin];
+      auto default_value_const_id =
+          ExtractParameterDefault(context, param_patterns[i - explicit_begin]);
       explicit_params.push_back(
           Param(context, function_params[i], default_value_const_id));
     }
diff --git a/toolchain/check/deduce.cpp b/toolchain/check/deduce.cpp
index 9f0e5451aa39..f5cd0fc2f046 100644
--- a/toolchain/check/deduce.cpp
+++ b/toolchain/check/deduce.cpp
@@ -9,6 +9,7 @@
 #include "toolchain/check/context.h"
 #include "toolchain/check/convert.h"
 #include "toolchain/check/generic.h"
+#include "toolchain/check/pattern.h"
 #include "toolchain/check/subst.h"
 #include "toolchain/check/type.h"
 #include "toolchain/diagnostics/diagnostic.h"
@@ -622,6 +623,7 @@ auto DeduceGenericCallArguments(
                              enclosing_specific_id,
                              /*diagnose=*/true);
 
+  auto argument_count = arg_ids.size();
   // Prepare to perform deduction of the parameters against the explicit
   // arguments. When `self` is provided as the method-call receiver it is
   // prepended to the explicit argument list to match the leading `self`
@@ -629,11 +631,32 @@ auto DeduceGenericCallArguments(
   llvm::ArrayRef<SemIR::InstId> self_refs = {};
   if (self_id.has_value()) {
     self_refs = self_id;
+    ++argument_count;
   }
-  deduction.AddAll(context.inst_blocks().GetOrEmpty(param_patterns_id),
-                   llvm::ArrayRef<SemIR::InstId>(llvm::to_vector<8>(
-                       llvm::concat<const SemIR::InstId>(self_refs, arg_ids))),
-                   /*want_value=*/false);
+
+  auto param_patterns_block =
+      context.inst_blocks().GetOrEmpty(param_patterns_id);
+
+  // If we are short on arguments, check if we can append default values for
+  // deduction.
+  llvm::SmallVector<SemIR::InstId> default_values;
+  for (auto i = argument_count; i < param_patterns_block.size(); ++i) {
+    auto default_value =
+        ExtractParameterDefault(context, param_patterns_block[i]);
+    if (!default_value.has_value()) {
+      break;
+    }
+    default_values.push_back(
+        context.constant_values().GetInstId(default_value));
+  }
+
+  deduction.AddAll(
+      param_patterns_block,
+      llvm::ArrayRef<SemIR::InstId>(
+          llvm::to_vector<8>(llvm::concat<const SemIR::InstId>(
+              llvm::concat<const SemIR::InstId>(self_refs, arg_ids),
+              default_values))),
+      /*want_value=*/false);
 
   if (!deduction.Deduce() || !deduction.CheckDeductionIsComplete()) {
     return SemIR::SpecificId::None;
diff --git a/toolchain/check/pattern.cpp b/toolchain/check/pattern.cpp
index 85aa4444953b..369d4284864a 100644
--- a/toolchain/check/pattern.cpp
+++ b/toolchain/check/pattern.cpp
@@ -360,4 +360,26 @@ auto PerformAction(Context& context, SemIR::LocId /*loc_id*/,
   }
 }
 
+auto ExtractParameterDefault(Context& context,
+                             SemIR::InstId param_pattern_inst_id)
+    -> SemIR::ConstantId {
+  auto pattern_id =
+      context.constant_values().GetConstantInstId(param_pattern_inst_id);
+  while (pattern_id.has_value()) {
+    CARBON_KIND_SWITCH(context.insts().Get(pattern_id)) {
+      case CARBON_KIND(SemIR::DefaultValuePattern inst): {
+        return context.constant_values().Get(inst.value_id);
+      }
+      case CARBON_KIND_ANY(SemIR::AnyBindingPattern, inst): {
+        pattern_id = inst.subpattern_id;
+        break;
+      }
+      default: {
+        return SemIR::ConstantId::None;
+      }
+    }
+  }
+  return SemIR::ConstantId::None;
+}
+
 }  // namespace Carbon::Check
diff --git a/toolchain/check/pattern.h b/toolchain/check/pattern.h
index 0e05677cbf5c..864d415c4509 100644
--- a/toolchain/check/pattern.h
+++ b/toolchain/check/pattern.h
@@ -114,6 +114,13 @@ auto AddParamPattern(Context& context, SemIR::LocId loc_id,
                      SemIR::TypeId type_id, ParamPatternKind kind)
     -> SemIR::InstId;
 
+// Given any parameter pattern `InstId`, returns the constant value of the
+// associated default value for that parameter, or `None` if no default value
+// was supplied.
+auto ExtractParameterDefault(Context& context,
+                             SemIR::InstId param_pattern_inst_id)
+    -> SemIR::ConstantId;
+
 }  // namespace Carbon::Check
 
 #endif  // CARBON_TOOLCHAIN_CHECK_PATTERN_H_
diff --git a/toolchain/check/testdata/function/generic/default_values.carbon b/toolchain/check/testdata/function/generic/default_values.carbon
new file mode 100644
index 000000000000..c5ae42ed7027
--- /dev/null
+++ b/toolchain/check/testdata/function/generic/default_values.carbon
@@ -0,0 +1,544 @@
+// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
+// Exceptions. See /LICENSE for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+// INCLUDE-FILE: toolchain/testing/testdata/min_prelude/convert.carbon
+//
+// AUTOUPDATE
+// TIP: To test this file alone, run:
+// TIP:   bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/function/generic/default_values.carbon
+// TIP: To dump output, run:
+// TIP:   bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/function/generic/default_values.carbon
+
+// --- generic_fn_specific_param.carbon
+library "[[@TEST_NAME]]";
+
+class D {}
+impl D as Core.Copy {
+  fn Op(unused self: D) -> D { return {} as D; }
+}
+
+class E {}
+impl E as Core.Copy {
+  fn Op(unused self: E) -> E { return {} as E; }
+}
+
+class C(T: Core.Copy & Core.Destroy) {
+  var t: T;
+  var d: D;
+  impl as Core.Copy {
+    fn Op(self: Self) -> Self {
+      let c: Self = {.t = self.t, .d = self.d};
+      return c;
+    }
+  }
+}
+
+//@dump-sem-ir-begin
+fn Make(generic T: Core.Copy & Core.Destroy, t: T, d: D = {} as D) -> C(T) {
+  let c: C(T) = {.t = t, .d = d};
+  return c;
+}
+
+fn G() {
+  let _: C(E) = Make(E, {} as E);
+}
+//@dump-sem-ir-end
+
+
+// CHECK:STDOUT: --- generic_fn_specific_param.carbon
+// CHECK:STDOUT:
+// CHECK:STDOUT: constants {
+// CHECK:STDOUT:   type: type = facet_type <type> [concrete]
+// CHECK:STDOUT:   %D: type = class_type @D [concrete]
+// CHECK:STDOUT:   %empty_struct_type: type = struct_type {} [concrete]
+// CHECK:STDOUT:   %complete_type.357: <witness> = complete_type_witness %empty_struct_type [concrete]
+// CHECK:STDOUT:   %Copy.type: type = facet_type <@Copy> [concrete]
+// CHECK:STDOUT:   %Copy.impl_witness.548: <witness> = impl_witness @D.as.Copy.impl.%Copy.impl_witness_table [concrete]
+// CHECK:STDOUT:   %pattern_type.d8d: type = pattern_type %D [concrete]
+// CHECK:STDOUT:   %D.as.Copy.impl.Op.type: type = fn_type @D.as.Copy.impl.Op [concrete]
+// CHECK:STDOUT:   %empty_tuple.type: type = tuple_type () [concrete]
+// CHECK:STDOUT:   %D.as.Copy.impl.Op: %D.as.Copy.impl.Op.type = struct_value () [concrete]
+// CHECK:STDOUT:   %Copy.facet.48d: %Copy.type = facet_value %D, (%Copy.impl_witness.548) [concrete]
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.5bb: type = fn_type @Copy.WithSelf.Op, @Copy.WithSelf(%Copy.facet.48d) [concrete]
+// CHECK:STDOUT:   %empty_struct: %empty_struct_type = struct_value () [concrete]
+// CHECK:STDOUT:   %D.val: %D = struct_value () [concrete]
+// CHECK:STDOUT:   %E: type = class_type @E [concrete]
+// CHECK:STDOUT:   %Copy.impl_witness.e92: <witness> = impl_witness @E.as.Copy.impl.%Copy.impl_witness_table [concrete]
+// CHECK:STDOUT:   %pattern_type.849: type = pattern_type %E [concrete]
+// CHECK:STDOUT:   %E.as.Copy.impl.Op.type: type = fn_type @E.as.Copy.impl.Op [concrete]
+// CHECK:STDOUT:   %E.as.Copy.impl.Op: %E.as.Copy.impl.Op.type = struct_value () [concrete]
+// CHECK:STDOUT:   %Copy.facet.b77: %Copy.type = facet_value %E, (%Copy.impl_witness.e92) [concrete]
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.0e9: type = fn_type @Copy.WithSelf.Op, @Copy.WithSelf(%Copy.facet.b77) [concrete]
+// CHECK:STDOUT:   %E.val: %E = struct_value () [concrete]
+// CHECK:STDOUT:   %.Self.frozen: type = symbolic_binding .Self [symbolic_self]
+// CHECK:STDOUT:   %Destroy.type: type = facet_type <@Destroy> [concrete]
+// CHECK:STDOUT:   %BitAndWith.type.a06: type = generic_interface_type @BitAndWith [concrete]
+// CHECK:STDOUT:   %BitAndWith.generic: %BitAndWith.type.a06 = struct_value () [concrete]
+// CHECK:STDOUT:   %BitAndWith.type.7f7: type = facet_type <@BitAndWith, @BitAndWith(type)> [concrete]
+// CHECK:STDOUT:   %BitAndWith.impl_witness: <witness> = impl_witness imports.%BitAndWith.impl_witness_table [concrete]
+// CHECK:STDOUT:   %BitAndWith.facet: %BitAndWith.type.7f7 = facet_value type, (%BitAndWith.impl_witness) [concrete]
+// CHECK:STDOUT:   %BitAndWith.WithSelf.Op.type.1a6: type = fn_type @BitAndWith.WithSelf.Op, @BitAndWith.WithSelf(type, %BitAndWith.facet) [concrete]
+// CHECK:STDOUT:   %.b4e: type = fn_type_with_self_type %BitAndWith.WithSelf.Op.type.1a6, %BitAndWith.facet [concrete]
+// CHECK:STDOUT:   %type.as.BitAndWith.impl.Op.type: type = fn_type @type.as.BitAndWith.impl.Op [concrete]
+// CHECK:STDOUT:   %type.as.BitAndWith.impl.Op: %type.as.BitAndWith.impl.Op.type = struct_value () [concrete]
+// CHECK:STDOUT:   %type.as.BitAndWith.impl.Op.bound: <bound method> = bound_method %Copy.type, %type.as.BitAndWith.impl.Op [concrete]
+// CHECK:STDOUT:   %facet_type: type = facet_type <@Copy & @Destroy> [concrete]
+// CHECK:STDOUT:   %pattern_type.143: type = pattern_type %facet_type [concrete]
+// CHECK:STDOUT:   %T.patt.256: %pattern_type.143 = symbolic_binding_pattern T, 0 [symbolic]
+// CHECK:STDOUT:   %T.dc4: %facet_type = symbolic_binding T, 0 [symbolic]
+// CHECK:STDOUT:   %C.type: type = parameterized_class_name_type @C [concrete]
+// CHECK:STDOUT:   %C.generic: %C.type = struct_value () [concrete]
+// CHECK:STDOUT:   %C.210: type = class_type @C, @C(%T.dc4) [symbolic]
+// CHECK:STDOUT:   %T.as_type.5d6: type = facet_access_type %T.dc4 [symbolic]
+// CHECK:STDOUT:   %require_complete.091: <witness> = require_complete_type %T.as_type.5d6 [symbolic]
+// CHECK:STDOUT:   %pattern_type.0e9: type = pattern_type %T.as_type.5d6 [symbolic]
+// CHECK:STDOUT:   %pattern_type.0b5: type = pattern_type %C.210 [symbolic]
+// CHECK:STDOUT:   %.501: Core.Form = init_form %C.210 [symbolic]
+// CHECK:STDOUT:   %return.param_patt.2c6: %pattern_type.0b5 = out_param_pattern [symbolic]
+// CHECK:STDOUT:   %return.patt.a82: %pattern_type.0b5 = return_slot_pattern %return.param_patt.2c6, %C.210 [symbolic]
+// CHECK:STDOUT:   %struct_type.t.d.125: type = struct_type {.t: %T.as_type.5d6, .d: %D} [symbolic]
+// CHECK:STDOUT:   %require_complete.bab: <witness> = require_complete_type %C.210 [symbolic]
+// CHECK:STDOUT:   %c.patt.6d2: %pattern_type.0b5 = value_binding_pattern c [symbolic]
+// CHECK:STDOUT:   %Copy.lookup_impl_witness.fd8: <witness> = lookup_impl_witness %T.dc4, @Copy [symbolic]
+// CHECK:STDOUT:   %Copy.facet.40c: %Copy.type = facet_value %T.as_type.5d6, (%Copy.lookup_impl_witness.fd8) [symbolic]
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.f43: type = fn_type @Copy.WithSelf.Op, @Copy.WithSelf(%Copy.facet.40c) [symbolic]
+// CHECK:STDOUT:   %.81a: type = fn_type_with_self_type %Copy.WithSelf.Op.type.f43, %Copy.facet.40c [symbolic]
+// CHECK:STDOUT:   %impl.elem0.35e: %.81a = impl_witness_access %Copy.lookup_impl_witness.fd8, element0 [symbolic]
+// CHECK:STDOUT:   %specific_impl_fn.f62: <specific function> = specific_impl_function %impl.elem0.35e, @Copy.WithSelf.Op(%Copy.facet.40c) [symbolic]
+// CHECK:STDOUT:   %.e9c: type = fn_type_with_self_type %Copy.WithSelf.Op.type.5bb, %Copy.facet.48d [concrete]
+// CHECK:STDOUT:   %Copy.lookup_impl_witness.006: <witness> = lookup_impl_witness %C.210, @Copy [symbolic]
+// CHECK:STDOUT:   %.e8c: require_specific_def_type = require_specific_def @C.as.Copy.impl(%T.dc4) [symbolic]
+// CHECK:STDOUT:   %Copy.facet.c47: %Copy.type = facet_value %C.210, (%Copy.lookup_impl_witness.006) [symbolic]
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.82d: type = fn_type @Copy.WithSelf.Op, @Copy.WithSelf(%Copy.facet.c47) [symbolic]
+// CHECK:STDOUT:   %.df2: type = fn_type_with_self_type %Copy.WithSelf.Op.type.82d, %Copy.facet.c47 [symbolic]
+// CHECK:STDOUT:   %impl.elem0.83f: %.df2 = impl_witness_access %Copy.lookup_impl_witness.006, element0 [symbolic]
+// CHECK:STDOUT:   %specific_impl_fn.f64: <specific function> = specific_impl_function %impl.elem0.83f, @Copy.WithSelf.Op(%Copy.facet.c47) [symbolic]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.type.fbceb5.2: type = fn_type @Destroy.WithSelf.SelfDestruct.loc18_46.2 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.db3fdb.2: %Destroy.WithSelf.SelfDestruct.type.fbceb5.2 = struct_value () [concrete]
+// CHECK:STDOUT:   %Destroy.lookup_impl_witness.f09: <witness> = lookup_impl_witness %C.210, @Destroy [symbolic]
+// CHECK:STDOUT:   %Destroy.facet.dc5: %Destroy.type = facet_value %C.210, (%Destroy.lookup_impl_witness.f09) [symbolic]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.type.7ac: type = fn_type @Destroy.WithSelf.SelfDestruct.1, @Destroy.WithSelf(%Destroy.facet.dc5) [symbolic]
+// CHECK:STDOUT:   %.591: type = fn_type_with_self_type %Destroy.WithSelf.SelfDestruct.type.7ac, %Destroy.facet.dc5 [symbolic]
+// CHECK:STDOUT:   %impl.elem2: %.591 = impl_witness_access %Destroy.lookup_impl_witness.f09, element2 [symbolic]
+// CHECK:STDOUT:   %specific_impl_fn.03e: <specific function> = specific_impl_function %impl.elem2, @Destroy.WithSelf.SelfDestruct.1(%Destroy.facet.dc5) [symbolic]
+// CHECK:STDOUT:   %t.param_patt.081: %pattern_type.0e9 = value_param_pattern [symbolic]
+// CHECK:STDOUT:   %t.patt.4d1: %pattern_type.0e9 = wrapper_binding_pattern t, %t.param_patt.081 [symbolic]
+// CHECK:STDOUT:   %d.param_patt: %pattern_type.d8d = value_param_pattern [concrete]
+// CHECK:STDOUT:   %d.patt: %pattern_type.d8d = wrapper_binding_pattern d, %d.param_patt [concrete]
+// CHECK:STDOUT:   %.a37: ref %D = temporary invalid, %D.val [concrete]
+// CHECK:STDOUT:   %.ec6: %pattern_type.d8d = default_value_pattern %d.patt, %D.val [concrete]
+// CHECK:STDOUT:   %Make.type: type = fn_type @Make [concrete]
+// CHECK:STDOUT:   %Make: %Make.type = struct_value () [concrete]
+// CHECK:STDOUT:   %G.type: type = fn_type @G [concrete]
+// CHECK:STDOUT:   %G: %G.type = struct_value () [concrete]
+// CHECK:STDOUT:   %self.param_patt.0d2: %pattern_type.849 = ref_param_pattern [concrete]
+// CHECK:STDOUT:   %self.patt.d80: %pattern_type.849 = wrapper_binding_pattern self, %self.param_patt.0d2 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.3: type = fn_type @Destroy.WithSelf.SubobjectDestroy.loc31_13 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.d01daf.3: %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.3 = struct_value () [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.type.ef016f.3: type = fn_type @Destroy.WithSelf.Op.loc31_13 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.403171.3: %Destroy.WithSelf.Op.type.ef016f.3 = struct_value () [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.type.fbceb5.3: type = fn_type @Destroy.WithSelf.SelfDestruct.loc31_13 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.db3fdb.3: %Destroy.WithSelf.SelfDestruct.type.fbceb5.3 = struct_value () [concrete]
+// CHECK:STDOUT:   %custom_witness.f8f19d.3: <witness> = custom_witness (%Destroy.WithSelf.Op.403171.3, %Destroy.WithSelf.SubobjectDestroy.d01daf.3, %Destroy.WithSelf.SelfDestruct.db3fdb.3), @Destroy [concrete]
+// CHECK:STDOUT:   %facet_value: %facet_type = facet_value %E, (%Copy.impl_witness.e92, %custom_witness.f8f19d.3) [concrete]
+// CHECK:STDOUT:   %C.14c: type = class_type @C, @C(%facet_value) [concrete]
+// CHECK:STDOUT:   %C.elem.54c: type = unbound_element_type %C.14c, %E [concrete]
+// CHECK:STDOUT:   %C.elem.4f9: type = unbound_element_type %C.14c, %D [concrete]
+// CHECK:STDOUT:   %struct_type.t.d.d81: type = struct_type {.t: %E, .d: %D} [concrete]
+// CHECK:STDOUT:   %complete_type.031: <witness> = complete_type_witness %struct_type.t.d.d81 [concrete]
+// CHECK:STDOUT:   %pattern_type.2cb: type = pattern_type %C.14c [concrete]
+// CHECK:STDOUT:   %_.patt: %pattern_type.2cb = value_binding_pattern _ [concrete]
+// CHECK:STDOUT:   %t.param_patt.307: %pattern_type.849 = value_param_pattern [concrete]
+// CHECK:STDOUT:   %t.patt.404: %pattern_type.849 = wrapper_binding_pattern t, %t.param_patt.307 [concrete]
+// CHECK:STDOUT:   %.2c0: Core.Form = init_form %C.14c [concrete]
+// CHECK:STDOUT:   %return.param_patt.ef6: %pattern_type.2cb = out_param_pattern [concrete]
+// CHECK:STDOUT:   %return.patt.971: %pattern_type.2cb = return_slot_pattern %return.param_patt.ef6, %C.14c [concrete]
+// CHECK:STDOUT:   %Make.specific_fn: <specific function> = specific_function %Make, @Make(%facet_value) [concrete]
+// CHECK:STDOUT:   %.b7b: ref %E = temporary invalid, %E.val [concrete]
+// CHECK:STDOUT:   %pattern_type.b46: type = pattern_type %struct_type.t.d.d81 [concrete]
+// CHECK:STDOUT:   %self.param_patt.c2f: %pattern_type.b46 = ref_param_pattern [concrete]
+// CHECK:STDOUT:   %self.patt.430: %pattern_type.b46 = wrapper_binding_pattern self, %self.param_patt.c2f [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.4: type = fn_type @Destroy.WithSelf.SubobjectDestroy.loc31_32.1 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.d01daf.4: %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.4 = struct_value () [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.type.ef016f.4: type = fn_type @Destroy.WithSelf.Op.loc31_32.1 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.403171.4: %Destroy.WithSelf.Op.type.ef016f.4 = struct_value () [concrete]
+// CHECK:STDOUT:   %self.param_patt.049: %pattern_type.2cb = ref_param_pattern [concrete]
+// CHECK:STDOUT:   %self.patt.769: %pattern_type.2cb = wrapper_binding_pattern self, %self.param_patt.049 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.5: type = fn_type @Destroy.WithSelf.SubobjectDestroy.loc31_32.2 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.d01daf.5: %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.5 = struct_value () [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.type.ef016f.5: type = fn_type @Destroy.WithSelf.Op.loc31_32.2 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.403171.5: %Destroy.WithSelf.Op.type.ef016f.5 = struct_value () [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.type.fbceb5.5: type = fn_type @Destroy.WithSelf.SelfDestruct.loc31_32.2 [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.db3fdb.5: %Destroy.WithSelf.SelfDestruct.type.fbceb5.5 = struct_value () [concrete]
+// CHECK:STDOUT:   %custom_witness.f8f19d.5: <witness> = custom_witness (%Destroy.WithSelf.Op.403171.5, %Destroy.WithSelf.SubobjectDestroy.d01daf.5, %Destroy.WithSelf.SelfDestruct.db3fdb.5), @Destroy [concrete]
+// CHECK:STDOUT:   %Destroy.facet.64d: %Destroy.type = facet_value %C.14c, (%custom_witness.f8f19d.5) [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.type.01e: type = fn_type @Destroy.WithSelf.SelfDestruct.1, @Destroy.WithSelf(%Destroy.facet.64d) [concrete]
+// CHECK:STDOUT:   %.1d0: type = fn_type_with_self_type %Destroy.WithSelf.SelfDestruct.type.01e, %Destroy.facet.64d [concrete]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.bound: <bound method> = bound_method %.b7b, %Destroy.WithSelf.SelfDestruct.db3fdb.3 [concrete]
+// CHECK:STDOUT:   %c.patt.1a7: %pattern_type.2cb = value_binding_pattern c [concrete]
+// CHECK:STDOUT:   %.01c: type = fn_type_with_self_type %Copy.WithSelf.Op.type.0e9, %Copy.facet.b77 [concrete]
+// CHECK:STDOUT:   %Copy.impl_witness.b05: <witness> = impl_witness @C.as.Copy.impl.%Copy.impl_witness_table, @C.as.Copy.impl(%facet_value) [concrete]
+// CHECK:STDOUT:   %C.as.Copy.impl.Op.type.bae: type = fn_type @C.as.Copy.impl.Op, @C.as.Copy.impl(%facet_value) [concrete]
+// CHECK:STDOUT:   %C.as.Copy.impl.Op.159: %C.as.Copy.impl.Op.type.bae = struct_value () [concrete]
+// CHECK:STDOUT:   %.229: require_specific_def_type = require_specific_def @C.as.Copy.impl(%facet_value) [concrete]
+// CHECK:STDOUT:   %Copy.facet.9af: %Copy.type = facet_value %C.14c, (%Copy.impl_witness.b05) [concrete]
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.ccc: type = fn_type @Copy.WithSelf.Op, @Copy.WithSelf(%Copy.facet.9af) [concrete]
+// CHECK:STDOUT:   %.61f: type = fn_type_with_self_type %Copy.WithSelf.Op.type.ccc, %Copy.facet.9af [concrete]
+// CHECK:STDOUT:   %C.as.Copy.impl.Op.specific_fn: <specific function> = specific_function %C.as.Copy.impl.Op.159, @C.as.Copy.impl.Op(%facet_value) [concrete]
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: imports {
+// CHECK:STDOUT:   %Core: <namespace> = namespace file.%Core.import, [concrete] {
+// CHECK:STDOUT:     .Copy = %Core.Copy
+// CHECK:STDOUT:     .Destroy = %Core.Destroy
+// CHECK:STDOUT:     .BitAndWith = %Core.BitAndWith
+// CHECK:STDOUT:     import Core//prelude
+// CHECK:STDOUT:     import Core//prelude/...
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %Core.Copy: type = import_ref Core//prelude/parts/copy, Copy, loaded [concrete = constants.%Copy.type]
+// CHECK:STDOUT:   %Core.Destroy: type = import_ref Core//prelude/parts/destroy, Destroy, loaded [concrete = constants.%Destroy.type]
+// CHECK:STDOUT:   %Core.BitAndWith: %BitAndWith.type.a06 = import_ref Core//prelude/parts/as, BitAndWith, loaded [concrete = constants.%BitAndWith.generic]
+// CHECK:STDOUT:   %Core.import_ref.9c3: %type.as.BitAndWith.impl.Op.type = import_ref Core//prelude/parts/as, loc{{\d+_\d+}}, loaded [concrete = constants.%type.as.BitAndWith.impl.Op]
+// CHECK:STDOUT:   %BitAndWith.impl_witness_table = impl_witness_table (%Core.import_ref.9c3), @type.as.BitAndWith.impl [concrete]
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: generated {
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.decl.763c71.3: %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.3 = fn_decl @Destroy.WithSelf.SubobjectDestroy.loc31_13 [concrete = constants.%Destroy.WithSelf.SubobjectDestroy.d01daf.3] {
+// CHECK:STDOUT:     %self.param_patt: %pattern_type.849 = ref_param_pattern [concrete = constants.%self.param_patt.0d2]
+// CHECK:STDOUT:     %self.patt: %pattern_type.849 = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.d80]
+// CHECK:STDOUT:   } {
+// CHECK:STDOUT:     %self.param: ref %E = ref_param call_param0
+// CHECK:STDOUT:     %self: ref %E = wrapper_binding self, %self.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.decl.5f94cf.3: %Destroy.WithSelf.Op.type.ef016f.3 = fn_decl @Destroy.WithSelf.Op.loc31_13 [concrete = constants.%Destroy.WithSelf.Op.403171.3] {
+// CHECK:STDOUT:     %self.param_patt: %pattern_type.849 = ref_param_pattern [concrete = constants.%self.param_patt.0d2]
+// CHECK:STDOUT:     %self.patt: %pattern_type.849 = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.d80]
+// CHECK:STDOUT:   } {
+// CHECK:STDOUT:     %self.param: ref %E = ref_param call_param0
+// CHECK:STDOUT:     %self: ref %E = wrapper_binding self, %self.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.decl.763c71.4: %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.4 = fn_decl @Destroy.WithSelf.SubobjectDestroy.loc31_32.1 [concrete = constants.%Destroy.WithSelf.SubobjectDestroy.d01daf.4] {
+// CHECK:STDOUT:     %self.param_patt: %pattern_type.b46 = ref_param_pattern [concrete = constants.%self.param_patt.c2f]
+// CHECK:STDOUT:     %self.patt: %pattern_type.b46 = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.430]
+// CHECK:STDOUT:   } {
+// CHECK:STDOUT:     %self.param: ref %struct_type.t.d.d81 = ref_param call_param0
+// CHECK:STDOUT:     %self: ref %struct_type.t.d.d81 = wrapper_binding self, %self.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.decl.5f94cf.4: %Destroy.WithSelf.Op.type.ef016f.4 = fn_decl @Destroy.WithSelf.Op.loc31_32.1 [concrete = constants.%Destroy.WithSelf.Op.403171.4] {
+// CHECK:STDOUT:     %self.param_patt: %pattern_type.b46 = ref_param_pattern [concrete = constants.%self.param_patt.c2f]
+// CHECK:STDOUT:     %self.patt: %pattern_type.b46 = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.430]
+// CHECK:STDOUT:   } {
+// CHECK:STDOUT:     %self.param: ref %struct_type.t.d.d81 = ref_param call_param0
+// CHECK:STDOUT:     %self: ref %struct_type.t.d.d81 = wrapper_binding self, %self.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.decl.763c71.5: %Destroy.WithSelf.SubobjectDestroy.type.dfcbdb.5 = fn_decl @Destroy.WithSelf.SubobjectDestroy.loc31_32.2 [concrete = constants.%Destroy.WithSelf.SubobjectDestroy.d01daf.5] {
+// CHECK:STDOUT:     %self.param_patt: %pattern_type.2cb = ref_param_pattern [concrete = constants.%self.param_patt.049]
+// CHECK:STDOUT:     %self.patt: %pattern_type.2cb = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.769]
+// CHECK:STDOUT:   } {
+// CHECK:STDOUT:     %self.param: ref %C.14c = ref_param call_param0
+// CHECK:STDOUT:     %self: ref %C.14c = wrapper_binding self, %self.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.decl.5f94cf.5: %Destroy.WithSelf.Op.type.ef016f.5 = fn_decl @Destroy.WithSelf.Op.loc31_32.2 [concrete = constants.%Destroy.WithSelf.Op.403171.5] {
+// CHECK:STDOUT:     %self.param_patt: %pattern_type.2cb = ref_param_pattern [concrete = constants.%self.param_patt.049]
+// CHECK:STDOUT:     %self.patt: %pattern_type.2cb = wrapper_binding_pattern self, %self.param_patt [concrete = constants.%self.patt.769]
+// CHECK:STDOUT:   } {
+// CHECK:STDOUT:     %self.param: ref %C.14c = ref_param call_param0
+// CHECK:STDOUT:     %self: ref %C.14c = wrapper_binding self, %self.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: file {
+// CHECK:STDOUT:   %Make.decl: %Make.type = fn_decl @Make [concrete = constants.%Make] {
+// CHECK:STDOUT:     %T.patt.loc25_18.1: %pattern_type.143 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc25_18.2 (constants.%T.patt.256)]
+// CHECK:STDOUT:     %t.param_patt.loc25_47.1: @Make.%pattern_type.loc25_47 (%pattern_type.0e9) = value_param_pattern [symbolic = %t.param_patt.loc25_47.2 (constants.%t.param_patt.081)]
+// CHECK:STDOUT:     %t.patt.loc25_47.1: @Make.%pattern_type.loc25_47 (%pattern_type.0e9) = wrapper_binding_pattern t, %t.param_patt.loc25_47.1 [symbolic = %t.patt.loc25_47.2 (constants.%t.patt.4d1)]
+// CHECK:STDOUT:     %d.param_patt: %pattern_type.d8d = value_param_pattern [concrete = constants.%d.param_patt]
+// CHECK:STDOUT:     %d.patt: %pattern_type.d8d = wrapper_binding_pattern d, %d.param_patt [concrete = constants.%d.patt]
+// CHECK:STDOUT:     %.loc25_57: %pattern_type.d8d = default_value_pattern %d.patt, %.loc25_62.3 [concrete = constants.%.ec6]
+// CHECK:STDOUT:     %return.param_patt.loc25_74.1: @Make.%pattern_type.loc25_74 (%pattern_type.0b5) = out_param_pattern [symbolic = %return.param_patt.loc25_74.2 (constants.%return.param_patt.2c6)]
+// CHECK:STDOUT:     %return.patt.loc25_68.1: @Make.%pattern_type.loc25_74 (%pattern_type.0b5) = return_slot_pattern %return.param_patt.loc25_74.1, %C.loc25_74.2 [symbolic = %return.patt.loc25_68.2 (constants.%return.patt.a82)]
+// CHECK:STDOUT:   } {
+// CHECK:STDOUT:     %.loc25_60.1: %empty_struct_type = struct_literal () [concrete = constants.%empty_struct]
+// CHECK:STDOUT:     %D.ref.loc25_65: type = name_ref D, file.%D.decl [concrete = constants.%D]
+// CHECK:STDOUT:     %.loc25_60.2: ref %D = temporary_storage
+// CHECK:STDOUT:     %.loc25_60.3: init %D to %.loc25_60.2 = class_init () [concrete = constants.%D.val]
+// CHECK:STDOUT:     %.loc25_62.1: init %D = converted %.loc25_60.1, %.loc25_60.3 [concrete = constants.%D.val]
+// CHECK:STDOUT:     %.loc25_62.2: ref %D = temporary %.loc25_60.2, %.loc25_62.1 [concrete = constants.%.a37]
+// CHECK:STDOUT:     %.loc25_62.3: %D = acquire_value %.loc25_62.2 [concrete = constants.%D.val]
+// CHECK:STDOUT:     %C.ref.loc25: %C.type = name_ref C, file.%C.decl [concrete = constants.%C.generic]
+// CHECK:STDOUT:     %T.ref.loc25_73: %facet_type = name_ref T, %T.loc25_18.2 [symbolic = %T.loc25_18.1 (constants.%T.dc4)]
+// CHECK:STDOUT:     %C.loc25_74.2: type = class_type @C, @C(constants.%T.dc4) [symbolic = %C.loc25_74.1 (constants.%C.210)]
+// CHECK:STDOUT:     %.loc25_74.3: Core.Form = init_form %C.loc25_74.2 [symbolic = %.loc25_74.2 (constants.%.501)]
+// CHECK:STDOUT:     %.loc25_30.1: type = splice_block %.loc25_30.3 [concrete = constants.%facet_type] {
+// CHECK:STDOUT:       %.Self.frozen: type = symbolic_binding .Self [symbolic_self = constants.%.Self.frozen]
+// CHECK:STDOUT:       %Core.ref.loc25_20: <namespace> = name_ref Core, imports.%Core [concrete = imports.%Core]
+// CHECK:STDOUT:       %Copy.ref: type = name_ref Copy, imports.%Core.Copy [concrete = constants.%Copy.type]
+// CHECK:STDOUT:       %Core.ref.loc25_32: <namespace> = name_ref Core, imports.%Core [concrete = imports.%Core]
+// CHECK:STDOUT:       %Destroy.ref: type = name_ref Destroy, imports.%Core.Destroy [concrete = constants.%Destroy.type]
+// CHECK:STDOUT:       %impl.elem0.loc25: %.b4e = impl_witness_access constants.%BitAndWith.impl_witness, element0 [concrete = constants.%type.as.BitAndWith.impl.Op]
+// CHECK:STDOUT:       %bound_method.loc25: <bound method> = bound_method %Copy.ref, %impl.elem0.loc25 [concrete = constants.%type.as.BitAndWith.impl.Op.bound]
+// CHECK:STDOUT:       %type.as.BitAndWith.impl.Op.call: init type = call %bound_method.loc25(%Copy.ref, %Destroy.ref) [concrete = constants.%facet_type]
+// CHECK:STDOUT:       %.loc25_30.2: type = value_of_initializer %type.as.BitAndWith.impl.Op.call [concrete = constants.%facet_type]
+// CHECK:STDOUT:       %.loc25_30.3: type = converted %type.as.BitAndWith.impl.Op.call, %.loc25_30.2 [concrete = constants.%facet_type]
+// CHECK:STDOUT:     }
+// CHECK:STDOUT:     %T.loc25_18.2: %facet_type = symbolic_binding T, 0 [symbolic = %T.loc25_18.1 (constants.%T.dc4)]
+// CHECK:STDOUT:     %t.param: @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6) = value_param call_param0
+// CHECK:STDOUT:     %.loc25_49.1: type = splice_block %.loc25_49.2 [symbolic = %T.as_type.loc25_49.1 (constants.%T.as_type.5d6)] {
+// CHECK:STDOUT:       %T.ref.loc25_49: %facet_type = name_ref T, %T.loc25_18.2 [symbolic = %T.loc25_18.1 (constants.%T.dc4)]
+// CHECK:STDOUT:       %T.as_type.loc25_49.2: type = facet_access_type %T.ref.loc25_49 [symbolic = %T.as_type.loc25_49.1 (constants.%T.as_type.5d6)]
+// CHECK:STDOUT:       %.loc25_49.2: type = converted %T.ref.loc25_49, %T.as_type.loc25_49.2 [symbolic = %T.as_type.loc25_49.1 (constants.%T.as_type.5d6)]
+// CHECK:STDOUT:     }
+// CHECK:STDOUT:     %t: @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6) = wrapper_binding t, %t.param
+// CHECK:STDOUT:     %d.param: %D = value_param call_param1
+// CHECK:STDOUT:     %D.ref.loc25_55: type = name_ref D, file.%D.decl [concrete = constants.%D]
+// CHECK:STDOUT:     %d: %D = wrapper_binding d, %d.param
+// CHECK:STDOUT:     %return.param: ref @Make.%C.loc25_74.1 (%C.210) = out_param call_param2
+// CHECK:STDOUT:     %return: ref @Make.%C.loc25_74.1 (%C.210) = return_slot %return.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %G.decl: %G.type = fn_decl @G [concrete = constants.%G] {} {}
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: generic fn @Make(%T.loc25_18.2: %facet_type) {
+// CHECK:STDOUT:   %T.patt.loc25_18.2: %pattern_type.143 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc25_18.2 (constants.%T.patt.256)]
+// CHECK:STDOUT:   %T.loc25_18.1: %facet_type = symbolic_binding T, 0 [symbolic = %T.loc25_18.1 (constants.%T.dc4)]
+// CHECK:STDOUT:   %T.as_type.loc25_49.1: type = facet_access_type %T.loc25_18.1 [symbolic = %T.as_type.loc25_49.1 (constants.%T.as_type.5d6)]
+// CHECK:STDOUT:   %pattern_type.loc25_47: type = pattern_type %T.as_type.loc25_49.1 [symbolic = %pattern_type.loc25_47 (constants.%pattern_type.0e9)]
+// CHECK:STDOUT:   %t.param_patt.loc25_47.2: @Make.%pattern_type.loc25_47 (%pattern_type.0e9) = value_param_pattern [symbolic = %t.param_patt.loc25_47.2 (constants.%t.param_patt.081)]
+// CHECK:STDOUT:   %t.patt.loc25_47.2: @Make.%pattern_type.loc25_47 (%pattern_type.0e9) = wrapper_binding_pattern t, %t.param_patt.loc25_47.2 [symbolic = %t.patt.loc25_47.2 (constants.%t.patt.4d1)]
+// CHECK:STDOUT:   %C.loc25_74.1: type = class_type @C, @C(%T.loc25_18.1) [symbolic = %C.loc25_74.1 (constants.%C.210)]
+// CHECK:STDOUT:   %.loc25_74.2: Core.Form = init_form %C.loc25_74.1 [symbolic = %.loc25_74.2 (constants.%.501)]
+// CHECK:STDOUT:   %pattern_type.loc25_74: type = pattern_type %C.loc25_74.1 [symbolic = %pattern_type.loc25_74 (constants.%pattern_type.0b5)]
+// CHECK:STDOUT:   %return.param_patt.loc25_74.2: @Make.%pattern_type.loc25_74 (%pattern_type.0b5) = out_param_pattern [symbolic = %return.param_patt.loc25_74.2 (constants.%return.param_patt.2c6)]
+// CHECK:STDOUT:   %return.patt.loc25_68.2: @Make.%pattern_type.loc25_74 (%pattern_type.0b5) = return_slot_pattern %return.param_patt.loc25_74.2, %C.loc25_74.1 [symbolic = %return.patt.loc25_68.2 (constants.%return.patt.a82)]
+// CHECK:STDOUT:
+// CHECK:STDOUT: !definition:
+// CHECK:STDOUT:   %require_complete.loc25: <witness> = require_complete_type %T.as_type.loc25_49.1 [symbolic = %require_complete.loc25 (constants.%require_complete.091)]
+// CHECK:STDOUT:   %require_complete.loc26: <witness> = require_complete_type %C.loc25_74.1 [symbolic = %require_complete.loc26 (constants.%require_complete.bab)]
+// CHECK:STDOUT:   %c.patt.loc26_8.2: @Make.%pattern_type.loc25_74 (%pattern_type.0b5) = value_binding_pattern c [symbolic = %c.patt.loc26_8.2 (constants.%c.patt.6d2)]
+// CHECK:STDOUT:   %struct_type.t.d: type = struct_type {.t: @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6), .d: %D} [symbolic = %struct_type.t.d (constants.%struct_type.t.d.125)]
+// CHECK:STDOUT:   %Copy.lookup_impl_witness.loc26: <witness> = lookup_impl_witness %T.loc25_18.1, @Copy [symbolic = %Copy.lookup_impl_witness.loc26 (constants.%Copy.lookup_impl_witness.fd8)]
+// CHECK:STDOUT:   %Copy.facet.loc26_23.3: %Copy.type = facet_value %T.as_type.loc25_49.1, (%Copy.lookup_impl_witness.loc26) [symbolic = %Copy.facet.loc26_23.3 (constants.%Copy.facet.40c)]
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.loc26: type = fn_type @Copy.WithSelf.Op, @Copy.WithSelf(%Copy.facet.loc26_23.3) [symbolic = %Copy.WithSelf.Op.type.loc26 (constants.%Copy.WithSelf.Op.type.f43)]
+// CHECK:STDOUT:   %.loc26_23.3: type = fn_type_with_self_type %Copy.WithSelf.Op.type.loc26, %Copy.facet.loc26_23.3 [symbolic = %.loc26_23.3 (constants.%.81a)]
+// CHECK:STDOUT:   %impl.elem0.loc26_23.2: @Make.%.loc26_23.3 (%.81a) = impl_witness_access %Copy.lookup_impl_witness.loc26, element0 [symbolic = %impl.elem0.loc26_23.2 (constants.%impl.elem0.35e)]
+// CHECK:STDOUT:   %specific_impl_fn.loc26_23.2: <specific function> = specific_impl_function %impl.elem0.loc26_23.2, @Copy.WithSelf.Op(%Copy.facet.loc26_23.3) [symbolic = %specific_impl_fn.loc26_23.2 (constants.%specific_impl_fn.f62)]
+// CHECK:STDOUT:   %.loc27_10.3: require_specific_def_type = require_specific_def @C.as.Copy.impl(%T.loc25_18.1) [symbolic = %.loc27_10.3 (constants.%.e8c)]
+// CHECK:STDOUT:   %Copy.lookup_impl_witness.loc27: <witness> = lookup_impl_witness %C.loc25_74.1, @Copy [symbolic = %Copy.lookup_impl_witness.loc27 (constants.%Copy.lookup_impl_witness.006)]
+// CHECK:STDOUT:   %Copy.facet.loc27_10.3: %Copy.type = facet_value %C.loc25_74.1, (%Copy.lookup_impl_witness.loc27) [symbolic = %Copy.facet.loc27_10.3 (constants.%Copy.facet.c47)]
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.loc27: type = fn_type @Copy.WithSelf.Op, @Copy.WithSelf(%Copy.facet.loc27_10.3) [symbolic = %Copy.WithSelf.Op.type.loc27 (constants.%Copy.WithSelf.Op.type.82d)]
+// CHECK:STDOUT:   %.loc27_10.4: type = fn_type_with_self_type %Copy.WithSelf.Op.type.loc27, %Copy.facet.loc27_10.3 [symbolic = %.loc27_10.4 (constants.%.df2)]
+// CHECK:STDOUT:   %impl.elem0.loc27_10.2: @Make.%.loc27_10.4 (%.df2) = impl_witness_access %Copy.lookup_impl_witness.loc27, element0 [symbolic = %impl.elem0.loc27_10.2 (constants.%impl.elem0.83f)]
+// CHECK:STDOUT:   %specific_impl_fn.loc27_10.2: <specific function> = specific_impl_function %impl.elem0.loc27_10.2, @Copy.WithSelf.Op(%Copy.facet.loc27_10.3) [symbolic = %specific_impl_fn.loc27_10.2 (constants.%specific_impl_fn.f64)]
+// CHECK:STDOUT:   %Destroy.lookup_impl_witness: <witness> = lookup_impl_witness %C.loc25_74.1, @Destroy [symbolic = %Destroy.lookup_impl_witness (constants.%Destroy.lookup_impl_witness.f09)]
+// CHECK:STDOUT:   %Destroy.facet.loc26_32.3: %Destroy.type = facet_value %C.loc25_74.1, (%Destroy.lookup_impl_witness) [symbolic = %Destroy.facet.loc26_32.3 (constants.%Destroy.facet.dc5)]
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.type: type = fn_type @Destroy.WithSelf.SelfDestruct.1, @Destroy.WithSelf(%Destroy.facet.loc26_32.3) [symbolic = %Destroy.WithSelf.SelfDestruct.type (constants.%Destroy.WithSelf.SelfDestruct.type.7ac)]
+// CHECK:STDOUT:   %.loc26_32.13: type = fn_type_with_self_type %Destroy.WithSelf.SelfDestruct.type, %Destroy.facet.loc26_32.3 [symbolic = %.loc26_32.13 (constants.%.591)]
+// CHECK:STDOUT:   %impl.elem2.loc26_32.2: @Make.%.loc26_32.13 (%.591) = impl_witness_access %Destroy.lookup_impl_witness, element2 [symbolic = %impl.elem2.loc26_32.2 (constants.%impl.elem2)]
+// CHECK:STDOUT:   %specific_impl_fn.loc26_32.2: <specific function> = specific_impl_function %impl.elem2.loc26_32.2, @Destroy.WithSelf.SelfDestruct.1(%Destroy.facet.loc26_32.3) [symbolic = %specific_impl_fn.loc26_32.2 (constants.%specific_impl_fn.03e)]
+// CHECK:STDOUT:
+// CHECK:STDOUT:   fn(%t.param: @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6), %d.param: %D) -> out %return.param: @Make.%C.loc25_74.1 (%C.210) {
+// CHECK:STDOUT:   !entry:
+// CHECK:STDOUT:     %t.ref: @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6) = name_ref t, %t
+// CHECK:STDOUT:     %d.ref: %D = name_ref d, %d
+// CHECK:STDOUT:     %.loc26_32.1: @Make.%struct_type.t.d (%struct_type.t.d.125) = struct_literal (%t.ref, %d.ref)
+// CHECK:STDOUT:     %impl.elem0.loc26_23.1: @Make.%.loc26_23.3 (%.81a) = impl_witness_access constants.%Copy.lookup_impl_witness.fd8, element0 [symbolic = %impl.elem0.loc26_23.2 (constants.%impl.elem0.35e)]
+// CHECK:STDOUT:     %bound_method.loc26_23.1: <bound method> = bound_method %t.ref, %impl.elem0.loc26_23.1
+// CHECK:STDOUT:     %Copy.facet.loc26_23.1: %Copy.type = facet_value constants.%T.as_type.5d6, (constants.%Copy.lookup_impl_witness.fd8) [symbolic = %Copy.facet.loc26_23.3 (constants.%Copy.facet.40c)]
+// CHECK:STDOUT:     %.loc26_23.1: %Copy.type = converted constants.%T.as_type.5d6, %Copy.facet.loc26_23.1 [symbolic = %Copy.facet.loc26_23.3 (constants.%Copy.facet.40c)]
+// CHECK:STDOUT:     %Copy.facet.loc26_23.2: %Copy.type = facet_value constants.%T.as_type.5d6, (constants.%Copy.lookup_impl_witness.fd8) [symbolic = %Copy.facet.loc26_23.3 (constants.%Copy.facet.40c)]
+// CHECK:STDOUT:     %.loc26_23.2: %Copy.type = converted constants.%T.as_type.5d6, %Copy.facet.loc26_23.2 [symbolic = %Copy.facet.loc26_23.3 (constants.%Copy.facet.40c)]
+// CHECK:STDOUT:     %specific_impl_fn.loc26_23.1: <specific function> = specific_impl_function %impl.elem0.loc26_23.1, @Copy.WithSelf.Op(constants.%Copy.facet.40c) [symbolic = %specific_impl_fn.loc26_23.2 (constants.%specific_impl_fn.f62)]
+// CHECK:STDOUT:     %bound_method.loc26_23.2: <bound method> = bound_method %t.ref, %specific_impl_fn.loc26_23.1
+// CHECK:STDOUT:     %.loc26_32.2: ref @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6) = splice_block %.loc26_32.12 {
+// CHECK:STDOUT:       %.loc26_32.11: ref @Make.%C.loc25_74.1 (%C.210) = temporary_storage
+// CHECK:STDOUT:       %.loc26_32.12: ref @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6) = class_element_access %.loc26_32.11, element0
+// CHECK:STDOUT:     }
+// CHECK:STDOUT:     %Copy.WithSelf.Op.call.loc26: init @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6) to %.loc26_32.2 = call %bound_method.loc26_23.2(%t.ref)
+// CHECK:STDOUT:     %.loc26_32.3: init @Make.%T.as_type.loc25_49.1 (%T.as_type.5d6) to %.loc26_32.12 = in_place_init %Copy.WithSelf.Op.call.loc26
+// CHECK:STDOUT:     %impl.elem0.loc26_31: %.e9c = impl_witness_access constants.%Copy.impl_witness.548, element0 [concrete = constants.%D.as.Copy.impl.Op]
+// CHECK:STDOUT:     %bound_method.loc26_31: <bound method> = bound_method %d.ref, %impl.elem0.loc26_31
+// CHECK:STDOUT:     %.loc26_32.4: ref %D = class_element_access %.loc26_32.11, element1
+// CHECK:STDOUT:     %D.as.Copy.impl.Op.call: init %D to %.loc26_32.4 = call %bound_method.loc26_31(%d.ref)
+// CHECK:STDOUT:     %.loc26_32.5: init @Make.%C.loc25_74.1 (%C.210) to %.loc26_32.11 = class_init (%.loc26_32.3, %D.as.Copy.impl.Op.call)
+// CHECK:STDOUT:     %.loc26_32.6: init @Make.%C.loc25_74.1 (%C.210) = converted %.loc26_32.1, %.loc26_32.5
+// CHECK:STDOUT:     %.loc26_32.7: ref @Make.%C.loc25_74.1 (%C.210) = temporary %.loc26_32.11, %.loc26_32.6
+// CHECK:STDOUT:     %.loc26_32.8: @Make.%C.loc25_74.1 (%C.210) = acquire_value %.loc26_32.7
+// CHECK:STDOUT:     %.loc26_13: type = splice_block %C.loc26 [symbolic = %C.loc25_74.1 (constants.%C.210)] {
+// CHECK:STDOUT:       %C.ref.loc26: %C.type = name_ref C, file.%C.decl [concrete = constants.%C.generic]
+// CHECK:STDOUT:       %T.ref.loc26: %facet_type = name_ref T, %T.loc25_18.2 [symbolic = %T.loc25_18.1 (constants.%T.dc4)]
+// CHECK:STDOUT:       %C.loc26: type = class_type @C, @C(constants.%T.dc4) [symbolic = %C.loc25_74.1 (constants.%C.210)]
+// CHECK:STDOUT:     }
+// CHECK:STDOUT:     %c: @Make.%C.loc25_74.1 (%C.210) = wrapper_binding c, %.loc26_32.8
+// CHECK:STDOUT:     name_binding_decl {
+// CHECK:STDOUT:       %c.patt.loc26_8.1: @Make.%pattern_type.loc25_74 (%pattern_type.0b5) = value_binding_pattern c [symbolic = %c.patt.loc26_8.2 (constants.%c.patt.6d2)]
+// CHECK:STDOUT:     }
+// CHECK:STDOUT:     %c.ref: @Make.%C.loc25_74.1 (%C.210) = name_ref c, %c
+// CHECK:STDOUT:     %impl.elem0.loc27_10.1: @Make.%.loc27_10.4 (%.df2) = impl_witness_access constants.%Copy.lookup_impl_witness.006, element0 [symbolic = %impl.elem0.loc27_10.2 (constants.%impl.elem0.83f)]
+// CHECK:STDOUT:     %bound_method.loc27_10.1: <bound method> = bound_method %c.ref, %impl.elem0.loc27_10.1
+// CHECK:STDOUT:     %Copy.facet.loc27_10.1: %Copy.type = facet_value constants.%C.210, (constants.%Copy.lookup_impl_witness.006) [symbolic = %Copy.facet.loc27_10.3 (constants.%Copy.facet.c47)]
+// CHECK:STDOUT:     %.loc27_10.1: %Copy.type = converted constants.%C.210, %Copy.facet.loc27_10.1 [symbolic = %Copy.facet.loc27_10.3 (constants.%Copy.facet.c47)]
+// CHECK:STDOUT:     %Copy.facet.loc27_10.2: %Copy.type = facet_value constants.%C.210, (constants.%Copy.lookup_impl_witness.006) [symbolic = %Copy.facet.loc27_10.3 (constants.%Copy.facet.c47)]
+// CHECK:STDOUT:     %.loc27_10.2: %Copy.type = converted constants.%C.210, %Copy.facet.loc27_10.2 [symbolic = %Copy.facet.loc27_10.3 (constants.%Copy.facet.c47)]
+// CHECK:STDOUT:     %specific_impl_fn.loc27_10.1: <specific function> = specific_impl_function %impl.elem0.loc27_10.1, @Copy.WithSelf.Op(constants.%Copy.facet.c47) [symbolic = %specific_impl_fn.loc27_10.2 (constants.%specific_impl_fn.f64)]
+// CHECK:STDOUT:     %bound_method.loc27_10.2: <bound method> = bound_method %c.ref, %specific_impl_fn.loc27_10.1
+// CHECK:STDOUT:     %.loc25_74.1: ref @Make.%C.loc25_74.1 (%C.210) = splice_block %return.param {}
+// CHECK:STDOUT:     %Copy.WithSelf.Op.call.loc27: init @Make.%C.loc25_74.1 (%C.210) to %.loc25_74.1 = call %bound_method.loc27_10.2(%c.ref)
+// CHECK:STDOUT:     %impl.elem2.loc26_32.1: @Make.%.loc26_32.13 (%.591) = impl_witness_access constants.%Destroy.lookup_impl_witness.f09, element2 [symbolic = %impl.elem2.loc26_32.2 (constants.%impl.elem2)]
+// CHECK:STDOUT:     %bound_method.loc26_32.1: <bound method> = bound_method %.loc26_32.7, %impl.elem2.loc26_32.1
+// CHECK:STDOUT:     %Destroy.facet.loc26_32.1: %Destroy.type = facet_value constants.%C.210, (constants.%Destroy.lookup_impl_witness.f09) [symbolic = %Destroy.facet.loc26_32.3 (constants.%Destroy.facet.dc5)]
+// CHECK:STDOUT:     %.loc26_32.9: %Destroy.type = converted constants.%C.210, %Destroy.facet.loc26_32.1 [symbolic = %Destroy.facet.loc26_32.3 (constants.%Destroy.facet.dc5)]
+// CHECK:STDOUT:     %Destroy.facet.loc26_32.2: %Destroy.type = facet_value constants.%C.210, (constants.%Destroy.lookup_impl_witness.f09) [symbolic = %Destroy.facet.loc26_32.3 (constants.%Destroy.facet.dc5)]
+// CHECK:STDOUT:     %.loc26_32.10: %Destroy.type = converted constants.%C.210, %Destroy.facet.loc26_32.2 [symbolic = %Destroy.facet.loc26_32.3 (constants.%Destroy.facet.dc5)]
+// CHECK:STDOUT:     %specific_impl_fn.loc26_32.1: <specific function> = specific_impl_function %impl.elem2.loc26_32.1, @Destroy.WithSelf.SelfDestruct.1(constants.%Destroy.facet.dc5) [symbolic = %specific_impl_fn.loc26_32.2 (constants.%specific_impl_fn.03e)]
+// CHECK:STDOUT:     %bound_method.loc26_32.2: <bound method> = bound_method %.loc26_32.7, %specific_impl_fn.loc26_32.1
+// CHECK:STDOUT:     %Destroy.WithSelf.SelfDestruct.call: init %empty_tuple.type = call %bound_method.loc26_32.2(%.loc26_32.7)
+// CHECK:STDOUT:     return %Copy.WithSelf.Op.call.loc27 to %return.param
+// CHECK:STDOUT:   }
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @G() {
+// CHECK:STDOUT: !entry:
+// CHECK:STDOUT:   %Make.ref: %Make.type = name_ref Make, file.%Make.decl [concrete = constants.%Make]
+// CHECK:STDOUT:   %E.ref.loc31_22: type = name_ref E, file.%E.decl [concrete = constants.%E]
+// CHECK:STDOUT:   %.loc31_26.1: %empty_struct_type = struct_literal () [concrete = constants.%empty_struct]
+// CHECK:STDOUT:   %E.ref.loc31_31: type = name_ref E, file.%E.decl [concrete = constants.%E]
+// CHECK:STDOUT:   %.loc31_26.2: ref %E = temporary_storage
+// CHECK:STDOUT:   %.loc31_26.3: init %E to %.loc31_26.2 = class_init () [concrete = constants.%E.val]
+// CHECK:STDOUT:   %.loc31_28.1: init %E = converted %.loc31_26.1, %.loc31_26.3 [concrete = constants.%E.val]
+// CHECK:STDOUT:   %facet_value.loc31_32.1: %facet_type = facet_value %E.ref.loc31_22, (constants.%Copy.impl_witness.e92, constants.%custom_witness.f8f19d.3) [concrete = constants.%facet_value]
+// CHECK:STDOUT:   %.loc31_32.1: %facet_type = converted %E.ref.loc31_22, %facet_value.loc31_32.1 [concrete = constants.%facet_value]
+// CHECK:STDOUT:   %facet_value.loc31_32.2: %facet_type = facet_value constants.%E, (constants.%Copy.impl_witness.e92, constants.%custom_witness.f8f19d.3) [concrete = constants.%facet_value]
+// CHECK:STDOUT:   %.loc31_32.2: %facet_type = converted constants.%E, %facet_value.loc31_32.2 [concrete = constants.%facet_value]
+// CHECK:STDOUT:   %facet_value.loc31_32.3: %facet_type = facet_value constants.%E, (constants.%Copy.impl_witness.e92, constants.%custom_witness.f8f19d.3) [concrete = constants.%facet_value]
+// CHECK:STDOUT:   %.loc31_32.3: %facet_type = converted constants.%E, %facet_value.loc31_32.3 [concrete = constants.%facet_value]
+// CHECK:STDOUT:   %Make.specific_fn: <specific function> = specific_function %Make.ref, @Make(constants.%facet_value) [concrete = constants.%Make.specific_fn]
+// CHECK:STDOUT:   %.loc31_32.4: ref %C.14c = temporary_storage
+// CHECK:STDOUT:   %.loc31_28.2: ref %E = temporary %.loc31_26.2, %.loc31_28.1 [concrete = constants.%.b7b]
+// CHECK:STDOUT:   %.loc31_28.3: %E = acquire_value %.loc31_28.2 [concrete = constants.%E.val]
+// CHECK:STDOUT:   %Make.call: init %C.14c to %.loc31_32.4 = call %Make.specific_fn(%.loc31_28.3, @Make.%.loc25_62.3)
+// CHECK:STDOUT:   %.loc31_32.5: ref %C.14c = temporary %.loc31_32.4, %Make.call
+// CHECK:STDOUT:   %.loc31_32.6: %C.14c = acquire_value %.loc31_32.5
+// CHECK:STDOUT:   %.loc31_13.1: type = splice_block %C [concrete = constants.%C.14c] {
+// CHECK:STDOUT:     %C.ref: %C.type = name_ref C, file.%C.decl [concrete = constants.%C.generic]
+// CHECK:STDOUT:     %E.ref.loc31_12: type = name_ref E, file.%E.decl [concrete = constants.%E]
+// CHECK:STDOUT:     %facet_value.loc31_13: %facet_type = facet_value %E.ref.loc31_12, (constants.%Copy.impl_witness.e92, constants.%custom_witness.f8f19d.3) [concrete = constants.%facet_value]
+// CHECK:STDOUT:     %.loc31_13.2: %facet_type = converted %E.ref.loc31_12, %facet_value.loc31_13 [concrete = constants.%facet_value]
+// CHECK:STDOUT:     %C: type = class_type @C, @C(constants.%facet_value) [concrete = constants.%C.14c]
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %_: %C.14c = wrapper_binding _, %.loc31_32.6
+// CHECK:STDOUT:   name_binding_decl {
+// CHECK:STDOUT:     %_.patt: %pattern_type.2cb = value_binding_pattern _ [concrete = constants.%_.patt]
+// CHECK:STDOUT:   }
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.bound: <bound method> = bound_method %.loc31_32.5, constants.%Destroy.WithSelf.SelfDestruct.db3fdb.5
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.call.loc31_32: init %empty_tuple.type = call %Destroy.WithSelf.SelfDestruct.bound(%.loc31_32.5)
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.call.loc31_28: init %empty_tuple.type = call constants.%Destroy.WithSelf.SelfDestruct.bound(constants.%.b7b)
+// CHECK:STDOUT:   return
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.SubobjectDestroy.loc31_13(%self.param: ref %E) = "no_op";
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.Op.loc31_13(%self.param: ref %E) = "no_op";
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.SelfDestruct.loc31_13(%self.param: ref %E) {
+// CHECK:STDOUT: !entry:
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.call: init %empty_tuple.type = call generated.%Destroy.WithSelf.Op.decl.5f94cf.3(%self.param)
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.call: init %empty_tuple.type = call generated.%Destroy.WithSelf.SubobjectDestroy.decl.763c71.3(%self.param)
+// CHECK:STDOUT:   return
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.SubobjectDestroy.loc31_32.1(%self.param: ref %struct_type.t.d.d81) {
+// CHECK:STDOUT: !entry:
+// CHECK:STDOUT:   %.loc31_32.1: ref %D = struct_access %self.param, element1
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.bound.loc31_32.1: <bound method> = bound_method %.loc31_32.1, constants.%Destroy.WithSelf.SelfDestruct.db3fdb.2
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.call.loc31_32.1: init %empty_tuple.type = call %Destroy.WithSelf.SelfDestruct.bound.loc31_32.1(%.loc31_32.1)
+// CHECK:STDOUT:   %.loc31_32.2: ref %E = struct_access %self.param, element0
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.bound.loc31_32.2: <bound method> = bound_method %.loc31_32.2, constants.%Destroy.WithSelf.SelfDestruct.db3fdb.3
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.call.loc31_32.2: init %empty_tuple.type = call %Destroy.WithSelf.SelfDestruct.bound.loc31_32.2(%.loc31_32.2)
+// CHECK:STDOUT:   return
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.Op.loc31_32.1(%self.param: ref %struct_type.t.d.d81) = "no_op";
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.SelfDestruct.loc31_32.1(%self.param: ref %struct_type.t.d.d81) {
+// CHECK:STDOUT: !entry:
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.call: init %empty_tuple.type = call generated.%Destroy.WithSelf.Op.decl.5f94cf.4(%self.param)
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.call: init %empty_tuple.type = call generated.%Destroy.WithSelf.SubobjectDestroy.decl.763c71.4(%self.param)
+// CHECK:STDOUT:   return
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.SubobjectDestroy.loc31_32.2(%self.param: ref %C.14c) {
+// CHECK:STDOUT: !entry:
+// CHECK:STDOUT:   %d.ref: %C.elem.4f9 = name_ref d, @C.%field_decl.loc15 [concrete = @C.%field_decl.loc15]
+// CHECK:STDOUT:   %.loc31_32.1: ref %D = class_element_access %self.param, element1
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.bound.loc31_32.1: <bound method> = bound_method %.loc31_32.1, constants.%Destroy.WithSelf.SelfDestruct.db3fdb.2
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.call.loc31_32.1: init %empty_tuple.type = call %Destroy.WithSelf.SelfDestruct.bound.loc31_32.1(%.loc31_32.1)
+// CHECK:STDOUT:   %t.ref: %C.elem.54c = name_ref t, @C.%field_decl.loc14 [concrete = @C.%field_decl.loc14]
+// CHECK:STDOUT:   %.loc31_32.2: ref %E = class_element_access %self.param, element0
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.bound.loc31_32.2: <bound method> = bound_method %.loc31_32.2, constants.%Destroy.WithSelf.SelfDestruct.db3fdb.3
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.call.loc31_32.2: init %empty_tuple.type = call %Destroy.WithSelf.SelfDestruct.bound.loc31_32.2(%.loc31_32.2)
+// CHECK:STDOUT:   return
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.Op.loc31_32.2(%self.param: ref %C.14c) = "no_op";
+// CHECK:STDOUT:
+// CHECK:STDOUT: fn @Destroy.WithSelf.SelfDestruct.loc31_32.2(%self.param: ref %C.14c) {
+// CHECK:STDOUT: !entry:
+// CHECK:STDOUT:   %Destroy.WithSelf.Op.call: init %empty_tuple.type = call generated.%Destroy.WithSelf.Op.decl.5f94cf.5(%self.param)
+// CHECK:STDOUT:   %Destroy.WithSelf.SubobjectDestroy.call: init %empty_tuple.type = call generated.%Destroy.WithSelf.SubobjectDestroy.decl.763c71.5(%self.param)
+// CHECK:STDOUT:   return
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: specific @Make(constants.%T.dc4) {
+// CHECK:STDOUT:   %T.patt.loc25_18.2 => constants.%T.patt.256
+// CHECK:STDOUT:   %T.loc25_18.1 => constants.%T.dc4
+// CHECK:STDOUT:   %T.as_type.loc25_49.1 => constants.%T.as_type.5d6
+// CHECK:STDOUT:   %pattern_type.loc25_47 => constants.%pattern_type.0e9
+// CHECK:STDOUT:   %t.param_patt.loc25_47.2 => constants.%t.param_patt.081
+// CHECK:STDOUT:   %t.patt.loc25_47.2 => constants.%t.patt.4d1
+// CHECK:STDOUT:   %C.loc25_74.1 => constants.%C.210
+// CHECK:STDOUT:   %.loc25_74.2 => constants.%.501
+// CHECK:STDOUT:   %pattern_type.loc25_74 => constants.%pattern_type.0b5
+// CHECK:STDOUT:   %return.param_patt.loc25_74.2 => constants.%return.param_patt.2c6
+// CHECK:STDOUT:   %return.patt.loc25_68.2 => constants.%return.patt.a82
+// CHECK:STDOUT: }
+// CHECK:STDOUT:
+// CHECK:STDOUT: specific @Make(constants.%facet_value) {
+// CHECK:STDOUT:   %T.patt.loc25_18.2 => constants.%T.patt.256
+// CHECK:STDOUT:   %T.loc25_18.1 => constants.%facet_value
+// CHECK:STDOUT:   %T.as_type.loc25_49.1 => constants.%E
+// CHECK:STDOUT:   %pattern_type.loc25_47 => constants.%pattern_type.849
+// CHECK:STDOUT:   %t.param_patt.loc25_47.2 => constants.%t.param_patt.307
+// CHECK:STDOUT:   %t.patt.loc25_47.2 => constants.%t.patt.404
+// CHECK:STDOUT:   %C.loc25_74.1 => constants.%C.14c
+// CHECK:STDOUT:   %.loc25_74.2 => constants.%.2c0
+// CHECK:STDOUT:   %pattern_type.loc25_74 => constants.%pattern_type.2cb
+// CHECK:STDOUT:   %return.param_patt.loc25_74.2 => constants.%return.param_patt.ef6
+// CHECK:STDOUT:   %return.patt.loc25_68.2 => constants.%return.patt.971
+// CHECK:STDOUT:
+// CHECK:STDOUT: !definition:
+// CHECK:STDOUT:   %require_complete.loc25 => constants.%complete_type.357
+// CHECK:STDOUT:   %require_complete.loc26 => constants.%complete_type.031
+// CHECK:STDOUT:   %c.patt.loc26_8.2 => constants.%c.patt.1a7
+// CHECK:STDOUT:   %struct_type.t.d => constants.%struct_type.t.d.d81
+// CHECK:STDOUT:   %Copy.lookup_impl_witness.loc26 => constants.%Copy.impl_witness.e92
+// CHECK:STDOUT:   %Copy.facet.loc26_23.3 => constants.%Copy.facet.b77
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.loc26 => constants.%Copy.WithSelf.Op.type.0e9
+// CHECK:STDOUT:   %.loc26_23.3 => constants.%.01c
+// CHECK:STDOUT:   %impl.elem0.loc26_23.2 => constants.%E.as.Copy.impl.Op
+// CHECK:STDOUT:   %specific_impl_fn.loc26_23.2 => constants.%E.as.Copy.impl.Op
+// CHECK:STDOUT:   %.loc27_10.3 => constants.%.229
+// CHECK:STDOUT:   %Copy.lookup_impl_witness.loc27 => constants.%Copy.impl_witness.b05
+// CHECK:STDOUT:   %Copy.facet.loc27_10.3 => constants.%Copy.facet.9af
+// CHECK:STDOUT:   %Copy.WithSelf.Op.type.loc27 => constants.%Copy.WithSelf.Op.type.ccc
+// CHECK:STDOUT:   %.loc27_10.4 => constants.%.61f
+// CHECK:STDOUT:   %impl.elem0.loc27_10.2 => constants.%C.as.Copy.impl.Op.159
+// CHECK:STDOUT:   %specific_impl_fn.loc27_10.2 => constants.%C.as.Copy.impl.Op.specific_fn
+// CHECK:STDOUT:   %Destroy.lookup_impl_witness => constants.%custom_witness.f8f19d.5
+// CHECK:STDOUT:   %Destroy.facet.loc26_32.3 => constants.%Destroy.facet.64d
+// CHECK:STDOUT:   %Destroy.WithSelf.SelfDestruct.type => constants.%Destroy.WithSelf.SelfDestruct.type.01e
+// CHECK:STDOUT:   %.loc26_32.13 => constants.%.1d0
+// CHECK:STDOUT:   %impl.elem2.loc26_32.2 => constants.%Destroy.WithSelf.SelfDestruct.db3fdb.5
+// CHECK:STDOUT:   %specific_impl_fn.loc26_32.2 => constants.%Destroy.WithSelf.SelfDestruct.db3fdb.5
+// CHECK:STDOUT: }
+// CHECK:STDOUT: