am bb85062e: am 8acd5cbf: Merge "Fix a bug in the type analysis phase of optimizing."

* commit 'bb85062ed4cabbf9d72128d67218e8b258332db4':
  Fix a bug in the type analysis phase of optimizing.