228 ctor bad name caret on line

✓ Passing This code compiles and runs correctly.

Code

input.k

Frontend must reject with:

CONTAINS invalid branch constructor name 'bad name'
ERROR_AT 15