/** This is translating uses of List() into Nil.  This is less
               *  than ideal from a consistency standpoint, but it shouldn't be
               *  altered without due caution.
               */
              if (fun.symbol == List_apply && args.isEmpty && !forInteractive)
                atPos(tree.pos)(gen.mkNil setType restpe)
              else
                constfold(treeCopy.Apply(tree, fun, args1) setType ifPatternSkipFormals(restpe))