| Ralf Jung | f755f4c | 2025-01-27 17:18:13 | [diff] [blame] | 1 | //! Ensure ABI-required features cannot be disabled via `-Ctarget-feature`. |
| Ralf Jung | d6ddc73 | 2024-11-16 09:26:46 | [diff] [blame] | 2 | //@ compile-flags: --target=x86_64-unknown-linux-gnu --crate-type=lib |
| 3 | //@ needs-llvm-components: x86 |
| 4 | //@ compile-flags: -Ctarget-feature=-x87 |
| 5 | // For now this is just a warning. |
| 6 | //@ build-pass |
| Ralf Jung | f755f4c | 2025-01-27 17:18:13 | [diff] [blame] | 7 | //@error-pattern: must be enabled to ensure that the ABI |
| Ralf Jung | d6ddc73 | 2024-11-16 09:26:46 | [diff] [blame] | 8 | #![feature(no_core, lang_items)] |
| 9 | #![no_core] |
| 10 | |
| 11 | #[lang = "sized"] |
| 12 | pub trait Sized {} |
