Fix ASSIGN_DIM result inference with typed refs Same issue as with ASSIGN. Also make the handling for ASSIGN more precise, we can only have conversions between scalar values.
Fix type inference and SCCP with typed references We can't assume that the return value will be the same as the RHS if typed references are involved.