I really like this proposal. It's fairly concrete, makes day-to-day coding much more ergonomic and, more importantly, doesn't introduce a great many esoteric concepts that are just going to clutter the language.

I'm assuming not everyone will agree with this, since it's more 'magic' but I'd argue it's the right amount of magic to help you with common patterns that you'd otherwise have to spend time manually implementing anyway (like the Dioxus Labs 'context' example).