No matches were found for subject:"\[Bug ada\/42253\] Wrong handling of null for fat pointers forced thin by size clause"