It works when you move `template attrib` out of your generic proc `testA`. I'm still not sure it's a compiler bug
The problem is the generic prepass that is supposed to prevent typos requires every identifier to be known. There is a special rule that prevents this for untyped templates but when you local templates the template `attrib` does not exist yet in the generic body so the special rule does not apply. Makes sense, right?
