Skip to content

Instantly share code, notes, and snippets.

@knightpop
Created September 9, 2017 18:06
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 knightpop/d11394870436f6ab9fe03a136913fb95 to your computer and use it in GitHub Desktop.
Save knightpop/d11394870436f6ab9fe03a136913fb95 to your computer and use it in GitHub Desktop.
def getId(userId: UserId): Long = userId + 1
def getId(deviceUuid: DeviceUuid): Long = deviceUuid + 2 // Not Compiled because tagged type erased after compile
def getId(carSerialId: CarSerialId): Long = carSerialId + 3 // Not Compiled because tagged type erased after compile
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment