Fascinating. Not sure what my opinion is of it yet.

Reminds me of implicit parameters in Scala - https://docs.scala-lang.org/tour/implicit-parameters.html

Edit: I think I like it. It doesn't solve dependency injection like e.g. Guice but the examples given, e.g. providing implementations for traits defined in external crates that take arbitrary state, is compelling.