Maybe, but it has far-reaching consequences in the rest of the language design, such as being much more restricted in the kind of code you can write/solutions you can do, multi-threading is more difficult, lifetimes are a part of the type system, etc
yeah i had thought how it might be limitting but that sheds some light on it