PC1.aaa デフォルト実装は class 制約がついていないから PC0.aaa を満たせないっていうことなのか。