// 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.

//@ revisions: bpass1 bpass2 bpass3 bpass4 bpass5 bpass6
//@ compile-flags: -Z query-dep-graph -O
//@ [bpass1]compile-flags: -Zincremental-ignore-spans
//@ [bpass2]compile-flags: -Zincremental-ignore-spans
//@ [bpass3]compile-flags: -Zincremental-ignore-spans
//@ ignore-backends: gcc
// FIXME(#62277): could be check-pass?

#![allow(warnings)]
#![feature(linkage)]
#![feature(rustc_attrs)]
#![crate_type = "rlib"]

// Add Parameter ---------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn add_parameter() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass6")]
pub fn add_parameter(p: i32) {}

// Add Return Type -------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn add_return_type()       {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except = "hir_owner, optimized_mir")]
#[rustc_clean(cfg = "bpass6")]
pub fn add_return_type() -> () {}

// Change Parameter Type -------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn type_of_parameter(p: i32) {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass6")]
pub fn type_of_parameter(p: i64) {}

// Change Parameter Type Reference ---------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn type_of_parameter_ref(p: &i32) {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass6")]
pub fn type_of_parameter_ref(p: &mut i32) {}

// Change Parameter Order ------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn order_of_parameters(p1: i32, p2: i64) {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, optimized_mir, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass6")]
pub fn order_of_parameters(p2: i64, p1: i32) {}

// Unsafe ----------------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub        fn make_unsafe() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, typeck_root, fn_sig"
)]
#[rustc_clean(cfg = "bpass6")]
pub unsafe fn make_unsafe() {}

// Extern ----------------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub            fn make_extern() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner, typeck_root, fn_sig")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except = "hir_owner, typeck_root, fn_sig")]
#[rustc_clean(cfg = "bpass6")]
pub extern "C" fn make_extern() {}

// Type Parameter --------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn type_parameter   () {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, generics_of, type_of, predicates_of"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, generics_of, type_of, predicates_of"
)]
#[rustc_clean(cfg = "bpass6")]
pub fn type_parameter<T>() {}

// Lifetime Parameter ----------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn lifetime_parameter    () {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner, generics_of,fn_sig")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except = "hir_owner, generics_of,fn_sig")]
#[rustc_clean(cfg = "bpass6")]
pub fn lifetime_parameter<'a>() {}

// Trait Bound -----------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn trait_bound<T    >() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner, predicates_of")]
#[rustc_clean(cfg = "bpass3")]
pub fn trait_bound<T: Eq>() {}

// Builtin Bound ---------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn builtin_bound<T      >() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner, predicates_of")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except = "hir_owner, predicates_of")]
#[rustc_clean(cfg = "bpass6")]
pub fn builtin_bound<T: Send>() {}

// Lifetime Bound --------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn lifetime_bound<'a, T>() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, generics_of, type_of, predicates_of,fn_sig"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, generics_of, type_of, predicates_of,fn_sig,optimized_mir"
)]
#[rustc_clean(cfg = "bpass6")]
pub fn lifetime_bound<'a, T: 'a>() {}

// Second Trait Bound ----------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn second_trait_bound<T: Eq        >() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner, predicates_of")]
#[rustc_clean(cfg = "bpass3")]
pub fn second_trait_bound<T: Eq + Clone>() {}

// Second Builtin Bound --------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn second_builtin_bound<T: Send        >() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except = "hir_owner, predicates_of")]
#[rustc_clean(cfg = "bpass6")]
pub fn second_builtin_bound<T: Send + Sized>() {}

// Second Lifetime Bound -------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn second_lifetime_bound<'a, 'b, T: 'a     >() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(
    cfg = "bpass2",
    except = "hir_owner, generics_of, type_of, predicates_of,fn_sig"
)]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(
    cfg = "bpass5",
    except = "hir_owner, generics_of, type_of, predicates_of,fn_sig"
)]
#[rustc_clean(cfg = "bpass6")]
pub fn second_lifetime_bound<'a, 'b, T: 'a + 'b>() {}

// Inline ----------------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn inline() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5")]
#[rustc_clean(cfg = "bpass6")]
#[inline]
pub fn inline() {}

// Inline Never ----------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
#[inline(always)]
pub fn inline_never() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5")]
#[rustc_clean(cfg = "bpass6")]
#[inline(never)]
pub fn inline_never() {}

// No Mangle -------------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn no_mangle() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except="hir_owner")] // dirty because of stashed UNSAFE_CODE lint
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except="hir_owner")] // dirty because of stashed UNSAFE_CODE lint
#[rustc_clean(cfg = "bpass6")]
#[unsafe(no_mangle)]
pub fn no_mangle() {}

// Linkage ---------------------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn linkage() {}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5")]
#[rustc_clean(cfg = "bpass6")]
#[linkage = "weak_odr"]
pub fn linkage() {}

// Return Impl Trait -----------------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn return_impl_trait() -> i32        {
    0
}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner, typeck_root, fn_sig")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except = "hir_owner, typeck_root, fn_sig, optimized_mir")]
#[rustc_clean(cfg = "bpass6")]
pub fn return_impl_trait() -> impl Clone {
    0
}

// Change Return Impl Trait ----------------------------------------------------

#[cfg(any(bpass1,bpass4))]
pub fn change_return_impl_trait() -> impl Clone {
    0u32
}

#[cfg(not(any(bpass1,bpass4)))]
#[rustc_clean(cfg = "bpass2", except = "hir_owner")]
#[rustc_clean(cfg = "bpass3")]
#[rustc_clean(cfg = "bpass5", except = "hir_owner, typeck_root")]
#[rustc_clean(cfg = "bpass6")]
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(bpass1,bpass4))]
    use super::ReferencedType1 as ReturnType;
    #[cfg(not(any(bpass1,bpass4)))]
    use super::ReferencedType2 as ReturnType;

    #[rustc_clean(
        cfg = "bpass2",
        except = "hir_owner, optimized_mir, typeck_root, fn_sig"
    )]
    #[rustc_clean(cfg = "bpass3")]
    #[rustc_clean(
        cfg = "bpass5",
        except = "hir_owner, optimized_mir, typeck_root, fn_sig"
    )]
    #[rustc_clean(cfg = "bpass6")]
    pub fn indirect_return_type() -> ReturnType {
        ReturnType {}
    }
}

// Change Parameter Type Indirectly --------------------------------------------

pub mod change_parameter_type_indirectly {
    #[cfg(any(bpass1,bpass4))]
    use super::ReferencedType1 as ParameterType;
    #[cfg(not(any(bpass1,bpass4)))]
    use super::ReferencedType2 as ParameterType;

    #[rustc_clean(
        cfg = "bpass2",
        except = "hir_owner, optimized_mir, typeck_root, fn_sig"
    )]
    #[rustc_clean(cfg = "bpass3")]
    #[rustc_clean(
        cfg = "bpass5",
        except = "hir_owner, optimized_mir, typeck_root, fn_sig"
    )]
    #[rustc_clean(cfg = "bpass6")]
    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(bpass1,bpass4))]
    use super::ReferencedTrait1 as Trait;
    #[cfg(not(any(bpass1,bpass4)))]
    use super::ReferencedTrait2 as Trait;

    #[rustc_clean(cfg = "bpass2", except = "hir_owner, predicates_of")]
    #[rustc_clean(cfg = "bpass3")]
    #[rustc_clean(cfg = "bpass5", except = "hir_owner, predicates_of")]
    #[rustc_clean(cfg = "bpass6")]
    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(bpass1,bpass4))]
    use super::ReferencedTrait1 as Trait;
    #[cfg(not(any(bpass1,bpass4)))]
    use super::ReferencedTrait2 as Trait;

    #[rustc_clean(cfg = "bpass2", except = "hir_owner, predicates_of")]
    #[rustc_clean(cfg = "bpass3")]
    #[rustc_clean(cfg = "bpass5", except = "hir_owner, predicates_of")]
    #[rustc_clean(cfg = "bpass6")]
    pub fn indirect_trait_bound_where<T>(p: T)
    where
        T: Trait,
    {
    }
}