False error message: The second parameter must be an `out' value parameter for attribute `prototype(backtrack)' instead of `inout' value parameter

Summary

The -Y compiler switch produces invalid compilation error

Steps and/or TTCN-3 code to reproduce

module proba {

external function enc_fast(in integer pdu, out octetstring stream)
with { extension "prototype(fast)" extension "encode(RAW)" }

external function dec_backtrack(in octetstring stream, out integer pdu) return integer
with { extension "prototype(backtrack)" extension "decode(RAW)" }


} with {
 encode "RAW"
}

compiler -L -Y proba.ttcn 
Notify: Parsing TTCN-3 module `proba.ttcn'...
Notify: Checking modules...
proba.ttcn: In TTCN-3 module `proba':
 proba.ttcn:3.1-66: In external function definition `enc_fast':
  proba.ttcn:3.44-65: error: The second parameter must be an `out' value parameter for attribute `prototype(fast)' instead of `inout' value parameter
 proba.ttcn:6.1-86: In external function definition `dec_backtrack':
  proba.ttcn:6.56-70: error: The second parameter must be an `out' value parameter for attribute `prototype(backtrack)' instead of `inout' value parameter
Notify: Errors found in the input module. Code will not be generated.

Titan version

git head

TTCN-3 and ASN.1 Compiler for the TTCN-3 Test Executor Version: 10.1.2 Build date: Nov 4 2024 08:47:11 Compiled with: GCC 13.2.0 Using OpenSSL 3.0.13 30 Jan 2024 Commit id: 7fa0cbf1

Platform details (OS type and version)

(OS type/distribution and version, e.g. Ubuntu 18.04, Windows 10+Cygwin)

/cc @aknappqwt @mmagyari