Do @type check outside of loop.