Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
interface5.ads
blob: e1bd0bac2a86cfbabb287ecf800e360e7bbd960d [
file
] [
log
] [
blame
]
package
interface5
is
type B
is
tagged
null
record
;
type I
is
interface
;
function
F
(
Object
:
I
)
return
access I
is
abstract
;
type
Child
is
new
B
and
I
with
null
record
;
function
F
(
Object
:
Child
)
return
access
Child
;
end
interface5
;