generated at
型推論