Update fixed tests

This commit is contained in:
Jonas Schievink 2021-02-10 14:48:52 +01:00
parent e837df8479
commit 244d8e37f1
3 changed files with 21 additions and 18 deletions

View file

@ -1495,6 +1495,20 @@ fn main(f: Foo) {
); );
} }
#[test]
fn internal_or() {
check_diagnostics(
r#"
fn main() {
enum Either { A(bool), B }
match Either::B {
//^^^^^^^^^ Missing match arm
Either::A(true | false) => (),
}
}
"#,
);
}
mod false_negatives { mod false_negatives {
//! The implementation of match checking here is a work in progress. As we roll this out, we //! The implementation of match checking here is a work in progress. As we roll this out, we
//! prefer false negatives to false positives (ideally there would be no false positives). This //! prefer false negatives to false positives (ideally there would be no false positives). This
@ -1518,21 +1532,6 @@ fn main() {
11..20 => (), 11..20 => (),
} }
} }
"#,
);
}
#[test]
fn internal_or() {
// We do not currently handle patterns with internal `or`s.
check_diagnostics(
r#"
fn main() {
enum Either { A(bool), B }
match Either::B {
Either::A(true | false) => (),
}
}
"#, "#,
); );
} }

View file

@ -2418,13 +2418,15 @@ fn infer_const_params() {
#[test] #[test]
fn infer_inner_type() { fn infer_inner_type() {
check_infer(r#" check_infer(
r#"
fn foo() { fn foo() {
struct S { field: u32 } struct S { field: u32 }
let s = S { field: 0 }; let s = S { field: 0 };
let f = s.field; let f = s.field;
} }
"#, expect![[r#" "#,
expect![[r#"
9..89 '{ ...eld; }': () 9..89 '{ ...eld; }': ()
47..48 's': S 47..48 's': S
51..65 'S { field: 0 }': S 51..65 'S { field: 0 }': S
@ -2432,5 +2434,6 @@ fn infer_inner_type() {
75..76 'f': u32 75..76 'f': u32
79..80 's': S 79..80 's': S
79..86 's.field': u32 79..86 's.field': u32
"#]]); "#]],
);
} }

View file

@ -654,6 +654,7 @@ fn main() {
let test = "test"; let test = "test";
//^^^^ &str //^^^^ &str
let test = InnerStruct {}; let test = InnerStruct {};
//^^^^ InnerStruct
let test = unresolved(); let test = unresolved();