blob: d5f80acc15b54d8faef8abd720a3f97571acaa1e [file] [log] [blame]
#![feature(const_trait_impl, const_from)]
//@ check-pass
#[const_trait]
trait Convert<T> {
fn to(self) -> T;
}
impl<A, B> const Convert<B> for A where B: [const] From<A> {
fn to(self) -> B {
B::from(self)
}
}
const FOO: fn() -> String = || "foo".to();
fn main() {}