1#![allow(
2 clippy::blocks_in_conditions,
3 clippy::needless_pass_by_value,
4 clippy::if_not_else
5)]
6
7extern crate proc_macro;
8
9use proc_macro::TokenStream;
10use proc_macro2::{Ident, Span, TokenStream as TokenStream2, TokenTree};
11use quote::{quote, quote_spanned, ToTokens, TokenStreamExt as _};
12use syn::parse::{Nothing, ParseStream, Parser};
13use syn::punctuated::Punctuated;
14use syn::{
15 parenthesized, parse_macro_input, token, Abi, Attribute, Data, DeriveInput, Error, Expr, Field,
16 Generics, Path, Result, Token, Type, Visibility,
17};
18
19#[proc_macro_derive(RefCast, attributes(trivial))]
59pub fn derive_ref_cast(input: TokenStream) -> TokenStream {
60 let input = match ::syn::parse::<DeriveInput>(input) {
::syn::__private::Ok(data) => data,
::syn::__private::Err(err) => {
return ::syn::__private::TokenStream::from(err.to_compile_error());
}
}parse_macro_input!(input as DeriveInput);
61 expand_ref_cast(&input)
62 .unwrap_or_else(Error::into_compile_error)
63 .into()
64}
65
66#[proc_macro_derive(RefCastCustom, attributes(trivial))]
73pub fn derive_ref_cast_custom(input: TokenStream) -> TokenStream {
74 let input = match ::syn::parse::<DeriveInput>(input) {
::syn::__private::Ok(data) => data,
::syn::__private::Err(err) => {
return ::syn::__private::TokenStream::from(err.to_compile_error());
}
}parse_macro_input!(input as DeriveInput);
75 expand_ref_cast_custom(&input)
76 .unwrap_or_else(Error::into_compile_error)
77 .into()
78}
79
80#[proc_macro_attribute]
131pub fn ref_cast_custom(args: TokenStream, input: TokenStream) -> TokenStream {
132 let input = TokenStream2::from(input);
133 let expanded = match (|input: ParseStream| {
134 let attrs = input.call(Attribute::parse_outer)?;
135 let vis: Visibility = input.parse()?;
136 let constness: Option<::syn::token::ConstToken![const]> = input.parse()?;
137 let asyncness: Option<::syn::token::AsyncToken![async]> = input.parse()?;
138 let unsafety: Option<::syn::token::UnsafeToken![unsafe]> = input.parse()?;
139 let abi: Option<Abi> = input.parse()?;
140 let fn_token: ::syn::token::FnToken![fn] = input.parse()?;
141 let ident: Ident = input.parse()?;
142 let mut generics: Generics = input.parse()?;
143
144 let content;
145 let paren_token = match ::syn::__private::parse_parens(&input) {
::syn::__private::Ok(parens) => {
content = parens.content;
_ = content;
parens.token
}
::syn::__private::Err(error) => { return ::syn::__private::Err(error); }
}parenthesized!(content in input);
146 let arg: Ident = content.parse()?;
147 let colon_token: ::syn::token::ColonToken![:] = content.parse()?;
148 let from_type: Type = content.parse()?;
149 let _trailing_comma: Option<::syn::token::CommaToken![,]> = content.parse()?;
150 if !content.is_empty() {
151 let rest: TokenStream2 = content.parse()?;
152 return Err(Error::new_spanned(
153 rest,
154 "ref_cast_custom function is required to have a single argument",
155 ));
156 }
157
158 let arrow_token: ::syn::token::RArrowToken![->] = input.parse()?;
159 let to_type: Type = input.parse()?;
160 generics.where_clause = input.parse()?;
161 let semi_token: ::syn::token::SemiToken![;] = input.parse()?;
162
163 let _: Nothing = syn::parse::<Nothing>(args)?;
164
165 Ok(Function {
166 attrs,
167 vis,
168 constness,
169 asyncness,
170 unsafety,
171 abi,
172 fn_token,
173 ident,
174 generics,
175 paren_token,
176 arg,
177 colon_token,
178 from_type,
179 arrow_token,
180 to_type,
181 semi_token,
182 })
183 })
184 .parse2(input.clone())
185 {
186 Ok(function) => expand_function_body(function),
187 Err(parse_error) => {
188 let compile_error = parse_error.to_compile_error();
189 {
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&compile_error, &mut _s);
::quote::ToTokens::to_tokens(&input, &mut _s);
_s
}quote!(#compile_error #input)
190 }
191 };
192 TokenStream::from(expanded)
193}
194
195#[allow(non_camel_case_types)]
196struct private;
197
198impl ToTokens for private {
199 fn to_tokens(&self, tokens: &mut proc_macro2::TokenStream) {
200 tokens.append(Ident::new(
201 "__private27"concat!("__private", env!("CARGO_PKG_VERSION_PATCH")),
202 Span::call_site(),
203 ));
204 }
205}
206
207struct Function {
208 attrs: Vec<Attribute>,
209 vis: Visibility,
210 constness: Option<::syn::token::ConstToken![const]>,
211 asyncness: Option<::syn::token::AsyncToken![async]>,
212 unsafety: Option<::syn::token::UnsafeToken![unsafe]>,
213 abi: Option<Abi>,
214 fn_token: ::syn::token::FnToken![fn],
215 ident: Ident,
216 generics: Generics,
217 paren_token: token::Paren,
218 arg: Ident,
219 colon_token: ::syn::token::ColonToken![:],
220 from_type: Type,
221 arrow_token: ::syn::token::RArrowToken![->],
222 to_type: Type,
223 semi_token: ::syn::token::SemiToken![;],
224}
225
226fn expand_ref_cast(input: &DeriveInput) -> Result<TokenStream2> {
227 check_repr(input)?;
228
229 let name = &input.ident;
230 let name_str = name.to_string();
231 let (impl_generics, ty_generics, where_clause) = input.generics.split_for_impl();
232
233 let fields = fields(input)?;
234 let from = only_field_ty(fields)?;
235 let trivial = trivial_fields(fields)?;
236 let private2 = private;
237
238 let assert_trivial_fields = if !trivial.is_empty() {
239 Some({
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "if");
::quote::__private::push_ident(&mut _s, "false");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
{
use ::quote::__private::ext::*;
let has_iter = ::quote::__private::HasIterator::<false>;
#[allow(unused_mut)]
let (mut private2, i) = private2.quote_into_iter();
let has_iter = has_iter | i;
#[allow(unused_mut)]
let (mut trivial, i) = trivial.quote_into_iter();
let has_iter = has_iter | i;
<_ as
::quote::__private::CheckHasIterator<true>>::check(has_iter);
while true {
let private2 =
match private2.next() {
Some(_x) => ::quote::__private::RepInterp(_x),
None => break,
};
let trivial =
match trivial.next() {
Some(_x) => ::quote::__private::RepInterp(_x),
None => break,
};
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private2, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "assert_trivial");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::ToTokens::to_tokens(&trivial, &mut _s);
::quote::__private::push_gt(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
::quote::__private::TokenStream::new());
::quote::__private::push_semi(&mut _s);
}
}
_s
});
_s
}quote! {
240 if false {
241 #(
242 ::ref_cast::#private2::assert_trivial::<#trivial>();
243 )*
244 }
245 })
246 } else {
247 None
248 };
249
250 Ok({
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "impl");
::quote::ToTokens::to_tokens(&impl_generics, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "RefCast");
::quote::__private::push_ident(&mut _s, "for");
::quote::ToTokens::to_tokens(&name, &mut _s);
::quote::ToTokens::to_tokens(&ty_generics, &mut _s);
::quote::ToTokens::to_tokens(&where_clause, &mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "type");
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_eq(&mut _s);
::quote::ToTokens::to_tokens(&from, &mut _s);
::quote::__private::push_semi(&mut _s);
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "inline");
_s
});
::quote::__private::push_ident(&mut _s, "fn");
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "_from");
::quote::__private::push_colon(&mut _s);
::quote::__private::push_and(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
_s
});
::quote::__private::push_rarrow(&mut _s);
::quote::__private::push_and(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&assert_trivial_fields,
&mut _s);
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "cfg");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "debug_assertions");
_s
});
_s
});
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "allow");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "unused_imports");
_s
});
_s
});
::quote::__private::push_ident(&mut _s, "use");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "LayoutUnsized");
::quote::__private::push_semi(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "assert_layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&name_str, &mut _s);
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "SIZE");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "SIZE");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ALIGN");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ALIGN");
::quote::__private::push_comma(&mut _s);
_s
});
::quote::__private::push_semi(&mut _s);
_s
});
::quote::__private::push_ident(&mut _s, "unsafe");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_and(&mut _s);
::quote::__private::push_star(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "_from");
::quote::__private::push_ident(&mut _s, "as");
::quote::__private::push_star(&mut _s);
::quote::__private::push_ident(&mut _s, "const");
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_ident(&mut _s, "as");
::quote::__private::push_star(&mut _s);
::quote::__private::push_ident(&mut _s, "const");
::quote::__private::push_ident(&mut _s, "Self");
_s
});
_s
});
_s
});
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "inline");
_s
});
::quote::__private::push_ident(&mut _s, "fn");
::quote::__private::push_ident(&mut _s, "ref_cast_mut");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "_from");
::quote::__private::push_colon(&mut _s);
::quote::__private::push_and(&mut _s);
::quote::__private::push_ident(&mut _s, "mut");
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
_s
});
::quote::__private::push_rarrow(&mut _s);
::quote::__private::push_and(&mut _s);
::quote::__private::push_ident(&mut _s, "mut");
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "cfg");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "debug_assertions");
_s
});
_s
});
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "allow");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "unused_imports");
_s
});
_s
});
::quote::__private::push_ident(&mut _s, "use");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "LayoutUnsized");
::quote::__private::push_semi(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "assert_layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&name_str, &mut _s);
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "SIZE");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "SIZE");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ALIGN");
::quote::__private::push_comma(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "Layout");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_gt(&mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ALIGN");
::quote::__private::push_comma(&mut _s);
_s
});
::quote::__private::push_semi(&mut _s);
_s
});
::quote::__private::push_ident(&mut _s, "unsafe");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_and(&mut _s);
::quote::__private::push_ident(&mut _s, "mut");
::quote::__private::push_star(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "_from");
::quote::__private::push_ident(&mut _s, "as");
::quote::__private::push_star(&mut _s);
::quote::__private::push_ident(&mut _s, "mut");
::quote::__private::push_ident(&mut _s, "Self");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "From");
::quote::__private::push_ident(&mut _s, "as");
::quote::__private::push_star(&mut _s);
::quote::__private::push_ident(&mut _s, "mut");
::quote::__private::push_ident(&mut _s, "Self");
_s
});
_s
});
_s
});
_s
});
_s
}quote! {
251 impl #impl_generics ::ref_cast::RefCast for #name #ty_generics #where_clause {
252 type From = #from;
253
254 #[inline]
255 fn ref_cast(_from: &Self::From) -> &Self {
256 #assert_trivial_fields
257 #[cfg(debug_assertions)]
258 {
259 #[allow(unused_imports)]
260 use ::ref_cast::#private::LayoutUnsized;
261 ::ref_cast::#private::assert_layout::<Self, Self::From>(
262 #name_str,
263 ::ref_cast::#private::Layout::<Self>::SIZE,
264 ::ref_cast::#private::Layout::<Self::From>::SIZE,
265 ::ref_cast::#private::Layout::<Self>::ALIGN,
266 ::ref_cast::#private::Layout::<Self::From>::ALIGN,
267 );
268 }
269 unsafe {
270 &*(_from as *const Self::From as *const Self)
271 }
272 }
273
274 #[inline]
275 fn ref_cast_mut(_from: &mut Self::From) -> &mut Self {
276 #[cfg(debug_assertions)]
277 {
278 #[allow(unused_imports)]
279 use ::ref_cast::#private::LayoutUnsized;
280 ::ref_cast::#private::assert_layout::<Self, Self::From>(
281 #name_str,
282 ::ref_cast::#private::Layout::<Self>::SIZE,
283 ::ref_cast::#private::Layout::<Self::From>::SIZE,
284 ::ref_cast::#private::Layout::<Self>::ALIGN,
285 ::ref_cast::#private::Layout::<Self::From>::ALIGN,
286 );
287 }
288 unsafe {
289 &mut *(_from as *mut Self::From as *mut Self)
290 }
291 }
292 }
293 })
294}
295
296fn expand_ref_cast_custom(input: &DeriveInput) -> Result<TokenStream2> {
297 check_repr(input)?;
298
299 let vis = &input.vis;
300 let name = &input.ident;
301 let (impl_generics, ty_generics, where_clause) = input.generics.split_for_impl();
302
303 let fields = fields(input)?;
304 let from = only_field_ty(fields)?;
305 let trivial = trivial_fields(fields)?;
306 let private2 = private;
307
308 let assert_trivial_fields = if !trivial.is_empty() {
309 Some({
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "fn");
::quote::__private::push_ident(&mut _s, "__static_assert");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
::quote::__private::TokenStream::new());
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "if");
::quote::__private::push_ident(&mut _s, "false");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
{
use ::quote::__private::ext::*;
let has_iter = ::quote::__private::HasIterator::<false>;
#[allow(unused_mut)]
let (mut private2, i) = private2.quote_into_iter();
let has_iter = has_iter | i;
#[allow(unused_mut)]
let (mut trivial, i) = trivial.quote_into_iter();
let has_iter = has_iter | i;
<_ as
::quote::__private::CheckHasIterator<true>>::check(has_iter);
while true {
let private2 =
match private2.next() {
Some(_x) => ::quote::__private::RepInterp(_x),
None => break,
};
let trivial =
match trivial.next() {
Some(_x) => ::quote::__private::RepInterp(_x),
None => break,
};
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private2, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "assert_trivial");
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_lt(&mut _s);
::quote::ToTokens::to_tokens(&trivial, &mut _s);
::quote::__private::push_gt(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
::quote::__private::TokenStream::new());
::quote::__private::push_semi(&mut _s);
}
}
_s
});
_s
});
_s
}quote! {
310 fn __static_assert() {
311 if false {
312 #(
313 ::ref_cast::#private2::assert_trivial::<#trivial>();
314 )*
315 }
316 }
317 })
318 } else {
319 None
320 };
321
322 Ok({
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "const");
::quote::__private::push_underscore(&mut _s);
::quote::__private::push_colon(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
::quote::__private::TokenStream::new());
::quote::__private::push_eq(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "non_exhaustive");
_s
});
::quote::ToTokens::to_tokens(&vis, &mut _s);
::quote::__private::push_ident(&mut _s, "struct");
::quote::__private::push_ident(&mut _s, "RefCastCurrentCrate");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
::quote::__private::TokenStream::new());
::quote::__private::push_ident(&mut _s, "unsafe");
::quote::__private::push_ident(&mut _s, "impl");
::quote::ToTokens::to_tokens(&impl_generics, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "ref_cast");
::quote::__private::push_colon2(&mut _s);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2(&mut _s);
::quote::__private::push_ident(&mut _s, "RefCastCustom");
::quote::__private::push_lt(&mut _s);
::quote::ToTokens::to_tokens(&from, &mut _s);
::quote::__private::push_gt(&mut _s);
::quote::__private::push_ident(&mut _s, "for");
::quote::ToTokens::to_tokens(&name, &mut _s);
::quote::ToTokens::to_tokens(&ty_generics, &mut _s);
::quote::ToTokens::to_tokens(&where_clause, &mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "type");
::quote::__private::push_ident(&mut _s, "CurrentCrate");
::quote::__private::push_eq(&mut _s);
::quote::__private::push_ident(&mut _s,
"RefCastCurrentCrate");
::quote::__private::push_semi(&mut _s);
::quote::ToTokens::to_tokens(&assert_trivial_fields,
&mut _s);
_s
});
_s
});
::quote::__private::push_semi(&mut _s);
_s
}quote! {
323 const _: () = {
324 #[non_exhaustive]
325 #vis struct RefCastCurrentCrate {}
326
327 unsafe impl #impl_generics ::ref_cast::#private::RefCastCustom<#from> for #name #ty_generics #where_clause {
328 type CurrentCrate = RefCastCurrentCrate;
329 #assert_trivial_fields
330 }
331 };
332 })
333}
334
335fn expand_function_body(function: Function) -> TokenStream2 {
336 let Function {
337 attrs,
338 vis,
339 constness,
340 asyncness,
341 unsafety,
342 abi,
343 fn_token,
344 ident,
345 generics,
346 paren_token,
347 arg,
348 colon_token,
349 from_type,
350 arrow_token,
351 to_type,
352 semi_token,
353 } = function;
354
355 let args = {
let _span: ::quote::__private::Span =
::quote::__private::get_span(paren_token.span).__into_span();
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&arg, &mut _s);
::quote::ToTokens::to_tokens(&colon_token, &mut _s);
::quote::ToTokens::to_tokens(&from_type, &mut _s);
_s
});
_s
}quote_spanned! {paren_token.span=>
356 (#arg #colon_token #from_type)
357 };
358
359 let allow_unused_unsafe = if unsafety.is_some() {
360 Some({
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "allow");
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "unused_unsafe");
_s
});
_s
});
_s
}quote!(#[allow(unused_unsafe)]))
361 } else {
362 None
363 };
364
365 let mut inline_attr = Some({
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_pound(&mut _s);
::quote::__private::push_group(&mut _s,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "inline");
_s
});
_s
}quote!(#[inline]));
366 for attr in &attrs {
367 if attr.path().is_ident("inline") {
368 inline_attr = None;
369 break;
370 }
371 }
372
373 let macro_generated_unsafe = {
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident(&mut _s, "unsafe");
_s
}quote!(unsafe);
380
381 {
let _span: ::quote::__private::Span =
::quote::__private::get_span(semi_token.span).__into_span();
let mut _s = ::quote::__private::TokenStream::new();
{
use ::quote::__private::ext::*;
let has_iter = ::quote::__private::HasIterator::<false>;
#[allow(unused_mut)]
let (mut attrs, i) = attrs.quote_into_iter();
let has_iter = has_iter | i;
<_ as ::quote::__private::CheckHasIterator<true>>::check(has_iter);
while true {
let attrs =
match attrs.next() {
Some(_x) => ::quote::__private::RepInterp(_x),
None => break,
};
::quote::ToTokens::to_tokens(&attrs, &mut _s);
}
}
::quote::ToTokens::to_tokens(&inline_attr, &mut _s);
::quote::ToTokens::to_tokens(&vis, &mut _s);
::quote::ToTokens::to_tokens(&constness, &mut _s);
::quote::ToTokens::to_tokens(&asyncness, &mut _s);
::quote::ToTokens::to_tokens(&unsafety, &mut _s);
::quote::ToTokens::to_tokens(&abi, &mut _s);
::quote::ToTokens::to_tokens(&fn_token, &mut _s);
::quote::ToTokens::to_tokens(&ident, &mut _s);
::quote::ToTokens::to_tokens(&generics, &mut _s);
::quote::ToTokens::to_tokens(&args, &mut _s);
::quote::ToTokens::to_tokens(&arrow_token, &mut _s);
::quote::ToTokens::to_tokens(&to_type, &mut _s);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_pound_spanned(&mut _s, _span);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident_spanned(&mut _s, _span,
"allow");
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident_spanned(&mut _s, _span,
"clippy");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"let_underscore_must_use");
_s
});
_s
});
::quote::__private::push_ident_spanned(&mut _s, _span, "let");
::quote::__private::push_underscore_spanned(&mut _s, _span);
::quote::__private::push_eq_spanned(&mut _s, _span);
::quote::__private::push_or_or_spanned(&mut _s, _span);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"ref_cast");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"ref_cast_custom");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_lt_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&from_type, &mut _s);
::quote::__private::push_comma_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&to_type, &mut _s);
::quote::__private::push_gt_spanned(&mut _s, _span);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&arg, &mut _s);
_s
});
::quote::__private::push_semi_spanned(&mut _s, _span);
_s
});
::quote::__private::push_semi_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span, "let");
::quote::__private::push_underscore_spanned(&mut _s, _span);
::quote::__private::push_eq_spanned(&mut _s, _span);
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"ref_cast");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"CurrentCrate");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_lt_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&from_type, &mut _s);
::quote::__private::push_comma_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&to_type, &mut _s);
::quote::__private::push_gt_spanned(&mut _s, _span);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Brace,
{ ::quote::__private::TokenStream::new() });
::quote::__private::push_semi_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&allow_unused_unsafe, &mut _s);
::quote::__private::push_pound_spanned(&mut _s, _span);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Bracket,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident_spanned(&mut _s, _span,
"allow");
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_ident_spanned(&mut _s, _span,
"clippy");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"transmute_ptr_to_ptr");
_s
});
_s
});
::quote::ToTokens::to_tokens(¯o_generated_unsafe, &mut _s);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Brace,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"ref_cast");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&private, &mut _s);
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_ident_spanned(&mut _s, _span,
"transmute");
::quote::__private::push_colon2_spanned(&mut _s, _span);
::quote::__private::push_lt_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&from_type, &mut _s);
::quote::__private::push_comma_spanned(&mut _s, _span);
::quote::ToTokens::to_tokens(&to_type, &mut _s);
::quote::__private::push_gt_spanned(&mut _s, _span);
::quote::__private::push_group_spanned(&mut _s, _span,
::quote::__private::Delimiter::Parenthesis,
{
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&arg, &mut _s);
_s
});
_s
});
_s
});
_s
}quote_spanned! {semi_token.span=>
382 #(#attrs)*
383 #inline_attr
384 #vis #constness #asyncness #unsafety #abi
385 #fn_token #ident #generics #args #arrow_token #to_type {
386 #[allow(clippy::let_underscore_must_use)]
388 let _ = || {
389 ::ref_cast::#private::ref_cast_custom::<#from_type, #to_type>(#arg);
390 };
391
392 let _ = ::ref_cast::#private::CurrentCrate::<#from_type, #to_type> {};
394
395 #allow_unused_unsafe #[allow(clippy::transmute_ptr_to_ptr)]
397 #macro_generated_unsafe {
398 ::ref_cast::#private::transmute::<#from_type, #to_type>(#arg)
399 }
400 }
401 }
402}
403
404fn check_repr(input: &DeriveInput) -> Result<()> {
405 let mut has_repr = false;
406 let mut errors = None;
407 let mut push_error = |error| match &mut errors {
408 Some(errors) => Error::combine(errors, error),
409 None => errors = Some(error),
410 };
411
412 for attr in &input.attrs {
413 if attr.path().is_ident("repr") {
414 if let Err(error) = attr.parse_args_with(|input: ParseStream| {
415 while !input.is_empty() {
416 let path = input.call(Path::parse_mod_style)?;
417 if path.is_ident("transparent") || path.is_ident("C") {
418 has_repr = true;
419 } else if path.is_ident("packed") {
420 } else {
422 let meta_item_span = if input.peek(token::Paren) {
423 let group: TokenTree = input.parse()?;
424 {
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&path, &mut _s);
::quote::ToTokens::to_tokens(&group, &mut _s);
_s
}quote!(#path #group)
425 } else if input.peek(::syn::token::EqToken![=]) {
426 let eq_token: ::syn::token::EqToken![=] = input.parse()?;
427 let value: Expr = input.parse()?;
428 {
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&path, &mut _s);
::quote::ToTokens::to_tokens(&eq_token, &mut _s);
::quote::ToTokens::to_tokens(&value, &mut _s);
_s
}quote!(#path #eq_token #value)
429 } else {
430 {
let mut _s = ::quote::__private::TokenStream::new();
::quote::ToTokens::to_tokens(&path, &mut _s);
_s
}quote!(#path)
431 };
432 let msg = if path.is_ident("align") {
433 "aligned repr on struct that implements RefCast is not supported"
434 } else {
435 "unrecognized repr on struct that implements RefCast"
436 };
437 push_error(Error::new_spanned(meta_item_span, msg));
438 }
439 if !input.is_empty() {
440 input.parse::<::syn::token::CommaToken![,]>()?;
441 }
442 }
443 Ok(())
444 }) {
445 push_error(error);
446 }
447 }
448 }
449
450 if !has_repr {
451 let mut requires_repr = Error::new(
452 Span::call_site(),
453 "RefCast trait requires #[repr(transparent)]",
454 );
455 if let Some(errors) = errors {
456 requires_repr.combine(errors);
457 }
458 errors = Some(requires_repr);
459 }
460
461 match errors {
462 None => Ok(()),
463 Some(errors) => Err(errors),
464 }
465}
466
467type Fields = Punctuated<Field, ::syn::token::CommaToken![,]>;
468
469fn fields(input: &DeriveInput) -> Result<&Fields> {
470 use syn::Fields;
471
472 match &input.data {
473 Data::Struct(data) => match &data.fields {
474 Fields::Named(fields) => Ok(&fields.named),
475 Fields::Unnamed(fields) => Ok(&fields.unnamed),
476 Fields::Unit => Err(Error::new(
477 Span::call_site(),
478 "RefCast does not support unit structs",
479 )),
480 },
481 Data::Enum(_) => Err(Error::new(
482 Span::call_site(),
483 "RefCast does not support enums",
484 )),
485 Data::Union(_) => Err(Error::new(
486 Span::call_site(),
487 "RefCast does not support unions",
488 )),
489 }
490}
491
492fn only_field_ty(fields: &Fields) -> Result<&Type> {
493 let is_trivial = decide_trivial(fields)?;
494 let mut only_field = None;
495
496 for field in fields {
497 if !is_trivial(field)? {
498 if only_field.take().is_some() {
499 break;
500 }
501 only_field = Some(&field.ty);
502 }
503 }
504
505 only_field.ok_or_else(|| {
506 Error::new(
507 Span::call_site(),
508 "RefCast requires a struct with a single field",
509 )
510 })
511}
512
513fn trivial_fields(fields: &Fields) -> Result<Vec<&Type>> {
514 let is_trivial = decide_trivial(fields)?;
515 let mut trivial = Vec::new();
516
517 for field in fields {
518 if is_trivial(field)? {
519 trivial.push(&field.ty);
520 }
521 }
522
523 Ok(trivial)
524}
525
526fn decide_trivial(fields: &Fields) -> Result<fn(&Field) -> Result<bool>> {
527 for field in fields {
528 if is_explicit_trivial(field)? {
529 return Ok(is_explicit_trivial);
530 }
531 }
532 Ok(is_implicit_trivial)
533}
534
535#[allow(clippy::unnecessary_wraps)] fn is_implicit_trivial(field: &Field) -> Result<bool> {
537 match &field.ty {
538 Type::Tuple(ty) => Ok(ty.elems.is_empty()),
539 Type::Path(ty) => {
540 let ident = &ty.path.segments.last().unwrap().ident;
541 Ok(ident == "PhantomData" || ident == "PhantomPinned")
542 }
543 _ => Ok(false),
544 }
545}
546
547fn is_explicit_trivial(field: &Field) -> Result<bool> {
548 for attr in &field.attrs {
549 if attr.path().is_ident("trivial") {
550 attr.meta.require_path_only()?;
551 return Ok(true);
552 }
553 }
554 Ok(false)
555}