Is there a particular reason this isn't using `self.ecx.stmt_let(...)`?

(Also, one can usually set `ty` to `ty_infer`, which is what `stmt_let` does.)