X-Git-Url: http://nitlanguage.org

diff --git a/src/semantize/typing.nit b/src/semantize/typing.nit
index 10edaf1..9676168 100644
--- a/src/semantize/typing.nit
+++ b/src/semantize/typing.nit
@@ -760,15 +760,15 @@ redef class AAttrPropdef
 	do
 		if not has_value then return
 
-		var mpropdef = self.mpropdef
-		if mpropdef == null then return # skip error
+		var mpropdef = self.mreadpropdef
+		if mpropdef == null or mpropdef.msignature == null then return # skip error
 
 		var v = new TypeVisitor(modelbuilder, mpropdef.mclassdef.mmodule, mpropdef)
 		self.selfvariable = v.selfvariable
 
 		var nexpr = self.n_expr
 		if nexpr != null then
-			var mtype = self.mpropdef.static_mtype
+			var mtype = self.mtype
 			v.visit_expr_subtype(nexpr, mtype)
 		end
 		var nblock = self.n_block
@@ -1344,6 +1344,15 @@ redef class AIntExpr
 	end
 end
 
+redef class AByteExpr
+	redef fun accept_typing(v)
+	do
+		var mclass = v.get_mclass(self, "Byte")
+		if mclass == null then return # Forward error
+		self.mtype = mclass.mclass_type
+	end
+end
+
 redef class AFloatExpr
 	redef fun accept_typing(v)
 	do