Skip to content

fix: subtyping and casting checks for records vs interfaces #386

fix: subtyping and casting checks for records vs interfaces

fix: subtyping and casting checks for records vs interfaces #386

Annotations

1 warning and 1 notice

Test (luajit, ubuntu-latest)

succeeded Oct 17, 2024 in 20s