I meant, can we enforce the invariant `pos != NoPosition`, or maybe use @retronym's suggestion of replacing NoPosition by `context.tree.pos`