`withDefault` doesn't affect `get` method contract...
# announcements
i
withDefault
doesn't affect
get
method contract, currently it's here only to specify the default value of a property delegated to a map. see https://youtrack.jetbrains.com/issue/KT-11851