Mention issue for leads carbon-language#2409.

zygoloid · Nov 17, 2022 · e1cbd51 · e1cbd51
1 parent 3890809
commit e1cbd51
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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:/carbon-language/carbon-lang/issues/2409) on
+whether this is the right behavior or if we'd prefer a different rule.
 
 ### Compound member access