diff --git a/compiler/liftdestructors.nim b/compiler/liftdestructors.nim index 8a367f32b2..c778b04714 100644 --- a/compiler/liftdestructors.nim +++ b/compiler/liftdestructors.nim @@ -469,7 +469,8 @@ proc liftBodyAux(c: var TLiftCtx; t: PType; body, x, y: PNode) = tyUserTypeClassInst, tyCompositeTypeClass, tyAnd, tyOr, tyNot, tyAnything, tyGenericParam, tyGenericBody, tyNil, tyExpr, tyStmt, tyTypeDesc, tyGenericInvocation, tyForward: - internalError(c.graph.config, c.info, "assignment requested for type: " & typeToString(t)) + #internalError(c.graph.config, c.info, "assignment requested for type: " & typeToString(t)) + discard of tyOrdinal, tyRange, tyInferred, tyGenericInst, tyStatic, tyVar, tyLent, tyAlias, tySink: liftBodyAux(c, lastSon(t), body, x, y) diff --git a/tests/concepts/tconcepts_issues.nim b/tests/concepts/tconcepts_issues.nim index df4037ffb8..53076e142e 100644 --- a/tests/concepts/tconcepts_issues.nim +++ b/tests/concepts/tconcepts_issues.nim @@ -28,6 +28,7 @@ true -1 Meow ''' +joinable: false """ import macros, typetraits, os, posix diff --git a/tests/concepts/tvectorspace.nim b/tests/concepts/tvectorspace.nim index 74423e0d25..7a18c1762b 100644 --- a/tests/concepts/tvectorspace.nim +++ b/tests/concepts/tvectorspace.nim @@ -1,3 +1,7 @@ +discard """ + joinable: false +""" + type VectorSpace[K] = concept x, y x + y is type(x) zero(type(x)) is type(x)