In other words, the with statement would continue to require an as clause outside of the parentheses.  A double name binding doesn't seem very useful however.