[pull] master from GaijinEntertainment:master#992

Merged

pull[bot] merged 10 commits into

forksnd:masterfrom

GaijinEntertainment:master

May 14, 2026

Commits on May 14, 2026

infer: assume-alias substitution reports at use-site

borisbat
and
claude
committed
Merge pull request #2650 from GaijinEntertainment:bbatkin/fix-assume-alias-location-30250
borisbat
authored
parser/gen2: synthesize trailing semi at EOF without newline

borisbat
and
claude
committed
Merge pull request #2651 from GaijinEntertainment/bbatkin/lexer-gen2-eof-synth-semi
borisbat
authored
doc/css: cover das domain in dark theme, dim return type & field labels
borisbat
committed
site: fix install snippet, add playground link, wire playground URL history

borisbat
and
claude
committed
Merge pull request #2652 from GaijinEntertainment/bbatkin/docs-css-das-domain
borisbat
authored
cli: add --version / -version flag

borisbat
and
claude
committed
Merge pull request #2653 from GaijinEntertainment/bbatkin/site-install-fixes-and-playground-url-history
borisbat
authored
Merge pull request #2654 from GaijinEntertainment/bbatkin/cli-version-flag
borisbat
authored