The 13.1.2 compiler is not correctly handling type parameters in TYPE-IS statements. It blows up on lines like
type is (integer(kind(n)))
when n is a variable of type/kind known at compile time. I've attached a small example.
Thanks for the nice example - I will pass it on to the developers. Issue ID is DPD200246815.
I expect this to get fixed in an update planned for October.