190 lines
53 KiB
Plaintext
190 lines
53 KiB
Plaintext
|
!<arch>
|
|||
|
|
/ 0 0 0 0 8 `
|
|||
|
|
// 84 `
|
|||
|
|
static_assertions-8079cf0525352562.static_assertions.13e7e957b65c79a1-cgu.0.rcgu.o/
|
|||
|
|
lib.rmeta/ 0 0 0 644 52992 `
|
|||
|
|
ELF · €Í @ @ GNU À rust
|
|||
|
|
7Ë #rustc 1.96.0 (ac68faa20 2026-05-25)ÁíàÄTËŸ ÜJîÄ)'ß\¥! -3d1337db07d0b3aeÁ ¤°ð ¾ä-±($²ï=©Ã -7e98a21bfd32b0edÁ‰ í _coreÁ
|
|||
|
|
assert_cfgÁ ¦ assert_eq_alignÁ ¾ assert_eq_sizeÁ Û assert_eq_size_ptrÁ assert_eq_size_valÁ
|
|||
|
|
assert_fieldsÁ © assert_implÁ assert_impl_oneÁ assert_impl_allÁ assert_impl_anyÁ assert_not_impl_allÁ assert_not_impl_anyÁ assert_obj_safeÁ Ì assert_traitÁ assert_trait_sub_allÁ assert_trait_super_allÁ assert_typeÁ assert_type_eq_allÁ assert_type_ne_allÁ const_assertÁ ø const_assert_eqÁ const_assert_neÁ í š,Ë ¦T² ¾|± Ût� ÷”�
|
|||
|
|
�”ˆ ©l�
|
|||
|
|
|
|||
|
|
Ö|² ì| ‚|â' ˜œºH ²œ´\ Ì|é ü¤É
|
|||
|
|
—´¢ Æ”‚ ß”¸ ødû ’|É ¨|Ô ü ù ü Ž ‹ [](https://github.com/nvzqz/static-assertions-rs)Á � ú Ä“ <div align="center">Á ü¬= : <a href="https://crates.io/crates/static_assertions">Á üê] Z <img src="https://img.shields.io/crates/d/static_assertions.svg" alt="Downloads">Á dÈ </a>Á üÕC @ <a href="https://travis-ci.org/nvzqz/static-assertions-rs">Á ü™m j <img src="https://travis-ci.org/nvzqz/static-assertions-rs.svg?branch=master" alt="Build Status">Á d‡ ƒ ü”[ X <img src="https://img.shields.io/badge/rustc-^1.37.0-blue.svg" alt="rustc ^1.37.0">Á „ð
|
|||
|
|
<br><br>Á T� </div>Á Œ ú ü�N K Assertions to ensure correct assumptions about constants, types, and more.Á ß ú üãM J _All_ checks provided by this crate are performed at [compile-time]. ThisÁ ü±I F allows for finding errors quickly and early when it comes to ensuringÁ üûJ G certain features or aspects of a codebase. These macros are especiallyÁ üÆP M important when exposing a public API that requires types to be the same sizeÁ ü— or implement certain traits.Á ¸ ú \¼ # UsageÁ È ú üÌO L This crate is available [on crates.io][crate] and can be used by adding theÁ üœ / , following to your project's [`Cargo.toml`]:Á Ì ú \Ð ```tomlÁ ”Ü [dependencies]Á üï static_assertions = "1.1.0"Á <�
|
|||
|
|
```Á —
|
|||
|
|
ú ü›
|
|||
|
|
8 5 and this to your crate root (`main.rs` or `lib.rs`):Á Ô
|
|||
|
|
ú <Ø
|
|||
|
|
� „à
|
|||
|
|
|
|||
|
|
#[macro_use]Á üñ
|
|||
|
|
# extern crate static_assertions;Á ”• # fn main() {}Á <¨ � ° ú ü´ M J When using [Rust 2018 edition][2018], the following shorthand can help ifÁ ü‚ ) & having `#[macro_use]` is undesirable.Á ¬ ú ”° ```edition2018Á üà ) & extern crate static_assertions as sa;Á í ú äñ sa::const_assert!(true);Á <Ž
|
|||
|
|
� –
|
|||
|
|
ú tš
|
|||
|
|
# ExamplesÁ ©
|
|||
|
|
ú ü
|
|||
|
|
7 4 Very thorough examples are provided in the docs forÁ üå
|
|||
|
|
P M [each individual macro](#macros). Failure case examples are also documented.Á ¶ ú lº
|
|||
|
|
# ChangesÁ È ú üÌ` ] See [`CHANGELOG.md`](https://github.com/nvzqz/static-assertions-rs/blob/master/CHANGELOG.md)Á üK H for an exhaustive list of what has changed from one version to another.Á ù ú dý # DonateÁ Š ú üŽN K This project is made freely available (as in free beer), but unfortunatelyÁ üÝN K not all beer is free! So, if you would like to buy me a beer (or coffee orÁ ü¬K H *more*), then consider supporting my work that's benefited your projectÁ äø and thousands of others.Á • ú ü™, ) <a href="https://www.patreon.com/nvzqz">Á üÆv s <img src="https://c5.patreon.com/external/logo/become_a_patron_button.png" alt="Become a Patron!" height="35">Á D½ </a>Á üÆ* ' <a href="https://www.paypal.me/nvzqz">Á üñn k <img src="https://buymecoffee.intm.org/img/button-paypal-white.png" alt="Buy me a coffee" height="35">Á Dà í é ú üíG D [Rust 1.37]: https://blog.rust-lang.org/2019/08/15/Rust-1.37.0.htmlÁ üµX U [2018]: https://blog.rust-lang.org/2018/12/06/Rust-1.31-and-rust-2018.html#rust-2018Á üŽ7 4 [crate]: https://crates.io/crates/static_assertionsÁ üÆ> ; [compile-time]: https://en.wikipedia.org/wiki/Compile_timeÁ ü…K H [`Cargo.toml`]: https://doc.rust-lang.org/cargo/reference/manifest.htmlÁ Lhttps://raw.githubusercontent.com/nvzqz/static-assertions-rs/assets/Icon.pngÁlœ 'https://docs.rs/static_assertions/1.1.0ÁlÙ íÆ šÖ ¦æ ¾õ Û ÷
|
|||
|
|
�" ©1
|
|||
|
|
Ö@ ìO ‚^ ˜m ²| Ì‹ üš —© Ƹ ßÇ øÖ ’å ¨ô Æô² ÖtÓ T× ¼¥ ü . + Asserts that a given configuration is set.Á /ú t3© Bú üFP M A project will simply fail to compile if the given configuration is not set.Á —ú <›� ü£? < # #[macro_use] extern crate static_assertions; fn main() {}Á Üã // We're not masochistsÁ üÿ> ; # #[cfg(not(target_pointer_width = "16"))] // Just in caseÁ ü¾2 / assert_cfg!(not(target_pointer_width = "16"));Á <ñ� ùú üýJ G If a project does not support a set of configurations, you may want toÁ üÈP M report why. There is the option of providing a compile error message string:Á ™ú <�� ü¥?‰* üå # #[cfg(any(unix, windows))]Á ü†Q N assert_cfg!(any(unix, windows), "There is only support for Unix or Windows");Á Øú üÜ0 - // User needs to specify a database back-endÁ ü�6 3 # #[cfg(target_pointer_width = "0")] // ImpossibleÁ üÄE B assert_cfg!(all(not(all(feature = "mysql", feature = "mongodb")),Á üŠE B any( feature = "mysql", feature = "mongodb")),Á üÐN K "Must exclusively use MySQL or MongoDB as database back-end");Á <Ÿ� §ú ü«N K Some configurations are impossible. For example, we can't be compiling forÁ üú, ) both macOS _and_ Windows simultaneously:Á § ú œ« ```compile_failÁ ü¿ ?‰* üÿ ( % assert_cfg!(all(target_os = "macos",Á ü¨
|
|||
|
|
+ ( target_os = "windows"),Á üÔ
|
|||
|
|
8 5 "No, that's not how it works! ಠ_ಠ");Á <� � (|• æ ½ Ä
|
|||
|
|
Ã Ä *Æ É Ê % Ë Ñ ð , Ò Ó Ý , Ô 8â Õ & Ø 8û $Ù Þ $ ß , á 8 msgÁ â & å 8› $æ , ë ì î $ í - ï *ò õ · + ÿ € “ 8â � „ ’ 8”
|
|||
|
|
… ˆ ‘ , ‰ Š � , ‹ 8â Œ � 8¢ l� ª « ° , ¬ 8…6 % ± % ¸ ¾ Ê , ¿ À È , Á 8â  & Å 8¯ Æ
|
|||
|
|
É *Ì Ï Á
|
|||
|
|
+ Ù Ú í 8â Û Þ ì 8”
|
|||
|
|
ß â ë , ã ä é , å 8â æ
|
|||
|
|
ê 8¢ l÷ „
|
|||
|
|
…
|
|||
|
|
º
|
|||
|
|
8¨ 4†
|
|||
|
|
Œ
|
|||
|
|
�
|
|||
|
|
¹
|
|||
|
|
7 Cfg does not pass: Á ¬Ž
|
|||
|
|
$ £
|
|||
|
|
8Ô L¥
|
|||
|
|
®
|
|||
|
|
¯
|
|||
|
|
¸
|
|||
|
|
, °
|
|||
|
|
±
|
|||
|
|
¶
|
|||
|
|
, ²
|
|||
|
|
8â ³
|
|||
|
|
|
|||
|
|
·
|
|||
|
|
% »
|
|||
|
|
% Â
|
|||
|
|
œã |ç ä¤ ü . + Asserts that types are equal in alignment.Á /ú ü3N K This is useful when ensuring that pointer arithmetic is done correctly, orÁ ü‚O L when [FFI] requires a type to have the same alignment as some foreign type.Á Òú tÖ© åú üé9 6 A `usize` has the same alignment as any pointer type:Á £ú <§� ü¯?‰* üï0 - assert_eq_align!(usize, *const u8, *mut u8);Á < � ¨ú ü¬L I The following passes because `[i32; 4]` has the same alignment as `i32`:Á ùú <ý� ü…?‰* üÅ$ ! assert_eq_align!([i32; 4], i32);Á <ê� òú üöK H The following example fails to compile because `i32x4` explicitly has 4Á üÂ& # times the alignment as `[i32; 4]`:Á éú œí—3 ü�?‰* üÁ$ ! # #[allow(non_camel_case_types)]Á ´æ #[repr(align(16))]Á Üý struct i32x4([i32; 4]);Á ™ú ü�& # assert_eq_align!(i32x4, [i32; 4]);Á <Ä� Ìú üÐC @ [FFI]: https://en.wikipedia.org/wiki/Foreign_function_interfaceÁ (|” õ Á û
|
|||
|
|
Ç à , È 8Ã É & Ê 8´ Ë $ Í , Ï Ð × , Ñ 8 xsÁ Ò & Ô 8´ Õ $ Ø Ù , Û Ü Þ $ Ý - ß *â å ø
|
|||
|
|
8 ,ï 8 õ & ö 8 ø ú û ý ÿ ‚ ñ
|
|||
|
|
|
|||
|
|
8# þ , ‚
|
|||
|
|
8 ,ƒ
|
|||
|
|
'ˆ
|
|||
|
|
8š ,Š
|
|||
|
|
'�
|
|||
|
|
8í ‘
|
|||
|
|
'”
|
|||
|
|
8 D–
|
|||
|
|
% ž
|
|||
|
|
, ¬
|
|||
|
|
|
|||
|
|
æ
|
|||
|
|
8 ®
|
|||
|
|
8 ²
|
|||
|
|
& ³
|
|||
|
|
µ
|
|||
|
|
Ê
|
|||
|
|
¶
|
|||
|
|
·
|
|||
|
|
% ¸
|
|||
|
|
8 Dº
|
|||
|
|
'Â
|
|||
|
|
Ä
|
|||
|
|
, Å
|
|||
|
|
8Ã Æ
|
|||
|
|
Ç
|
|||
|
|
È
|
|||
|
|
É
|
|||
|
|
Ì
|
|||
|
|
Î
|
|||
|
|
ä
|
|||
|
|
Ï
|
|||
|
|
Ð
|
|||
|
|
% Ñ
|
|||
|
|
8 DÓ
|
|||
|
|
'Û
|
|||
|
|
Ý
|
|||
|
|
, Þ
|
|||
|
|
8ßD ß
|
|||
|
|
á
|
|||
|
|
â
|
|||
|
|
ã
|
|||
|
|
% å
|
|||
|
|
ç
|
|||
|
|
% ò
|
|||
|
|
% ù
|
|||
|
|
”ø tü Ü� ü ) & Asserts that types are equal in size.Á *ú ü.N K When performing operations such as pointer casts or dealing with [`usize`]Á ü}O L versus [`u64`] versus [`u32`], the size of your types matter. That is whereÁ üÍ this macro comes into play.Á íú ”ñ # AlternativesÁ „ú üˆO L There also exists [`assert_eq_size_val`](macro.assert_eq_size_val.html) andÁ üØP M [`assert_eq_size_ptr`](macro.assert_eq_size_ptr.html). Instead of specifyingÁ ü©P M types to compare, values' sizes can be directly compared against each other.Á úú tþ© �ú ü‘L I These three types, despite being very different, all have the same size:Á Þú <â� üê?‰* üª. + assert_eq_size!([u8; 4], (u16, u16), u32);Á <Ù� áú üåP M The following example fails to compile because `u32` has 4 times the size ofÁ L¶ `u8`:Á Àú œÄ—3 üØ?‰* ì˜ assert_eq_size!(u32, u8);Á <¶� ¾ú üÂA > [`usize`]: https://doc.rust-lang.org/std/primitive.usize.htmlÁ ü„= : [`u64`]: https://doc.rust-lang.org/std/primitive.u64.htmlÁ üÂ= : [`u32`]: https://doc.rust-lang.org/std/primitive.u32.htmlÁ (|€ ¬ Ã
|
|||
|
|
² Ë , ³ 8Ã ´ & µ 8´ ¶ $ ¸ , º » Â , ¼ 8ßD ½ & ¿ 8´ À $ Ã Ä , Æ Ç É $ È - Ê *Í Ð À
|
|||
|
|
8 ,Ú 8 à & á 8 ã å æ è ê í ¹
|
|||
|
|
, û ü ®
|
|||
|
|
8 ý 8 �
|
|||
|
|
ƒ
|
|||
|
|
, …
|
|||
|
|
8 ,†
|
|||
|
|
'‹
|
|||
|
|
8š ,�
|
|||
|
|
'’
|
|||
|
|
8í ”
|
|||
|
|
'—
|
|||
|
|
8™ L™
|
|||
|
|
'¢
|
|||
|
|
¤
|
|||
|
|
, ¥
|
|||
|
|
8Ã ¦
|
|||
|
|
$ §
|
|||
|
|
, ©
|
|||
|
|
8ßD ª
|
|||
|
|
¬
|
|||
|
|
%
|
|||
|
|
¯
|
|||
|
|
% º
|
|||
|
|
% Á
|
|||
|
|
üƒ üÆ
|
|||
|
|
5 2 Asserts that values pointed to are equal in size.Á ü
|
|||
|
|
ú t€ © � ú ü“ P M This especially is useful for when coercing pointers between different typesÁ üä 9 6 and ensuring the underlying values are the same size.Á ž ú <¢ � üª ?‰* üê 0 - fn operation(x: &(u32, u32), y: &[u16; 4]) {Á ü›
|
|||
|
|
" assert_eq_size_ptr!(x, y);Á t¾
|
|||
|
|
// ...Á ,Í
|
|||
|
|
}Á <Ó
|
|||
|
|
� Û
|
|||
|
|
ú üß
|
|||
|
|
K H The following example fails to compile because byte arrays of differentÁ ü«! lengths have different sizes:Á Íú œÑ—3 üå2 / # #[macro_use] extern crate static_assertions;Á Œ˜ # fn main() {Á üª static BYTES: &[u8; 4] = &[Á ŒÊ /* ... */Á tÜ # 0; 4Á 4ë ];Á òú üö static TABLE: &[u8; 16] = &[Á Œ—È\ |© # 0; 16Á 4¹ù\ Àú üÄ& # assert_eq_size_ptr!(BYTES, TABLE);Á <ë� (|ó £ ‚ © Æ , ª 8à « & ¬ 8› $ $ ± , ³ ´ ½ , µ 8ßD ¶ & ¸ 8› $¹ $ ¾ ¿ , Á Â Ä $ à - Å *È Ë € + Õ Ö ˜ 8« ,× Ü — 8
|
|||
|
|
unknown_lintsÁ lÝ $ ê 8 unsafe_codeÁ \ì $ ÷ 8 forget_copyÁ \ù $ „ 8 useless_transmuteÁ Œ† 8 ¢ 8 ¦ ¨ ª 8" 4 ´ ù 8#  , Æ 8 ,Ç 'Ì 8š ,Î 'Ó Õ Þ 8í Ö $ Ù 8µ Û % ß 8 í 8 ñ 8æ $õ ú 8µ ü 'ÿ 8 readÁ $� … ˆ , † 8à ‡ % ‰ , — ˜ Ï 8µ ™ 'œ 8 writeÁ ,ž £ Í ¤ 8 ¥ 8æ $© $ 8í ¯ '² 8™ L´ ½ Ì 8µ ¾ 'Á 8ïb $Ã Ç Ë , È 8ßD É % Î Ð 8í Þ 'á 8ê 4ã é î 8æ $ê % ï % ú üû ü…* ' Asserts that values are equal in size.Á °ú ü´? < This macro doesn't consume its arguments and thus works forÁ ìô non-[`Clone`]able values.Á ’ú t–© ¥ú <©� ü±2Ê[ Œä…\ ¤ö struct Byte(u8);Á ‹ú Œ� let x = 10u8;Á ü¡6 3 let y = Byte(42); // Works for non-cloneable typesÁ Øú ôÜ assert_eq_size_val!(x, y);Á üû# assert_eq_size_val!(x, y, 0u8);Á <Ÿ # }Á <§� ¯ú ü³J G Even though both values are 0, they are of types with different sizes:Á þú œ‚—3 ü–2Ê[ ŒÉ…\ üÛ# assert_eq_size_val!(0u8, 0u32);Á <ÿ¨i <‡� �ú ü“C @ [`Clone`]: https://doc.rust-lang.org/std/clone/trait.Clone.htmlÁ (ü×#" › ø ¡ ¾ , ¢ 8à £ & ¤ 8› $¥ $ © , « ¬ µ , 8ßD ® & ° 8› $± $ ¶ · , ¹ º ¼ $ » - ½ *À à ö 8÷ ”Í ß à ï á , â 8à ã $ ä , æ ç ì è , é 8ßD ê $ í î % 𠌌 l� Ô€
|
|||
|
|
ü / , Asserts that the type has the given fields.Á 0ú t4© Cú üGM J One common use case is when types have fields defined multiple times as aÁ ü•H E result of `#[cfg]`. This can be an issue when exposing a public API.Á Þú <â� üê2Ê[ œ� pub struct Ty {Á ¼± #[cfg(windows)]Á ¬É pub val1: u8,Á äß #[cfg(not(windows))]Á Äü pub val1: usize,Á •ú ¤™ #[cfg(unix)]Á ´® pub val2: u32,Á ÌÅ #[cfg(not(unix))]Á Äß pub val2: usize,Á ,ø‹Z þú ü‚* ' // Always have `val2` regardless of OSÁ ì assert_fields!(Ty: val2);Á <Ë� Óú ü×/ , This macro even works with `enum` variants:Á ‡ú <‹� ü“?‰* |Ó enum Data {Á lã
|
|||
|
|
Val {Á ¤ñ id: i32,Á ̆ name: String,Á ì bytes: [u8; 128],Á T¾ },Á ¼É Ptr(*const u8),Á ,á‹Z çú üë) & assert_fields!(Data::Val: id, bytes);Á <•� �ú ü¡b _ The following example fails to compile because [`Range`] does not have a field named `middle`:Á „ú œˆ—3 üœ?‰* ÄÜ use std::ops::Range;Á õú üù' $ assert_fields!(Range<u32>: middle);Á <¡ � © ú ü B ? [`Range`]: https://doc.rust-lang.org/std/ops/struct.Range.htmlÁ (|ð 1 ›
|
|||
|
|
Ç ¡
|
|||
|
|
Ã
|
|||
|
|
, ¢
|
|||
|
|
8¿ £
|
|||
|
|
& ¤
|
|||
|
|
8¼ ,¥
|
|||
|
|
'ª
|
|||
|
|
, ¬
|
|||
|
|
8Á
|
|||
|
|
& ®
|
|||
|
|
8¼ ,¯
|
|||
|
|
& ´
|
|||
|
|
, ¶
|
|||
|
|
·
|
|||
|
|
À
|
|||
|
|
, ¸
|
|||
|
|
8± ¹
|
|||
|
|
& º
|
|||
|
|
8¼ ,»
|
|||
|
|
$ Á
|
|||
|
|
Â
|
|||
|
|
*Å
|
|||
|
|
È
|
|||
|
|
•
|
|||
|
|
+ Ò
|
|||
|
|
Ó
|
|||
|
|
€ 8« ,Ô
|
|||
|
|
Ù
|
|||
|
|
ÿ
|
|||
|
|
8¤` lÚ
|
|||
|
|
$ ç
|
|||
|
|
8 unneeded_field_patternÁ ´é
|
|||
|
|
8 ,Š 8 � & ‘ 8 “ • – ˜ š � Ž
|
|||
|
|
+ « ¬ Ó 8« , ² Ò 8— L³ $ ¼ 8 unreachable_patternsÁ ¤¾ 8 á 8Ó 4ä ê ô 8» ,ë & ð , ò 8¿ ó ö „
|
|||
|
|
8 ,ˆ 8» ,Ž ” ö , ª « Ç , ¬ 8¿ '® , ° 8Á ± ³ ¿ , µ 8± ¶ & · 8 ¹ $ º !¼ *Á Ä Å $ Æ È 8 Þ *à ã ä % �
|
|||
|
|
% –
|
|||
|
|
œ
|
|||
|
|
³
|
|||
|
|
, �
|
|||
|
|
8¿ ž
|
|||
|
|
& Ÿ
|
|||
|
|
8õ
|