9 asm!("", options(nomem, ));
10 //~^ ERROR the `nomem` option was already provided
11 asm!("", options(preserves_flags, ));
12 //~^ ERROR the `preserves_flags` option was already provided
13 asm!("", options(nostack, preserves_flags), options());
14 //~^ ERROR the `nostack` option was already provided
15 asm!("", options(nostack, ), options(), options());
16 //~^ ERROR the `nostack` option was already provided
17 //~| ERROR the `nostack` option was already provided
18 //~| ERROR the `nostack` option was already provided
21 options(nomem, noreturn),
22 options(preserves_flags, ), //~ ERROR the `noreturn` option was already provided
23 options( nostack), //~ ERROR the `nomem` option was already provided
24 options(), //~ ERROR the `noreturn` option was already provided