1 // Regression test for #80988
8 //~^ WARNING incompatible with previous forbid
9 //~| WARNING being phased out
10 //~| WARNING incompatible with previous forbid
11 //~| WARNING being phased out
12 //~| WARNING incompatible with previous forbid
13 //~| WARNING being phased out
14 //~| WARNING incompatible with previous forbid
15 //~| WARNING being phased out