Skip to content

Instantly share code, notes, and snippets.

@qingwei91
Created March 14, 2019 20:35
Show Gist options
  • Select an option

  • Save qingwei91/407991803d273e39bf5c8ef8482909fc to your computer and use it in GitHub Desktop.

Select an option

Save qingwei91/407991803d273e39bf5c8ef8482909fc to your computer and use it in GitHub Desktop.
def typeMatch[A, B](a: A, b: B)(implicit eq: A=:=B) = ()
val queryString = QueryPath("my", QueryString)
val queryNestedString = QueryPath("my", QueryPath("oh", QueryString))
typeMatch(queryString, queryNestedString) // compiles
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment