diff --git a/proposals/p2360.md b/proposals/p2360.md
index 63e67cb317b53..e717bcd17ae0f 100644
--- a/proposals/p2360.md
+++ b/proposals/p2360.md
@@ -190,7 +190,9 @@ a declaration such as `constraint MyVersionOfType {}` would introduce a facet
 type that is equivalent to `type`. This proposal does not change this decision.
 Because such a named constraint `MyVersionOfType` is equivalent to `type`, that
 is, because they are the same facet type, a value `T:! MyVersionOfType` is a
-type under this proposal. Whether this is the right choice is an open question.
+type under this proposal. There is an open
+[issue for leads](https://github.com/carbon-language/carbon-lang/issues/2409) on
+whether this is the right behavior or if we'd prefer a different rule.
 
 ### Compound member access