# Evaluate and set the default value of the attribute in `recv`
	private fun init_expr(v: NaiveInterpreter, recv: Instance)
	do
		if is_lazy or is_optional then return
		if has_value then
			var f = v.new_frame(self, mreadpropdef.as(not null), [recv])
			evaluate_expr(v, recv, f)
			return
		end
		var mpropdef = self.mpropdef
		if mpropdef == null then return
		var mtype = self.mtype.as(not null)
		mtype = mtype.anchor_to(v.mainmodule, recv.mtype.as(MClassType))
		if mtype isa MNullableType then
			v.write_attribute(self.mpropdef.mproperty, recv, v.null_instance)
		end
	end