File: deny-inside-forbid-ignored.rs

package info (click to toggle)
rustc 1.88.0%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 934,128 kB
  • sloc: xml: 158,127; python: 36,062; javascript: 19,855; sh: 19,700; cpp: 18,947; ansic: 12,993; asm: 4,792; makefile: 690; lisp: 29; perl: 29; ruby: 19; sql: 11
file content (20 lines) | stat: -rw-r--r-- 745 bytes parent folder | download | duplicates (14)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
//! Ensure that using deny inside forbid is treated as a no-op, and does not override the level to
//! deny.

//@ revisions: source_only cli_forbid cli_forbid_warnings
//@[cli_forbid] compile-flags: -F unsafe_code
//@[cli_forbid_warnings] compile-flags: -F warnings

#[forbid(unsafe_code)] // NO UNSAFE CODE IN HERE!!
fn main() {
    #[deny(unsafe_code)] // m-m-maybe we can have unsafe code in here?
    {
        #[allow(unsafe_code)] // let's have some unsafe code in here
        //~^ ERROR allow(unsafe_code) incompatible with previous forbid
        //~| ERROR allow(unsafe_code) incompatible with previous forbid
        {
            unsafe { /* ≽^•⩊•^≼ */ }
            //~^ ERROR usage of an `unsafe` block
        }
    }
}