Come creare alias di tratto?

Question

Sto cercando di dare un alias a una funzione in modo da non dover scrivere la sua firma ogni volta che implemento questo tratto:

type PhySend = Fn();
trait MyTrait {
    fn set_phy_send<F: PhySend>(callback: F);
}

Ma ottengo:

type aliases cannot be used as traits rustc(E0404)

Quindi, è impossibile dare alias a tratti / firme di funzioni? Sarebbe noioso scrivere questa firma ogni volta che implemento questo tratto.

Answer 1

È perché gli alias possono essere di qualsiasi tipo. Prova invece a definire un nuovo tratto.

trait your_function<T> : FnOnce() -> T {}

impl<T, U> your_function<T> for U where U: FnOnce() -> T {}

fn make_tea<F, T>(f: F) -> T
    where F: your_function<T>
{
    f()
}

fn main() {
    make_tea(|| String::new());
}