> 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