Skip to content

Loading…

void-safety #83

Closed
ramack opened this Issue · 1 comment

2 participants

@ramack
Liberty Eiffel member

It is possible to prevent "feature calls on void target" already at compile time. Liberty should go into this direction by either implement ECMAs Attachment_marks or warn on all calls for which it cannot prove the target to be non-void.

@cadrian cadrian closed this
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.