Skip to content

Commit

Permalink
Switched tests to use rust 1.79.0
Browse files Browse the repository at this point in the history
  • Loading branch information
dewert99 committed Jul 18, 2024
1 parent 6828739 commit f466df6
Show file tree
Hide file tree
Showing 4 changed files with 20 additions and 66 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
strategy:
matrix:
rust:
- 1.75.0
- 1.79.0
# It's useful to test applications of these macros to newer features so using 1.53 for tests doesn't work
# This needs to be locked to a specific version of Rust since the exact error messages may change
# When switching this Rust version make sure to also update tests to use newer error messages if applicable
Expand Down
79 changes: 17 additions & 62 deletions ambassador/src/register.rs
Original file line number Diff line number Diff line change
Expand Up @@ -16,12 +16,6 @@ pub(crate) fn match_name(trait_ident: &Ident) -> Ident {
quote::format_ident!("Match{}", trait_ident)
}

struct UsedReceivers {
owned: bool,
ref_r: bool,
ref_mut: bool,
}

#[derive(Default)]
struct CfgNames(Vec<(TokenStream, Ident)>);

Expand Down Expand Up @@ -63,14 +57,6 @@ impl CfgNames {
}
}

fn compile_error_or_none(message: &str, return_cmp_err: bool) -> Option<TokenStream> {
if return_cmp_err {
Some(quote!(compile_error! {#message}))
} else {
None
}
}

pub fn build_register_trait(original_item: &ItemTrait) -> TokenStream {
let trait_ident = &original_item.ident;
let macro_name = macro_name(trait_ident);
Expand All @@ -80,40 +66,18 @@ pub fn build_register_trait(original_item: &ItemTrait) -> TokenStream {
let gen_idents: Vec<_> = gen_params.iter().map(param_to_ident).collect();
let gen_matcher: TokenStream = gen_params.iter().map(param_to_matcher).collect();

let mut used_recievers = UsedReceivers {
owned: false,
ref_r: false,
ref_mut: false,
};
let mut cfg_names = CfgNames::default();
let iter = original_item.items.iter().map(|item| {
build_trait_items(
item,
trait_ident,
&gen_idents,
&mut used_recievers,
&mut cfg_names,
)
});
let iter = original_item
.items
.iter()
.map(|item| build_trait_items(item, trait_ident, &gen_idents, &mut cfg_names));
let (struct_items, enum_items, self_items): (Vec<_>, Vec<_>, Vec<_>) =
match process_results(iter, |iter| iter.multiunzip()) {
Ok(tup) => tup,
Err(err) => return err.to_compile_error(),
};
let assoc_ty_bounds = make_assoc_ty_bound(&original_item.items, original_item, &match_name);
let gen_idents_pat: TokenStream = gen_idents.into_iter().map(|id| quote! {$ #id ,}).collect();
let check_owned = compile_error_or_none(
"target_owned was not specified but was needed",
used_recievers.owned,
);
let check_ref = compile_error_or_none(
"target_ref was not specified but was needed",
used_recievers.ref_r,
);
let check_ref_mut = compile_error_or_none(
"target_mut was not specified but was needed",
used_recievers.ref_mut,
);
let vis = &original_item.vis;
let cfg_definitions = cfg_names.definitions(&macro_name, vis);
quote! {
Expand All @@ -124,23 +88,12 @@ pub fn build_register_trait(original_item: &ItemTrait) -> TokenStream {
#macro_name!{body_struct(<#gen_idents_pat>, $ty, ($field_ident), ($field_ident), ($field_ident))}
};
(body_struct(<#gen_matcher>, $ty:ty, ($($ident_owned:tt)*), ($($ident_ref:tt)*), ($($ident_ref_mut:tt)*))) => {
#macro_name!{check_owned($($ident_owned)*)}
#macro_name!{check_ref($($ident_ref)*)}
#macro_name!{check_ref_mut($($ident_ref_mut)*)}
#(#struct_items)*
};
(check_owned()) => {
#check_owned
};
(check_owned($($_:tt)+)) => {};
(check_ref()) => {
#check_ref
(check_non_empty($err:literal, $s:ident.$($t:tt)+)) => {$s.$($t)*};
(check_non_empty($err:literal, $s:ident.)) => {
compile_error! {$err}
};
(check_ref($($_:tt)+)) => {};
(check_ref_mut()) => {
#check_ref_mut
};
(check_ref_mut($($_:tt)+)) => {};
(body_enum(<#gen_matcher>, $ty:ty, ($( $other_tys:ty ),*), ($( $variants:path ),+))) => {
#(#enum_items)*
};
Expand Down Expand Up @@ -284,10 +237,10 @@ fn build_trait_items(
original_item: &TraitItem,
trait_ident: &Ident,
gen_idents: &[&Ident],
used_recievers: &mut UsedReceivers,
cfg_names: &mut CfgNames,
) -> syn::Result<(TokenStream, TokenStream, TokenStream)> {
let gen_pat: TokenStream = gen_idents.iter().flat_map(|id| quote! {$#id,}).collect();
let macro_name = macro_name(trait_ident);
let mut res = match original_item {
TraitItem::Const(TraitItemConst { ident, ty, .. }) => (
quote! {
Expand Down Expand Up @@ -321,16 +274,19 @@ fn build_trait_items(
{
let field_ident = match receiver_type(&original_method.sig)? {
ReceiverType::Owned => {
used_recievers.owned = true;
quote!(self.$($ident_owned)*)
quote!(#macro_name!(check_non_empty(
"target_owned was not specified but was needed",
self.$($ident_owned)*)))
}
ReceiverType::Ref => {
used_recievers.ref_r = true;
quote!(self.$($ident_ref)*)
quote!(#macro_name!(check_non_empty(
"target_ref was not specified but was needed",
self.$($ident_ref)*)))
}
ReceiverType::MutRef => {
used_recievers.ref_mut = true;
quote!(self.$($ident_ref_mut)*)
quote!(#macro_name!(check_non_empty(
"target_mut was not specified but was needed",
self.$($ident_ref_mut)*)))
}
};
let method_invocation = build_method_invocation(original_method, &field_ident);
Expand Down Expand Up @@ -366,7 +322,6 @@ fn build_trait_items(
};
if let Some(pred) = extract_cfg(attrs) {
let wrapper_macro = cfg_names.get_macro(pred);
let macro_name = macro_name(trait_ident);
let wrap = |x: TokenStream| quote!(#macro_name::#wrapper_macro!{#x});
res = (wrap(res.0), wrap(res.1), wrap(res.2));
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@ use ambassador::{delegatable_trait, delegate_to_methods};
use std::ops::DerefMut;

#[delegatable_trait] //~ ERROR target_owned was not specified but was needed
//~^ ERROR unexpected token: `.`
trait MyTrait {
fn get(&self) -> u32;
fn change(&mut self);
Expand Down
4 changes: 2 additions & 2 deletions ambassador/tests/compile-fail/generic_trait_bad_where.rs
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ fn main() {
let m1 = SomeMap::Hash(HashMap::from([("dog".to_string(), "wuff")]));
let m2 = SomeMap::BTree(BTreeMap::from([("cat".to_string(), "meow")]));
assert_eq!(m1["dog"], "wuff");
//~^ ERROR the trait bound `u32: From<&_>` is not satisfied
//~^ ERROR the trait bound `&_: Into<u32>` is not satisfied
assert_eq!(m2["cat"], "meow");
//~^ ERROR the trait bound `u32: From<&_>` is not satisfied
//~^ ERROR the trait bound `&_: Into<u32>` is not satisfied
}

0 comments on commit f466df6

Please sign in to comment.