mod signatures {
use WillChange;
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path
+ #[rustc_then_this_would_need(TypeOfItem)] //~ ERROR no path
+ #[rustc_then_this_would_need(AssociatedItems)] //~ ERROR no path
+ #[rustc_then_this_would_need(TraitDefOfItem)] //~ ERROR no path
trait Bar {
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR OK
fn do_something(x: WillChange);
}
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeckTables)] //~ ERROR OK
fn some_fn(x: WillChange) { }
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeckTables)] //~ ERROR OK
fn new_foo(x: u32, y: u32) -> WillChange {
WillChange { x: x, y: y }
}
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeOfItem)] //~ ERROR OK
impl WillChange {
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeckTables)] //~ ERROR OK
fn new(x: u32, y: u32) -> WillChange { loop { } }
}
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeOfItem)] //~ ERROR OK
impl WillChange {
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeckTables)] //~ ERROR OK
fn method(&self, x: u32) { }
}
struct WillChanges {
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeOfItem)] //~ ERROR OK
x: WillChange,
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
+ #[rustc_then_this_would_need(TypeOfItem)] //~ ERROR OK
y: WillChange
}
// The fields change, not the type itself.
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path
+ #[rustc_then_this_would_need(TypeOfItem)] //~ ERROR no path
fn indirect(x: WillChanges) { }
}
mod invalid_signatures {
use WontChange;
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path
+ #[rustc_then_this_would_need(TypeOfItem)] //~ ERROR no path
trait A {
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR no path
fn do_something_else_twice(x: WontChange);
}
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR no path
+ #[rustc_then_this_would_need(TypeckTables)] //~ ERROR no path
fn b(x: WontChange) { }
- #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path from `WillChange`
+ #[rustc_then_this_would_need(FnSignature)] //~ ERROR no path from `WillChange`
+ #[rustc_then_this_would_need(TypeckTables)] //~ ERROR no path from `WillChange`
fn c(x: u32) { }
}
-