This paper investigates an adaptive approximation design problem for the tracking control of output-constrained non-affine pure-feedback systems. To satisfy the desired performance without constraint violation, we employ a barrier Lyapunov function which grows to infinity whenever its argument approaches some limits. The main difficulty in dealing with pure-feedback systems considering output constraints is that the system has a non-affine appearance of the constrained variable to be used as a virtual control. To overcome this difficulty, the implicit function theorem and mean value theorem are exploited to assert the existence of the desired virtual and actual controls. The function approximation technique based on adaptive neural networks is used to estimate the desired control inputs. It is shown that all signals in the closed-loop system are uniformly ultimately bounded.