mirror of
https://github.com/nim-lang/Nim.git
synced 2026-02-12 22:33:49 +00:00
94f7e9683f
#23032 --------- Co-authored-by: Nikolay Nikolov <nickysn@gmail.com> Co-authored-by: Pylgos <43234674+Pylgos@users.noreply.github.com> Co-authored-by: Andreas Rumpf <rumpf_a@web.de> Co-authored-by: ringabout <43030857+ringabout@users.noreply.github.com> Co-authored-by: Jason Beetham <beefers331@gmail.com>
14 lines
286 B
Nim
14 lines
286 B
Nim
discard """
|
|
action: "run"
|
|
outputsub: "proc (a: A[system.float]): bool{.noSideEffect, gcsafe.}"
|
|
"""
|
|
|
|
import issue_23032/deep_scope
|
|
|
|
proc foo(a: A[float]):bool = true
|
|
|
|
let p: proc = foo
|
|
echo p.typeof
|
|
doAssert p(A[float]()) == true
|
|
doAssert compiles(doAssert p(A[int]()) == true) == false
|