From 6caaf7e7073ffad2271b17a496426b702b49962a Mon Sep 17 00:00:00 2001 From: Mattia Giambirtone Date: Mon, 5 Dec 2022 12:13:21 +0100 Subject: [PATCH] Added error handling for using auto in a generic constraint --- src/frontend/compiler.nim | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/frontend/compiler.nim b/src/frontend/compiler.nim index e42dff8..070ca77 100644 --- a/src/frontend/compiler.nim +++ b/src/frontend/compiler.nim @@ -1431,6 +1431,8 @@ proc unpackGenerics(self: Compiler, condition: Expression, list: var seq[tuple[m case condition.kind: of identExpr: list.add((accept, self.inferOrError(condition))) + if list[^1].kind.kind == Auto: + self.error("automatic types cannot be used within generics", condition) of binaryExpr: let condition = BinaryExpr(condition) case condition.operator.lexeme: