Linear types parser acccepts 'a %0001 -> b'
As noted in !4338 (comment 308818), master as at 730bb590 accepts a %0001 -> b
as if it had been written a %1 -> b
.
This is probably not intended.
As noted in !4338 (comment 308818), master as at 730bb590 accepts a %0001 -> b
as if it had been written a %1 -> b
.
This is probably not intended.