Fixed
-
Invalid simplification (#2015).
-
Rarely occurring deadlock for fused map-scan compositions in CUDA
backend, when a bounds check failed in the map function. -
Compiler and interpreter crash for tricky interactions of abstract
types and sizes (#2016). Solved by banning such uses - in principle
this could break code. -
Incomplete alias tracking could cause removal of necessary copies,
leading to compiler crash (#2018).