Not really. By default allocators will panic if there isn't physical memory available. Recursive functions can cause panic at certain depth. Code generated by macros isn't very visible for the developers and recursive macros are very common. Return types are checked only if the developer adds #[must_use].
You can overcome lot if you invest a lot for type system, but that depends on the developer.
nicce|1 year ago
You can overcome lot if you invest a lot for type system, but that depends on the developer.