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

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