Type check assignments