Maybe it’s getting used to, but it’s really unclear to me that assert(true) is a parameter rather than some sort of body when it’s introduced with :. I intuitively expect : to separate a name and a definition.
Please keep that experimental until we have some more experience with that.