Star 0
Fork 0

aturon/worse.rs Secret
Created Jan 28, 2017

Raw

      
        // Crate A ////////////
      
        trait A {}
      
        trait B {}
      
        // impl we want to add
      
        impl<T: A> B for T {}
      
        trait Assoc {
      
          type Out;
      
        }
      
        impl<T> Assoc for T where T: A+B {
      
          type Out = bool;
      
        }
      
        // Crate B /////////
      
        struct Foo;
      
        impl A for Foo {}
      
        impl Assoc for Foo {
      
          type Out = ();
      
        }

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

You can’t perform that action at this time.