[lexer] use currentLoc instead of directly lexbuf;
Also, give a better localization of unfinished `/@ ... @/` annotations in ghost code.
Loading
Please register or sign in to comment
Also, give a better localization of unfinished `/@ ... @/` annotations in ghost code.