[Bug ada/84142] Implicit_Dereference with Generic Formal Incomplete Types

[simon at pushface dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84142

--- Comment #3 from simon at pushface dot org ---
All three test cases compile OK with 8.1.0.