Commit 2023-06-28 11:45 87536adc

feat: #redundant_imports / #minimize_imports commands (#5441) #redundant_imports lists any imports which are transitively imported already by another import #minimize_imports attempts to construct a minimal set of imports for the current file, by inspecting the constants appaering in declarations. It does not notice dependencies on tactics or notation, so is not always correct.