Simplify @all implementation, remove unreachable error