Add tests (currently broken) for unsafe + inline const pat

This commit is contained in:
Gary Guo 2022-12-01 23:54:06 +00:00
parent 5c58a1b003
commit d2830cb204
2 changed files with 39 additions and 0 deletions

View file

@ -0,0 +1,17 @@
// ignore-test This is currently broken
// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck
#![allow(incomplete_features)]
#![feature(inline_const_pat)]
const unsafe fn require_unsafe() -> usize { 1 }
fn main() {
match () {
const {
require_unsafe();
//~^ ERROR [E0133]
} => (),
}
}

View file

@ -0,0 +1,22 @@
// ignore-test This is currently broken
// check-pass
// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck
#![allow(incomplete_features)]
#![warn(unused_unsafe)]
#![feature(inline_const_pat)]
const unsafe fn require_unsafe() -> usize { 1 }
fn main() {
unsafe {
match () {
const {
require_unsafe();
unsafe {}
//~^ WARNING unnecessary `unsafe` block
} => (),
}
}
}