2 Checks for nested assignments.
5 While this is in most cases already a type mismatch,
6 the result of an assignment being `()` can throw off people coming from languages like python or C,
7 where such assignments return a copy of the assigned value.