diff --git a/concat/typecheck/__init__.py b/concat/typecheck/__init__.py index 3c94543..70f2581 100644 --- a/concat/typecheck/__init__.py +++ b/concat/typecheck/__init__.py @@ -903,7 +903,7 @@ def to_type(self, env: Environment) -> Tuple[Type, Environment]: if self._name is not None: env[self._name] = ty return ty, env - elif self._name is not None: + if self._name is not None: ty = env[self._name] if not (ty.kind <= ItemKind): raise TypeError(