git-issue-4946a.dfy(7,5): Error: base type of subset type 'Program' is not fully determined; add an explicit type for bound variable 'ProgramTrait'
1 resolution/type errors detected in git-issue-4946a.dfy
