nitg: Corrected bug when creating a new AVarExpr, uses the last inferred type instead...

[nit.git] / src / typing.nit

diff --git a/src/typing.nit b/src/typing.nit
index 24eafb1..c760c74 100644 (file)
--- a/src/typing.nit
+++ b/src/typing.nit
@@ -696,6 +696,8 @@ redef class AVarReassignExpr
                var readtype = v.get_variable(self, variable)
                if readtype == null then return
 
+               read_type = readtype
+
                var writetype = variable.declared_type
                if writetype == null then return
 
@@ -1526,6 +1528,14 @@ redef class ANewExpr
                                v.error(self, "Type error: cannot instantiate the formal type {recvtype}.")
                                return
                        end
+               else
+                       if recvtype.mclass.kind == abstract_kind then
+                               v.error(self, "Cannot instantiate abstract class {recvtype}.")
+                               return
+                       else if recvtype.mclass.kind == interface_kind then
+                               v.error(self, "Cannot instantiate interface {recvtype}.")
+                               return
+                       end
                end
 
                var name: String