Needs a comment referring back to `emptyValDef` / `EmptyTree` and etc.