No matches were found for subject:"\[Ada\] Wrong equality on untagged private type"