Skip to content

Instantly share code, notes, and snippets.

@andresilva
Created September 10, 2013 13:13
Show Gist options
  • Save andresilva/6509211 to your computer and use it in GitHub Desktop.
Save andresilva/6509211 to your computer and use it in GitHub Desktop.
trait Bar[In <: HList, Out <: HList]
class Foo[T](implicit gen: Generic[T]) {
def apply[L <: HList](implicit bar: Bar[L, gen.Repr]) = null
}
// error: type arguments [L,Foo.this.gen.Repr] do not conform to trait Bar's type parameter bounds [In <: shapeless.HList,Out <: shapeless.HList]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment