Some typedesc don't work as ref object field types

[dawkot]

Example

import macros

macro foo(T: type): type =
  nnkBracketExpr.newTree(bindSym "array", newLit 1, T)

var
  _: foo(int) # fine

type
  Foo = object
    x: foo(int) # fine

  Bar = ref object
    x: foo(int) # error

Current Output

/usercode/in.nim(14, 11) Error: type mismatch: got <int>
but expected one of: 
macro foo(T: type): type
  first type mismatch at position: 1
  required type for T: typedesc
  but expression 'int' is of type: int

expression: foo(int)

Additional Information

• If T in the nnkBracketExpr is replaced with bindSym "int" the code compiles, so it's not just about the macro parameter existing

$ nim -v
Nim Compiler Version 1.0.2 [Windows: amd64]
Compiled at 2019-10-22

[dawkot]

If it's of any help, this compiles

template foo(T: type): type = array[1, T]

type Bar = ref object
  x: foo(int)

static:
  assert Bar.x is array[1, int]

[krux02]

import macros

macro foo(t: type): untyped =
  # you think you get the type `int`
  echo t.lispRepr # (Sym "int"), looks legit But nope, you don't get
  # `int`. You get a shitty typedesc object that disguises as `int`,
  # but isn't `int`. The type of that object is `typedesc[int]`. You
  # can see that here:
  var typ = t.getTypeInst
  echo typ.lispRepr # (BracketExpr (Sym "typeDesc") (Sym "int"))
  # strip shitty typedesc.
  typ = typ[1]
  # now it works
  nnkBracketExpr.newTree(bindSym "array", newLit 1, typ)

var
  _: foo(int) # fine

type
  Foo = object
    x: foo(int) # fine

  Bar = ref object
    x: foo(int) # error

@zah This is one of many reason why I hate typedesc with passion. It is a constant source of trouble, misguidance and non-working.

[metagn]

Given example compiles in 2.0