```Nim type Option*[T] = object proc point*[A](v: A, t: typedesc[Option[A]]): Option[A] = discard discard point(1, Option) ``` another regression reported by @vegansk in #5621
