Closed giulianobelinassi closed 1 week ago
When constructing the TypeUpdateVisitor we should OR with Ibt so it does not wrap the use of the symbol with (*s).
When constructing the TypeUpdateVisitor we should OR with Ibt so it does not wrap the use of the symbol with (*s).