testsuite/gnat.dg/aspect2.adb

--  { dg-do compile }

package body Aspect2 is
    procedure Foo is null;
end Aspect2;