Skip to content

Commit fc5f4a8

Browse files
InversionSpaceszarechenskiy
authored andcommitted
[Refinement Types] Add a link to the discussion
1 parent 8deb1a2 commit fc5f4a8

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

notes/0006-refinement-types.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
* **Type**: Design Notes
44
* **Author**: Mikhail Vorobev
55
* **Contributors**: Marat Akhin, Daniil Berezun
6+
* **Discussion**: [#455](https://github.com/Kotlin/KEEP/discussions/455)
67
* **Issue**: [KT-51417](https://youtrack.jetbrains.com/issue/KT-51417/Restricted-types)
78
* **Prototypes**: K2 Compiler Plugin for Refinement Classes, K2 Compiler Branch for Refinement Subtypes
89

0 commit comments

Comments
 (0)