src/test/ui/rfc-2632-const-trait-impl/non-const-op-in-closure-in-const.rs

// check-pass

#![feature(const_trait_impl)]

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() {}