WITH statement is not useable

[X547]

This is https://github.com/adimetrius/Herschel/commit/d429e326ad0857b768f75e5555021274427bb384.

When compiling following module, errors 85 (guarding or testing type is not an extension of variable's type) are produced, but it compiles and work fine with DevCompiler.

MODULE A;
	TYPE
		PointerMsg = RECORD
			x, y: INTEGER;
			btns: SET;
		END;
		
		KeyMsg = RECORD
			key: INTEGER;
			isDown: BOOLEAN;
		END;
	
	PROCEDURE HandleMsg (VAR msg: ANYREC);
	BEGIN
		WITH
		| msg: PointerMsg (* error 85 *) DO HALT(0)
		| msg: KeyMsg (* error 85 *) DO HALT(1)
		ELSE HALT(2) END;
	END HandleMsg;
	
END A.

[X547]

Same error with msg(PointerMsg).x := 10;.

[adimetrius]

Dynamic variables and type extension Not Implemented Yet, as mentioned in the April 2021 Update on the website.