1-- { dg-do compile } 2 3with Part_Of1.Private_Generic; 4 5package body Part_Of1.Instantiation 6with 7 Refined_State => (State => Inst.State) 8is 9 package Inst is new Part_Of1.Private_Generic; 10end Part_Of1.Instantiation; 11
1-- { dg-do compile } 2 3with Part_Of1.Private_Generic; 4 5package body Part_Of1.Instantiation 6with 7 Refined_State => (State => Inst.State) 8is 9 package Inst is new Part_Of1.Private_Generic; 10end Part_Of1.Instantiation; 11