Skip to content

Fix spurious error on non-ident-headed type arguments#82

Merged
StreamDemon merged 1 commit into
mainfrom
fix/type-arg-error-pollution
Jul 2, 2026
Merged

Fix spurious error on non-ident-headed type arguments#82
StreamDemon merged 1 commit into
mainfrom
fix/type-arg-error-pollution

Fix spurious error on non-ident-headed type arguments

fcc29f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar