# Buggy code
def __call__(self, typeinfer):
    with new_error_context("typing of exhaust iter at {0}", self.loc):
        typevars = typeinfer.typevars
        oset = typevars[self.target]
        for tp in typevars[self.iterator.name].get():
            # unpack optional
            tp = tp.type if isinstance(tp, types.Optional) else tp
            if isinstance(tp, types.BaseTuple):
                if len(tp) == self.count:
                    typeinfer.add_type(self.target, tp, loc=self.loc)
                    break
                else:
                    raise ValueError(
                        "wrong tuple length for %r: "
                        "expected %d, got %d"
                        % (self.iterator.name, self.count, len(tp))
                    )
            elif isinstance(tp, types.IterableType):
                tup = types.UniTuple(
                    dtype=tp.iterator_type.yield_type, count=self.count
                )
                typeinfer.add_type(self.target, tup, loc=self.loc)
                break
        else:
            raise TypingError("failed to unpack {}".format(tp), loc=self.loc)


# Traceback (TypeError)
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-15-3b23f7331ceb> in <module>()
----> 1 @jit(arg_types=[numba.double], ret_type=numba.double)
2 def is_REALLY_five(some_value):
3     for i in range(5):
4         if some_value == 5.0:
5             return 1.0

/Library/Frameworks/EPD64.framework/Versions/7.3/lib/python2.7/site-packages/numba/decorators.pyc in _jit(func)
77                   "garbage collected!" % (func,))
78         t = Translate(func, *args, **kws)
---> 79         t.translate()
80         __tr_map__[func] = t
81         return t.get_ctypes_func(llvm)

/Library/Frameworks/EPD64.framework/Versions/7.3/lib/python2.7/site-packages/numba/translate.pyc in translate(self)
926                     # Ensure we are playing with locals that might
927                     # actually precede the next block.
--> 928                     self.check_locals(i)
929
930                 self.crnt_block = i

/Library/Frameworks/EPD64.framework/Versions/7.3/lib/python2.7/site-packages/numba/translate.pyc in check_locals(self, i)
1135                 else:
1136                     assert next_locals is not None, "Internal compiler error!"
-> 1137             self._locals = next_locals[:]
1138
1139     def get_ctypes_func(self, llvm=True):

TypeError: 'NoneType' object has no attribute '__getitem__'

# Fixed code
def __call__(self, typeinfer):
    with new_error_context("typing of exhaust iter at {0}", self.loc):
        typevars = typeinfer.typevars
        oset = typevars[self.target]
        for tp in typevars[self.iterator.name].get():
            # unpack optional
            tp = tp.type if isinstance(tp, types.Optional) else tp
            if isinstance(tp, types.BaseTuple):
                if len(tp) == self.count:
                    assert tp.is_precise()
                    typeinfer.add_type(self.target, tp, loc=self.loc)
                    break
                else:
                    raise ValueError(
                        "wrong tuple length for %r: "
                        "expected %d, got %d"
                        % (self.iterator.name, self.count, len(tp))
                    )
            elif isinstance(tp, types.IterableType):
                tup = types.UniTuple(
                    dtype=tp.iterator_type.yield_type, count=self.count
                )
                assert tup.is_precise()
                typeinfer.add_type(self.target, tup, loc=self.loc)
                break
        else:
            raise TypingError("failed to unpack {}".format(tp), loc=self.loc)