Assigning Format(SomeVariable) and StrSubstNo(SomeVariable, ...) to a Text variable with limited (maximum) length does not raise a warning about a possible overflow

[rvanbekkum]

The following code does not raise a warning about a possible overflow:

    local procedure MyProcedure()
    var
        MyLimitedString: Text[3];
    begin
        MyLimitedString := Format(12345);
        MyLimitedString := StrSubstNo('%1', 12345);
    end;

I suspect this could be deliberately skipped by AA0139, but nonetheless it could lead to quite some problems.
Is this a candidate for a new LinterCop codeanalyzer rule?