type checking in .limit