Yes and no. It doesn't matter if a tool is required to elide behavior. In an Ideal World(tm), rust would work more like a functional language by: - elide life

Yes and no. It doesn't matter if a tool is required to elide behavior. In an Ideal World(tm), rust would work more like a functional language by: - elide lifetimes across boundaries, warning if it weren't clearly reducible to less than static - elide types across boundaries, failing that show a counterexample creating a paradox - allow specialization and exclusion of type patterns - discard some dyn and impl for simplicity rather than invent confusing constructs - and of course add dependent typing :)