mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
Zalathar
72abf370bb
Long ago, UI tests were divided into "compile" and "run" tests. Later, the compile tests were further subdivided into "check" and "build" tests, to speed up tests that don't need a full build. The same split was never applied to incremental test revisions, so the only way to perform a check build in incremental tests is (confusingly) to use a `cfail` revision and then specify `//@ check-fail` or `//@ check-pass`. This PR makes room for dedicated check-fail and check-pass revisions by renaming the existing `cfail` and `cpass` revisions to `bfail` and `bpass`, since they currently perform a full build.
413 lines
12 KiB
Rust
413 lines
12 KiB
Rust
// 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: bfail1 bfail2 bfail3 bfail4 bfail5 bfail6
|
|
//@ compile-flags: -Z query-dep-graph -O
|
|
//@ [bfail1]compile-flags: -Zincremental-ignore-spans
|
|
//@ [bfail2]compile-flags: -Zincremental-ignore-spans
|
|
//@ [bfail3]compile-flags: -Zincremental-ignore-spans
|
|
//@ ignore-backends: gcc
|
|
|
|
#![allow(warnings)]
|
|
#![feature(linkage)]
|
|
#![feature(rustc_attrs)]
|
|
#![crate_type = "rlib"]
|
|
|
|
// Add Parameter ---------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn add_parameter() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn add_parameter(p: i32) {}
|
|
|
|
// Add Return Type -------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn add_return_type() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, optimized_mir")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn add_return_type() -> () {}
|
|
|
|
// Change Parameter Type -------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn type_of_parameter(p: i32) {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn type_of_parameter(p: i64) {}
|
|
|
|
// Change Parameter Type Reference ---------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn type_of_parameter_ref(p: &i32) {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn type_of_parameter_ref(p: &mut i32) {}
|
|
|
|
// Change Parameter Order ------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn order_of_parameters(p1: i32, p2: i64) {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn order_of_parameters(p2: i64, p1: i32) {}
|
|
|
|
// Unsafe ----------------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn make_unsafe() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub unsafe fn make_unsafe() {}
|
|
|
|
// Extern ----------------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn make_extern() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, typeck_root, fn_sig")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, typeck_root, fn_sig")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub extern "C" fn make_extern() {}
|
|
|
|
// Type Parameter --------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn type_parameter () {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, generics_of, type_of, predicates_of"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, generics_of, type_of, predicates_of"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn type_parameter<T>() {}
|
|
|
|
// Lifetime Parameter ----------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn lifetime_parameter () {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, generics_of,fn_sig")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, generics_of,fn_sig")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn lifetime_parameter<'a>() {}
|
|
|
|
// Trait Bound -----------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn trait_bound<T >() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
pub fn trait_bound<T: Eq>() {}
|
|
|
|
// Builtin Bound ---------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn builtin_bound<T >() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn builtin_bound<T: Send>() {}
|
|
|
|
// Lifetime Bound --------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn lifetime_bound<'a, T>() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig,optimized_mir"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn lifetime_bound<'a, T: 'a>() {}
|
|
|
|
// Second Trait Bound ----------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn second_trait_bound<T: Eq >() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
pub fn second_trait_bound<T: Eq + Clone>() {}
|
|
|
|
// Second Builtin Bound --------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn second_builtin_bound<T: Send >() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn second_builtin_bound<T: Send + Sized>() {}
|
|
|
|
// Second Lifetime Bound -------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn second_lifetime_bound<'a, 'b, T: 'a >() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, generics_of, type_of, predicates_of,fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn second_lifetime_bound<'a, 'b, T: 'a + 'b>() {}
|
|
|
|
// Inline ----------------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn inline() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
#[inline]
|
|
pub fn inline() {}
|
|
|
|
// Inline Never ----------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
#[inline(always)]
|
|
pub fn inline_never() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
#[inline(never)]
|
|
pub fn inline_never() {}
|
|
|
|
// No Mangle -------------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn no_mangle() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
#[unsafe(no_mangle)]
|
|
pub fn no_mangle() {}
|
|
|
|
// Linkage ---------------------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn linkage() {}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
#[linkage = "weak_odr"]
|
|
pub fn linkage() {}
|
|
|
|
// Return Impl Trait -----------------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn return_impl_trait() -> i32 {
|
|
0
|
|
}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, typeck_root, fn_sig")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, typeck_root, fn_sig, optimized_mir")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn return_impl_trait() -> impl Clone {
|
|
0
|
|
}
|
|
|
|
// Change Return Impl Trait ----------------------------------------------------
|
|
|
|
#[cfg(any(bfail1,bfail4))]
|
|
pub fn change_return_impl_trait() -> impl Clone {
|
|
0u32
|
|
}
|
|
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, typeck_root")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
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(bfail1,bfail4))]
|
|
use super::ReferencedType1 as ReturnType;
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
use super::ReferencedType2 as ReturnType;
|
|
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn indirect_return_type() -> ReturnType {
|
|
ReturnType {}
|
|
}
|
|
}
|
|
|
|
// Change Parameter Type Indirectly --------------------------------------------
|
|
|
|
pub mod change_parameter_type_indirectly {
|
|
#[cfg(any(bfail1,bfail4))]
|
|
use super::ReferencedType1 as ParameterType;
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
use super::ReferencedType2 as ParameterType;
|
|
|
|
#[rustc_clean(
|
|
cfg = "bfail2",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(
|
|
cfg = "bfail5",
|
|
except = "opt_hir_owner_nodes, optimized_mir, typeck_root, fn_sig"
|
|
)]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
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(bfail1,bfail4))]
|
|
use super::ReferencedTrait1 as Trait;
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
use super::ReferencedTrait2 as Trait;
|
|
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
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(bfail1,bfail4))]
|
|
use super::ReferencedTrait1 as Trait;
|
|
#[cfg(not(any(bfail1,bfail4)))]
|
|
use super::ReferencedTrait2 as Trait;
|
|
|
|
#[rustc_clean(cfg = "bfail2", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail3")]
|
|
#[rustc_clean(cfg = "bfail5", except = "opt_hir_owner_nodes, predicates_of")]
|
|
#[rustc_clean(cfg = "bfail6")]
|
|
pub fn indirect_trait_bound_where<T>(p: T)
|
|
where
|
|
T: Trait,
|
|
{
|
|
}
|
|
}
|