Implement Associated Types.

[najamelan]

This implements the associated types of a trait on the blanket impls. Eg:

#[blanket(derive(Rc))]
trait MyTrait { type Return; }

// will generate
impl<MT: MyTrait> MyTrait for Rc<MT>
{
   type Return = <MT as MyTrait>::Return;
}

As before, this is rebased on top of the other PR's, #3, #4, #5. You might want to merge them first.

[najamelan]

Actually it seems we also need to copy over attributes. I will need to work on this one still.

[najamelan]

Ok now it copies over attributes. This avoids duplicate types with code like:

#[cfg(target_arch="wasm32")]
type Return;
#[cfg(not(target_arch="wasm32"))]
type Return: Send; 

[codecov]

Codecov Report

Merging #6 (46cb082) into master (c22888f) will increase coverage by 4.53%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master       #6      +/-   ##
==========================================
+ Coverage   78.18%   82.72%   +4.53%     
==========================================
  Files           9        9              
  Lines         495      625     +130     
==========================================
+ Hits          387      517     +130     
  Misses        108      108              

Impacted Files	Coverage Δ
src/derive/arc.rs	100.00% <100.00%> (ø)
src/derive/box.rs	100.00% <100.00%> (ø)
src/derive/mut.rs	100.00% <100.00%> (ø)
src/derive/rc.rs	100.00% <100.00%> (ø)
src/derive/ref.rs	100.00% <100.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c22888f...46cb082. Read the comment docs.

[althonos]

That was the last! I'll make a new release with all the changes you implemented. Thanks again!

[najamelan]

That was the last! I'll make a new release with all the changes you implemented. Thanks again!

Awesome, glad it worked in the end. Will use in async_executors. We expose like 8 traits that are meant to be used as bounds, so blanket is a relief.

ps: as some feedback, I think it would be possible to eliminate most of the redundancy, as derive is almost identical for all receivers. Either by factoring it out in functions of by generating it with a macro. It would make maintaining and updating the crate a lot less tedious I think.

[althonos]

@najamelan : Wonderful! Don't hesitate to ping me if something breaks.

I think it would be possible to eliminate most of the redundancy, as derive is almost identical for all receivers.

I agree, but I wanted to know where the code was going before building extra abstractions on top of it 😅 I'll see when I add the two last features I want to implementd (support for Cow with any lifetime, and support for unsized types in Box derive) how much I can refactor there.