We will see. I once worked in an Erlang codebase in which symbols can be introduced without first being declared. One particular bug I remember was that in one

We will see. I once worked in an Erlang codebase in which symbols can be introduced without first being declared. One particular bug I remember was that in one file "true" was written five times and "ture" one time. Pretty sure that a language model could both detect and commit a fix for that particular bug.