如何在Slick中显式指定AutoInc列的值

import slick.jdbc.MySQLProfile.api._

// 定义一个表示表结构的case class
case class User(id: Option[Int], name: String)

// 定义一个表示表的对象
class Users(tag: Tag) extends Table[User](tag, "users") {
  def id = column[Int]("id", O.PrimaryKey, O.AutoInc)
  def name = column[String]("name")
  
  def * = (id.?, name) <> (User.tupled, User.unapply)
}

// 创建表对象的实例
val users = TableQuery[Users]

// 创建数据库连接
val db = Database.forConfig("mydb")

// 定义一个插入操作，并使用returning方法获取自增值
val insertAction = users returning users.map(_.id) into ((user, id) => user.copy(id = Some(id))) += User(None, "John")

// 执行插入操作并获取结果
val result = db.run(insertAction)

// 处理结果
result.onComplete {
  case Success(insertedUser) => println("Inserted user with id: " + insertedUser.id)
  case Failure(ex) => println("Failed to insert user: " + ex.getMessage)
}