• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // ignore-test This is currently broken
2 // check-pass
3 // revisions: mir thir
4 // [thir]compile-flags: -Z thir-unsafeck
5 
6 #![allow(incomplete_features)]
7 #![warn(unused_unsafe)]
8 #![feature(inline_const_pat)]
9 
require_unsafe() -> usize10 const unsafe fn require_unsafe() -> usize { 1 }
11 
main()12 fn main() {
13     unsafe {
14         match () {
15             const {
16                 require_unsafe();
17                 unsafe {}
18                 //~^ WARNING unnecessary `unsafe` block
19             } => (),
20         }
21     }
22 }
23