For example, having to wrap values in `T.must`, `T.nil`, etc. is a net loss. I read Ruby code full of Sorbet annotations and I wish they were gone.
You're adding useless boilerplate to satisfy the tool, and you have to change your code in unintuitive ways so the tool can understand it.