34 lines
842 B
Rust
34 lines
842 B
Rust
|
// build-fail
|
||
|
|
// compile-flags: -Zpolymorphize-errors
|
||
|
|
#![feature(const_generics)]
|
||
|
|
//~^ WARN the feature `const_generics` is incomplete
|
||
|
|
|
||
|
|
// This test checks that the polymorphization analysis correctly detects unused const
|
||
|
|
// parameters in functions.
|
||
|
|
|
||
|
|
// Function doesn't have any generic parameters to be unused.
|
||
|
|
pub fn no_parameters() {}
|
||
|
|
|
||
|
|
// Function has an unused generic parameter.
|
||
|
|
pub fn unused<const T: usize>() {
|
||
|
|
//~^ ERROR item has unused generic parameters
|
||
|
|
}
|
||
|
|
|
||
|
|
// Function uses generic parameter in value of a binding.
|
||
|
|
pub fn used_binding<const T: usize>() -> usize {
|
||
|
|
let x: usize = T;
|
||
|
|
x
|
||
|
|
}
|
||
|
|
|
||
|
|
// Function uses generic parameter in substitutions to another function.
|
||
|
|
pub fn used_substs<const T: usize>() {
|
||
|
|
unused::<T>()
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
no_parameters();
|
||
|
|
unused::<1>();
|
||
|
|
used_binding::<1>();
|
||
|
|
used_substs::<1>();
|
||
|
|
}
|