This patch fixes a compiler abort on a call to a function that returns a
limited view of a type. The following sources must compile quietly:
limited with Root;
package Api is
type Object is tagged null record;
function Is_Present (Name : in String) return Boolean;
function Get (Name :
This patch fixes a compiler abort on a call that is initially overloaded,
when the resolved function returns the limited view of a type.
The folllowing must compile quietly:
gcc -c p.adb
---
with R;
package body P is
function Get (A : Q.Ptr) return Integer is
begin
return
