Of course, it should contain runtime checks in `pu...
# language-proposals
m
Of course, it should contain runtime checks in
public
methods that can be called from Java. But we all can write these runtime checks ourselves; my idea is to introduce more compile-time checks ­čÖé