{＆Trait`和`＆impl Trait`有什么区别？

Question

struct SA {
    sa: u32,
}

trait T1 {
    // fn action_static() -> bool {
    //     true
    // }
    fn action_ins(&self) -> bool {
        true
    }
}

impl T1 for SA {}

fn do_action_1(x: &T1) {
    x.action_ins();
}

fn do_action_2(x: &impl T1) {
    x.action_ins();
    // <SA as T1>::action_static();
}

fn main() {
    let sa = SA { sa: 123 };
    // do_action_1(&sa);
    do_action_2(&sa);
}

playground

我想使用静态特征函数将元数据存储在宏生成的结构上，但是当将特征用作特征对象（where Self: Sized）时，编译器需要&T1。

特征对象&T1和&impl T1有什么区别？

使用&impl T1时，编译器似乎在编译时就知道类型，并且不需要在我的静态特征函数中使用“ Sized”-那么为什么要使用特征对象（&T1）？