src/test/ui/resolve/issue-21221-1.rs

   1 // Copyright 2016 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 mod mul1 {
  12     pub trait Mul {}
  13 }
  14
  15 mod mul2 {
  16     pub trait Mul {}
  17 }
  18
  19 mod mul3 {
  20     enum Mul {
  21       Yes,
  22       No
  23     }
  24 }
  25
  26 mod mul4 {
  27     type Mul = String;
  28 }
  29
  30 mod mul5 {
  31     struct Mul{
  32         left_term: u32,
  33         right_term: u32
  34     }
  35 }
  36
  37 #[derive(Debug)]
  38 struct Foo;
  39
  40 // When we comment the next line:
  41 //use mul1::Mul;
  42
  43 // BEFORE, we got the following error for the `impl` below:
  44 //   error: use of undeclared trait name `Mul` [E0405]
  45 // AFTER, we get this message:
  46 //   error: trait `Mul` is not in scope.
  47 //   help: ...
  48 //   help: you can import several candidates into scope (`use ...;`):
  49 //   help:   `mul1::Mul`
  50 //   help:   `mul2::Mul`
  51 //   help:   `std::ops::Mul`
  52
  53 impl Mul for Foo {
  54 //~^ ERROR cannot find trait `Mul`
  55 }
  56
  57 // BEFORE, we got:
  58 //   error: use of undeclared type name `Mul` [E0412]
  59 // AFTER, we get:
  60 //   error: type name `Mul` is not in scope. Maybe you meant:
  61 //   help: ...
  62 //   help: you can import several candidates into scope (`use ...;`):
  63 //   help:   `mul1::Mul`
  64 //   help:   `mul2::Mul`
  65 //   help:   `mul3::Mul`
  66 //   help:   `mul4::Mul`
  67 //   help:   and 2 other candidates
  68 fn getMul() -> Mul {
  69 //~^ ERROR cannot find type `Mul`
  70 }
  71
  72 // Let's also test what happens if the trait doesn't exist:
  73 impl ThisTraitReallyDoesntExistInAnyModuleReally for Foo {
  74 //~^ ERROR cannot find trait `ThisTraitReallyDoesntExistInAnyModuleReally`
  75 }
  76
  77 // Let's also test what happens if there's just one alternative:
  78 impl Div for Foo {
  79 //~^ ERROR cannot find trait `Div`
  80 }
  81
  82 fn main() {
  83     let foo = Foo();
  84     println!("Hello, {:?}!", foo);
  85 }