If you want “strict library mode”, you probably al...

# language-proposals

[orangy]

If you want “strict library mode”, you probably also want to require all public symbols to have explicit types, so that you don’t accidentally change member type through type inference
public val value = foo()
if foo is internal/private you can think you can change it’s return type at will, but you will implicitly change public member type as well