Fix issue 491#531

Draft

Felalolf wants to merge 19 commits into

Commits on Jul 20, 2022

fix #491
Felix A. Wolf
committed
improving completeness of the enhancement
Felix A. Wolf
committed
trying something out
Felix A. Wolf
committed

Commits on Jul 21, 2022

more experiments
Felix A. Wolf
committed
experimental
Felix A. Wolf
committed

Commits on Jul 23, 2022

experimental
Felix A. Wolf
committed
fixed array type head
Felix A. Wolf
committed
fixed empty types
Felix A. Wolf
committed

Commits on Jul 24, 2022

improved empty type encoding and error messages
Felix A. Wolf
committed
made len operation safer
Felix A. Wolf
committed

Commits on Sep 29, 2022

merged
Felix A. Wolf
committed
merged
Felix A. Wolf
committed
removed superfluous exhale
Felix A. Wolf
committed
added ignore annotation to file
Felix A. Wolf
committed

Commits on Jul 17, 2024

merge master
jcp19
committed
add extra test
jcp19
committed

Commits on May 4, 2026