Skip to content

Instantly share code, notes, and snippets.

@rust-play

rust-play/playground.rs

Last active September 20, 2019 20:50
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/ba71282ddfbfa96555c264c13e0dae03 to your computer and use it in GitHub Desktop.
Save rust-play/ba71282ddfbfa96555c264c13e0dae03 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 {}
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