From 192c3f19390a2908c20b928fa4a1d304ed2fceb5 Mon Sep 17 00:00:00 2001
From: Jon Ross-Perkins <jperkins@google.com>
Date: Wed, 23 Jul 2025 09:55:13 -0700
Subject: [PATCH] Add comment to FindAssociatedImportIRs (#5840)

This had come up during the summit, figured a brief comment may help
clarify in the future.
---
 toolchain/check/impl_lookup.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/toolchain/check/impl_lookup.cpp b/toolchain/check/impl_lookup.cpp
index 3a596ec0e006..671260c4b8d2 100644
--- a/toolchain/check/impl_lookup.cpp
+++ b/toolchain/check/impl_lookup.cpp
@@ -28,6 +28,8 @@
 
 namespace Carbon::Check {
 
+// Returns IRs which are allowed to define an `impl` involving the arguments.
+// This is limited by the orphan rule.
 static auto FindAssociatedImportIRs(Context& context,
                                     SemIR::ConstantId query_self_const_id,
                                     SemIR::ConstantId query_facet_type_const_id)