pre-RFC: bringπbackπtheπpredπkeywordπ
Conversation
*googles*
Rust used to have refinement types???
1
3
Daaaang. I was around reasonably early, (0.3) but certainly missed that one! Oh how I wish for them these daysβ¦
I'm just waiting till we add all the different types (refinement, dependent, etc.) So I can make some really type safe abusive things.
3