blob: 50c985096d12702557496a16ccbb259fcdec2194 [file] [log] [blame]
#![feature(const_trait_impl, const_convert)]
//@ 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() {}