John McCall referred to this as “precise error typing” in September 2021.
I have no idea if there's been any compiler work on it, but it was (afaik) the first time McCall endorsed the idea.
John McCall referred to this as “precise error typing” in September 2021.
I have no idea if there's been any compiler work on it, but it was (afaik) the first time McCall endorsed the idea.