     @savedScopes[closedScope.index] =
       parent: @currentScopeIndex()
       definitions: cloneMap closedScope
+      deferredConstraints: closedScope.deferredConstraints
       boundTypeVariables: closedScope.boundTypeVariables
 
   currentScopeIndex: ->

  currentDeclarations: ->
    cloneMap @_scope()

  assignType: (name, type) ->
    @assignTypeTo name, (@_declarationInCurrentScope name), type


      else
        toForAll currentType
  ctx.declareAsFinal name, scopeIndex
  return deferredConstraints or []

# Old comment:
# here I will create type schemes for all definitions
