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.