Skip to content

Throw a KernelError for non-singleton type arguments - #954

Merged
maleadt merged 1 commit into
mainfrom
tb/type-arg-error
Sep 25, 2026
Merged

Throw a KernelError for non-singleton type arguments#954
maleadt merged 1 commit into
mainfrom
tb/type-arg-error

Commits

Commits on Sep 25, 2026