740e8a3f37
Update the existing NLL `patterns.rs` test accordingly. includes changes addressing review feedback: * Added example to docs for `UserTypeProjections` illustrating how we build up multiple projections when descending into a pattern with type ascriptions. * Adapted niko's suggested docs for `UserTypeProjection`. * Factored out `projection_ty` from more general `projection_ty_core` (as a drive-by, made its callback an `FnMut`, as I discovered later that I need that). * Add note to docs that `PlaceTy.field_ty(..)` does not normalize its result. * Normalize as we project out `field_ty`.
122 lines
2.4 KiB
Rust
122 lines
2.4 KiB
Rust
// Test that various patterns also enforce types.
|
|
|
|
#![feature(nll)]
|
|
|
|
fn variable_no_initializer() {
|
|
let x = 22;
|
|
let y: &'static u32;
|
|
y = &x; //~ ERROR
|
|
}
|
|
|
|
fn tuple_no_initializer() {
|
|
|
|
|
|
let x = 22;
|
|
let (y, z): (&'static u32, &'static u32);
|
|
y = &x; //~ ERROR
|
|
}
|
|
|
|
fn ref_with_ascribed_static_type() -> u32 {
|
|
// Check the behavior in some wacky cases.
|
|
let x = 22;
|
|
let y = &x; //~ ERROR
|
|
let ref z: &'static u32 = y;
|
|
**z
|
|
}
|
|
|
|
fn ref_with_ascribed_any_type() -> u32 {
|
|
let x = 22;
|
|
let y = &x;
|
|
let ref z: &u32 = y;
|
|
**z
|
|
}
|
|
|
|
struct Single<T> { value: T }
|
|
|
|
fn struct_no_initializer() {
|
|
|
|
|
|
let x = 22;
|
|
let Single { value: y }: Single<&'static u32>;
|
|
y = &x; //~ ERROR
|
|
}
|
|
|
|
fn variable_with_initializer() {
|
|
let x = 22;
|
|
let y: &'static u32 = &x; //~ ERROR
|
|
}
|
|
|
|
fn underscore_with_initializer() {
|
|
let x = 22;
|
|
let _: &'static u32 = &x; //~ ERROR
|
|
|
|
let _: Vec<&'static String> = vec![&String::new()];
|
|
//~^ ERROR temporary value dropped while borrowed [E0716]
|
|
|
|
let (_, a): (Vec<&'static String>, _) = (vec![&String::new()], 44);
|
|
//~^ ERROR temporary value dropped while borrowed [E0716]
|
|
|
|
let (_a, b): (Vec<&'static String>, _) = (vec![&String::new()], 44);
|
|
//~^ ERROR temporary value dropped while borrowed [E0716]
|
|
}
|
|
|
|
fn pair_underscores_with_initializer() {
|
|
let x = 22;
|
|
let (_, _): (&'static u32, u32) = (&x, 44); //~ ERROR
|
|
}
|
|
|
|
fn pair_variable_with_initializer() {
|
|
let x = 22;
|
|
let (y, _): (&'static u32, u32) = (&x, 44); //~ ERROR
|
|
}
|
|
|
|
fn struct_single_field_variable_with_initializer() {
|
|
let x = 22;
|
|
let Single { value: y }: Single<&'static u32> = Single { value: &x }; //~ ERROR
|
|
}
|
|
|
|
fn struct_single_field_underscore_with_initializer() {
|
|
let x = 22;
|
|
let Single { value: _ }: Single<&'static u32> = Single { value: &x }; //~ ERROR
|
|
}
|
|
|
|
struct Double<T> { value1: T, value2: T }
|
|
|
|
fn struct_double_field_underscore_with_initializer() {
|
|
let x = 22;
|
|
let Double { value1: _, value2: _ }: Double<&'static u32> = Double {
|
|
value1: &x, //~ ERROR
|
|
value2: &44,
|
|
};
|
|
}
|
|
|
|
fn static_to_a_to_static_through_variable<'a>(x: &'a u32) -> &'static u32 {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let y: &'a u32 = &22;
|
|
y //~ ERROR
|
|
}
|
|
|
|
fn static_to_a_to_static_through_tuple<'a>(x: &'a u32) -> &'static u32 {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let (y, _z): (&'a u32, u32) = (&22, 44);
|
|
y //~ ERROR
|
|
}
|
|
|
|
fn a_to_static_then_static<'a>(x: &'a u32) -> &'static u32 {
|
|
let (y, _z): (&'static u32, u32) = (x, 44); //~ ERROR
|
|
y
|
|
}
|
|
|
|
fn main() { }
|