ScottCarda-MS
commented
1 year ago One issue with this come from the HIR pass to remove use statements and sanitize all qubit declarations to use immutable let bindings. This can make it difficult to distinguish between use and borrow for qubit references, and use and let for qubit alias declarations (use q = Qubit; let w = q;).
It would be a nice to add a little more information to the hover cards for locals, by way of adding the appropriate declaration keyword to the the local's hover card. i.e.
let,mutable,use,borrowand nothing for for-loop iterators.This needs looking into to see how this can be done and further design considerations.