1 // Copyright 2012-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.
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.
11 // Test cases where a changing struct appears in the signature of fns
14 // compile-flags: -Z query-dep-graph
16 #![feature(rustc_attrs)]
18 #![allow(unused_variables)]
22 #[rustc_if_this_changed]
33 // these are valid dependencies
37 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
38 #[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
40 fn do_something(x
: WillChange
);
43 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
44 #[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
45 fn some_fn(x
: WillChange
) { }
47 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
48 #[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
49 fn new_foo(x
: u32, y
: u32) -> WillChange
{
50 WillChange { x: x, y: y }
53 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
54 #[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
56 fn new(x
: u32, y
: u32) -> WillChange { loop { }
}
59 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
60 #[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
62 fn method(&self, x
: u32) { }
65 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
66 #[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
72 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
73 #[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
74 fn indirect(x
: WillChanges
) { }
77 mod invalid_signatures
{
80 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path
81 #[rustc_then_this_would_need(CollectItem)] //~ ERROR no path
83 fn do_something_else_twice(x
: WontChange
);
86 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path
87 #[rustc_then_this_would_need(CollectItem)] //~ ERROR no path
88 fn b(x
: WontChange
) { }
90 #[rustc_then_this_would_need(ItemSignature)] //~ ERROR no path from `WillChange`
91 #[rustc_then_this_would_need(CollectItem)] //~ ERROR no path from `WillChange`