Skip to content

Instantly share code, notes, and snippets.

@rust-play

rust-play/playground.rs

Created September 20, 2019 20:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rust-play/64b3b6f8d8bc78c94ea81ae895d32abe to your computer and use it in GitHub Desktop.
Save rust-play/64b3b6f8d8bc78c94ea81ae895d32abe to your computer and use it in GitHub Desktop.
Download ZIP
Code shared from the Rust Playground
Raw
playground.rs
#![feature(const_generics)]
trait Foo {
const A: usize;
}
trait Aux<const A: usize> {}
impl<T: Foo> Aux<{ <T as Foo>::A }> for T where T: Foo {}
trait Trait {}
impl<T> Trait for T where T: Aux<{ 2 }> {}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment