Why is this unreachable?