Skip to content

Add a stronger function subtyping rule

Laila Elbeheiry requested to merge ci/pkvm-function-subtyping into master

Add a stronger rule for subsumption between function pointer types

Merge request reports