019 fmt ln size annotation impl head

✓ Passing This code compiles and runs correctly.

Code

input.k

Frontend must reject with:

CONTAINS the impl carries the annotation