I'm coding in java and it have a cool code inspection: if I do var x = new Thing() and Thing implements AutoClosable, it warns me about this. Could be nice to have this kind of inspection in kondo, and maybe a code transformation from let to with-open

We don't need a code-transformation for changing 5 characters I think :) Also, warning on this can be nice but I'm sure one can come up with counter-examples where the warning will be a false positive