diff options
Diffstat (limited to 'src/test/incremental/hashes/function_interfaces.rs')
| -rw-r--r-- | src/test/incremental/hashes/function_interfaces.rs | 411 |
1 files changed, 0 insertions, 411 deletions
diff --git a/src/test/incremental/hashes/function_interfaces.rs b/src/test/incremental/hashes/function_interfaces.rs deleted file mode 100644 index 182ca7d926c..00000000000 --- a/src/test/incremental/hashes/function_interfaces.rs +++ /dev/null @@ -1,411 +0,0 @@ -// This test case tests the incremental compilation hash (ICH) implementation -// for function interfaces. - -// The general pattern followed here is: Change one thing between rev1 and rev2 -// and make sure that the hash has changed, then change nothing between rev2 and -// rev3 and make sure that the hash has not changed. - -// build-pass (FIXME(62277): could be check-pass?) -// revisions: cfail1 cfail2 cfail3 cfail4 cfail5 cfail6 -// compile-flags: -Z query-dep-graph -O -// [cfail1]compile-flags: -Zincremental-ignore-spans -// [cfail2]compile-flags: -Zincremental-ignore-spans -// [cfail3]compile-flags: -Zincremental-ignore-spans - -#![allow(warnings)] -#![feature(linkage)] -#![feature(rustc_attrs)] -#![crate_type = "rlib"] - -// Add Parameter --------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn add_parameter() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail6")] -pub fn add_parameter(p: i32) {} - -// Add Return Type ------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn add_return_type() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, optimized_mir")] -#[rustc_clean(cfg = "cfail6")] -pub fn add_return_type() -> () {} - -// Change Parameter Type ------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn type_of_parameter(p: i32) {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail6")] -pub fn type_of_parameter(p: i64) {} - -// Change Parameter Type Reference --------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn type_of_parameter_ref(p: &i32) {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail6")] -pub fn type_of_parameter_ref(p: &mut i32) {} - -// Change Parameter Order ------------------------------------------------------ - -#[cfg(any(cfail1,cfail4))] -pub fn order_of_parameters(p1: i32, p2: i64) {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail6")] -pub fn order_of_parameters(p2: i64, p1: i32) {} - -// Unsafe ---------------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn make_unsafe() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" -)] -#[rustc_clean(cfg = "cfail6")] -pub unsafe fn make_unsafe() {} - -// Extern ---------------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn make_extern() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, typeck, fn_sig")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, typeck, fn_sig")] -#[rustc_clean(cfg = "cfail6")] -pub extern "C" fn make_extern() {} - -// Type Parameter -------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn type_parameter () {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, generics_of, type_of, predicates_of" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, generics_of, type_of, predicates_of" -)] -#[rustc_clean(cfg = "cfail6")] -pub fn type_parameter<T>() {} - -// Lifetime Parameter ---------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn lifetime_parameter () {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, generics_of,fn_sig")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, generics_of,fn_sig")] -#[rustc_clean(cfg = "cfail6")] -pub fn lifetime_parameter<'a>() {} - -// Trait Bound ----------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn trait_bound<T >() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, predicates_of")] -#[rustc_clean(cfg = "cfail3")] -pub fn trait_bound<T: Eq>() {} - -// Builtin Bound --------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn builtin_bound<T >() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, predicates_of")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, predicates_of")] -#[rustc_clean(cfg = "cfail6")] -pub fn builtin_bound<T: Send>() {} - -// Lifetime Bound -------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn lifetime_bound<'a, T>() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig,optimized_mir" -)] -#[rustc_clean(cfg = "cfail6")] -pub fn lifetime_bound<'a, T: 'a>() {} - -// Second Trait Bound ---------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn second_trait_bound<T: Eq >() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, predicates_of")] -#[rustc_clean(cfg = "cfail3")] -pub fn second_trait_bound<T: Eq + Clone>() {} - -// Second Builtin Bound -------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn second_builtin_bound<T: Send >() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, predicates_of")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, predicates_of")] -#[rustc_clean(cfg = "cfail6")] -pub fn second_builtin_bound<T: Send + Sized>() {} - -// Second Lifetime Bound ------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn second_lifetime_bound<'a, 'b, T: 'a >() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig" -)] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig" -)] -#[rustc_clean(cfg = "cfail6")] -pub fn second_lifetime_bound<'a, 'b, T: 'a + 'b>() {} - -// Inline ---------------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn inline() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5")] -#[rustc_clean(cfg = "cfail6")] -#[inline] -pub fn inline() {} - -// Inline Never ---------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -#[inline(always)] -pub fn inline_never() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5")] -#[rustc_clean(cfg = "cfail6")] -#[inline(never)] -pub fn inline_never() {} - -// No Mangle ------------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn no_mangle() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5")] -#[rustc_clean(cfg = "cfail6")] -#[no_mangle] -pub fn no_mangle() {} - -// Linkage --------------------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn linkage() {} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5")] -#[rustc_clean(cfg = "cfail6")] -#[linkage = "weak_odr"] -pub fn linkage() {} - -// Return Impl Trait ----------------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn return_impl_trait() -> i32 { - 0 -} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, typeck, fn_sig, optimized_mir")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, typeck, fn_sig, optimized_mir")] -#[rustc_clean(cfg = "cfail6")] -pub fn return_impl_trait() -> impl Clone { - 0 -} - -// Change Return Impl Trait ---------------------------------------------------- - -#[cfg(any(cfail1,cfail4))] -pub fn change_return_impl_trait() -> impl Clone { - 0u32 -} - -#[cfg(not(any(cfail1,cfail4)))] -#[rustc_clean(cfg = "cfail2")] -#[rustc_clean(cfg = "cfail3")] -#[rustc_clean(cfg = "cfail5", except = "typeck")] -#[rustc_clean(cfg = "cfail6")] -pub fn change_return_impl_trait() -> impl Copy { - 0u32 -} - -// Change Return Type Indirectly ----------------------------------------------- - -pub struct ReferencedType1; -pub struct ReferencedType2; - -pub mod change_return_type_indirectly { - #[cfg(any(cfail1,cfail4))] - use super::ReferencedType1 as ReturnType; - #[cfg(not(any(cfail1,cfail4)))] - use super::ReferencedType2 as ReturnType; - - #[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" - )] - #[rustc_clean(cfg = "cfail3")] - #[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" - )] - #[rustc_clean(cfg = "cfail6")] - pub fn indirect_return_type() -> ReturnType { - ReturnType {} - } -} - -// Change Parameter Type Indirectly -------------------------------------------- - -pub mod change_parameter_type_indirectly { - #[cfg(any(cfail1,cfail4))] - use super::ReferencedType1 as ParameterType; - #[cfg(not(any(cfail1,cfail4)))] - use super::ReferencedType2 as ParameterType; - - #[rustc_clean( - cfg = "cfail2", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" - )] - #[rustc_clean(cfg = "cfail3")] - #[rustc_clean( - cfg = "cfail5", - except = "hir_owner, hir_owner_nodes, optimized_mir, typeck, fn_sig" - )] - #[rustc_clean(cfg = "cfail6")] - pub fn indirect_parameter_type(p: ParameterType) {} -} - -// Change Trait Bound Indirectly ----------------------------------------------- - -pub trait ReferencedTrait1 {} -pub trait ReferencedTrait2 {} - -pub mod change_trait_bound_indirectly { - #[cfg(any(cfail1,cfail4))] - use super::ReferencedTrait1 as Trait; - #[cfg(not(any(cfail1,cfail4)))] - use super::ReferencedTrait2 as Trait; - - #[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, predicates_of")] - #[rustc_clean(cfg = "cfail3")] - #[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, predicates_of")] - #[rustc_clean(cfg = "cfail6")] - pub fn indirect_trait_bound<T: Trait>(p: T) {} -} - -// Change Trait Bound Indirectly In Where Clause ------------------------------- - -pub mod change_trait_bound_indirectly_in_where_clause { - #[cfg(any(cfail1,cfail4))] - use super::ReferencedTrait1 as Trait; - #[cfg(not(any(cfail1,cfail4)))] - use super::ReferencedTrait2 as Trait; - - #[rustc_clean(cfg = "cfail2", except = "hir_owner, hir_owner_nodes, predicates_of")] - #[rustc_clean(cfg = "cfail3")] - #[rustc_clean(cfg = "cfail5", except = "hir_owner, hir_owner_nodes, predicates_of")] - #[rustc_clean(cfg = "cfail6")] - pub fn indirect_trait_bound_where<T>(p: T) - where - T: Trait, - { - } -} |