Skip to content

Add a stronger function subtyping rule

Laila Elbeheiryrequested to merge
ci/pkvm-function-subtyping into master

Add a stronger rule for subsumption between function pointer types

Merge request reports