> Le 26 sept. 2019 à 11:21, Lynn <kja...@gmail.com> a écrit :
> 
> 
> I'm not sure this type should be declarable in user-land, meaning it's 
> limited to the core and a marker for legacy.

In general, we should avoid to give builtin code functionality that can’t be 
reproduced in userland, unless there is a good reason for it. For the 
particular case, people may want to reproduce in userland an improved or 
corrected version of a given internal function, and they need be able to give 
their function the same return type information than the original.

—Claude

Reply via email to