typeof(fn()) when fn returns void should be legal

[timotheecour]

typeof(fn()) when fn returns void should be legal

Example

when true:
  proc fn = discard
  type T1 = void # ok
  type T2 = typeof(fn()) # bug: Error: expression 'fn()' has no type (or is ambiguous)

Current Output

Error: expression 'fn()' has no type (or is ambiguous)

Expected Output

works (and T2 is void)

Additional Information

devel 1.3.5 30c09e460778099633db084532672970954bb328

this causes un-necessary workarounds in generic code

[mratsim]

Duplicate: #7397

RFC: nim-lang/RFCs#508

(unless we want separate codepaths for type and typeof?)

[timotheecour]

ok; it's indeed dup of nim-lang/RFCs#508 ; however I think nim-lang/RFCs#508 can be fixed without having to do RFC nim-lang/RFCs#508

(unless we want separate codepaths for type and typeof?)

no, I didn't intend that