/* should not generate diagnostics */ <> Pass Pass Pass Pass Pass Pass Pass implicit role Pass ;