next is expr type checking