Hey.
Michael Matz wrote in
:
|On Tue, 19 Jan 2021, Steffen Nurpmeso wrote:
|> Bruno Haible wrote in
|> <2278523.dGrNHthDRc@omega>:
|>|Michael Matz wrote:
|> ...
|>|> Okay, that's quite limited, and very easy to implement: disallow \
|>|> casting
|>|> away immutability and you're done.
Hello,
On Tue, 19 Jan 2021, Steffen Nurpmeso wrote:
Bruno Haible wrote in
<2278523.dGrNHthDRc@omega>:
|Michael Matz wrote:
...
|> Okay, that's quite limited, and very easy to implement: disallow casting
|> away immutability and you're done. But in this limited form you then
|> can't infer
