refactor: HashMap/TreeMap and their extensional variants to use getElem instance
#11578
Loading
HashMap/TreeMap and their extensional variants to use getElem instance
#11578