diff options
| author | Jason Beetham <beefers331@gmail.com> | 2024-05-23 12:15:20 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-23 20:15:20 +0200 |
| commit | d837d32fd571eb701b380f68c88231ff08ee124a (patch) | |
| tree | 735b8cbfee53f27b56849375d2ac0f3d760fa178 /compiler | |
| parent | 6cd03bae2929dfd3f88008f49d0624942ef8d558 (diff) | |
| download | Nim-d837d32fd571eb701b380f68c88231ff08ee124a.tar.gz | |
Skip tyAlias inside semTypeTraits in case a concept accidently emits one (#23640)
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/semmagic.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/semmagic.nim b/compiler/semmagic.nim index 8db62a9c8..c3c032147 100644 --- a/compiler/semmagic.nim +++ b/compiler/semmagic.nim @@ -237,7 +237,7 @@ proc evalTypeTrait(c: PContext; traitCall: PNode, operand: PType, context: PSym) proc semTypeTraits(c: PContext, n: PNode): PNode = checkMinSonsLen(n, 2, c.config) let t = n[1].typ - internalAssert c.config, t != nil and t.kind == tyTypeDesc + internalAssert c.config, t != nil and t.skipTypes({tyAlias}).kind == tyTypeDesc if t.len > 0: # This is either a type known to sem or a typedesc # param to a regular proc (again, known at instantiation) |