generated at
派生型