RESULT designator not assignable oor basic types in the oberon code
MODULE Test;
PROCEDURE P0(): SIZE;
BEGIN
RESULT := 1; (* forbidden access to result designator / integer value cannot be converted *)
RETURN RESULT; (* OK *)
END P0;
END Test.
(from redmine: issue id 96, created on 2020-01-21 by root)