A dynx Trait represents "a pointer to something that implements Trait". It is an implementation detail of our design for "async fn in traits". Best description is currently to be found in the explainer. This area covers various thorny subquestions.