Implement[]

The main next steps are to do some renaming per conversation (replace NontrivialSelf with NontrivialUserDefinedDestructors or similar)

Also, we need a plan -- or an explicit non-plan -- for deleted destructors.

After that, I'm not actually sure anything is left for correctly implemented destructors?!

PiperOrigin-RevId: 413861567
diff --git a/rs_bindings_from_cc/ir.h b/rs_bindings_from_cc/ir.h
index 4bcf7f7..00cf287 100644
--- a/rs_bindings_from_cc/ir.h
+++ b/rs_bindings_from_cc/ir.h
@@ -247,7 +247,7 @@
   nlohmann::json ToJson() const;
 
   // The type that this is a member function for.
-  Identifier for_type;
+  DeclId record_id;
 
   // Qualifiers for the instance method.
   //