src/test/compile-fail/trait-static-method-generic-inference.rs

   1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Issue #3902. We are (at least currently) unable to infer `Self`
  12 // based on `T`, even though there is only a single impl, because of
  13 // the possibility of associated types and other things (basically: no
  14 // constraints on `Self` here at all).
  15
  16 mod base {
  17     pub trait HasNew<T> {
  18         fn new() -> T;
  19         fn dummy(&self) { }
  20     }
  21
  22     pub struct Foo {
  23         dummy: (),
  24     }
  25
  26     impl HasNew<Foo> for Foo {
  27         fn new() -> Foo {
  28             Foo { dummy: () }
  29         }
  30     }
  31 }
  32
  33 pub fn foo() {
  34     let _f: base::Foo = base::HasNew::new();
  35     //~^ ERROR type annotations required
  36 }
  37
  38 fn main() { }