I mean... rust alone doesn't have this feature. And many languages have a "slap z3 onto it" tool.