Merge "[optimzing] Fix codegen bug and improve type propagation"