@DevAndArtist @slava_pestov @SmileyKeith @jckarter This restriction

• allows default arguments to be inlined (eventually)
• allows showing the default in the module interface (eventually)