... | ... | @@ -29,4 +29,5 @@ Issues about linear types are gathered under the ~LinearTypes tag. |
|
|
#### Stage 3: performance
|
|
|
|
|
|
- Improve CPR in presence of unrestricted field: #18490
|
|
|
#### Future |
|
|
\ No newline at end of file |
|
|
#### Future
|
|
|
- Having non-reflexivity multiplicity evidence is a bit of a thorny subject. There is a [dedicated wiki page](linear-types/multiplicity-evidence) to discuss the issue. |
|
|
\ No newline at end of file |