bearophile Wrote:
> > How will it work on this code?
> >
> > String? name = process.args.first;
> > myLibCustomEnforce(exists name);
> > writeLine("Hello " name "!");
>
> If you want to implement the feature well, then the compiler has to manage a
> bit of type state too. The state of the type of the (here immutable) variable
> "name" before myLibCustomEnforce() is different from the state of the type of
> "name" after that call.
>
Do you describe, how Ceylon can work hypotetically or how it actually works?
