#![feature(specialization)]

trait Foo : Sized {
    fn foo(self) {}
}

struct A;

impl<T: Into<A>> Foo for T { }

impl From<f64> for A {
    default fn from(_v: f64) -> A { A }
}

fn main() {
    Foo::foo(0.0)
}