"with ... as ..." exit scope namespace pollution and gc locking

[pmp-p]

"with" blocks when using "as" should not pollute locals() on exit, the "as" keyword should be considered as the const() keyword from MicroPython, and not assignable in the scope.
ideally :

with something as temp1, another as temp2:
    pass

should be executed as :

with something as temp, another as temp2:
    temp1 = something # <= should raise an error like temp1 would as a const(something)
   
    # should raise a warning of a potential conflict with a gc optimized context ( maybe decorator on `__exit__` ? )
    x = temp2 

del temp1, temp2; gc.collect()

That's a bit that except: blocks are doing on cpython ( even if they should not do it exactly as they do actually (3.8) )