Unintuitive meaning of some recursive type aliases

[Sporarum]

@LPTK

type NestedSet1[A] = A match
  case Nothing => Nothing // used to turn of the cycle detector...
  case String => Set[NestedSet1[A]]

type S = NestedSet1[String]

After some testing, the following doesn’t work:

type NestedSet1[A] = A match
  case String => Nothing // used to turn of the cycle detector...
  case Nothing => Set[NestedSet1[A]]

type S = NestedSet1[Nothing]

This is really weird behavior ^^’
on scastie:

Scastie - An interactive playground for Scala.