Harden the Go parser and printer against real-world code - #8517

Merged

knutwannheden merged 52 commits into

mainfrom

harden-the-go-parser-on-real-world-code

Aug 17, 2026

Commits on Aug 16, 2026

Survive a type checker that aborts part-way
knutwannheden
committed
7c72ae9
Model the trailing comma in a function result list
knutwannheden
committed
926dbe1
Validate every Space, including those held by markers
knutwannheden
committed
e39d81a
Skip comments and string literals when scanning for punctuation
knutwannheden
committed
5d5f5c2
Bound how deep type attribution follows a type
knutwannheden
committed
cd8f8f0
Model an explicit semicolon wherever a statement list allows one
knutwannheden
committed
4d6d664
Model the trailing comma in a type parameter list
knutwannheden
committed
f9781e3
Keep struct tags that are not raw-string key/value pairs
knutwannheden
committed
4c67508
Add a corpus sweep driver and reducer behind the parityaudit tag
knutwannheden
committed
06e5276
Model an explicit semicolon after a declaration list entry
knutwannheden
committed
48e436d
Model the trailing comma in a type argument list
knutwannheden
committed
739b210
Preserve a struct tag's padding and control escapes
knutwannheden
committed
f1ac6ab
Model an empty init clause in an if or switch header
knutwannheden
committed
961f3d9
Trim duplicated rationale from the semicolon list helpers
knutwannheden
committed
768c885
Model an explicit semicolon after an import
knutwannheden
committed
bca400c
Keep the padding and leftovers at the end of a struct tag
knutwannheden
committed
4974de5
Record a leading byte order mark as the file's encoding
knutwannheden
committed
7e352f7
Preserve the whitespace between a directive and its arguments
knutwannheden
committed
20610d9
Keep the whitespace inside an empty argument list or literal
knutwannheden
committed
b1cb6f2
Wrap an expression standing in statement position
knutwannheden
committed
47b26ec
Document the token-gap fuzzer alongside the sweep
knutwannheden
committed
1308eea
Keep what sits before a type assertion's dot
knutwannheden
committed
a356d47
Emit an init clause's semicolon only where one is written
knutwannheden
committed
37e8ed0
Cut a stale comment and duplicated rationale from the list helpers
knutwannheden
committed
e77e71b
Collapse an instantiation onto the generic being mapped
knutwannheden
committed
db973f3
Keep an empty statement's semicolon
knutwannheden
committed
c1cc361
Emit the semicolon a select clause body claimed
knutwannheden
committed
1fc6789
Refresh the type depth bound's rationale now that instantiations collapse
knutwannheden
committed
b3e0883
Claim a semicolon only when it is the next token
knutwannheden
committed
f583d6c
Add the Java peers for the Go-only markers
knutwannheden
committed
6964672
Read a struct tag from its source range
knutwannheden
committed
49e8a7e
Keep a directive's separator with no argument behind it
knutwannheden
committed
b06ffea
Attribute the types an assignment and a slice type carry
knutwannheden
committed
657b49b
Add a type attribution census alongside the sweep and fuzzer
knutwannheden
committed
3c9afb5
Keep the attribution census rationale in one place
knutwannheden
committed
31b7006
Attribute a function literal's signature
knutwannheden
committed
2555707
Attribute a call that goes through a value of func type
knutwannheden
committed
d0addd8
Note that attribution is measured per package, and that nil can be correct
knutwannheden
committed
e6c3ca1
Keep the package-parse rationale in the README only
knutwannheden
committed
5153476
Root the census importer at the module, and share it safely
knutwannheden
committed
03bbd51

Commits on Aug 17, 2026