Update Scala Native to 0.5.3 (#617)

.gitignore

@@ -21,5 +21,12 @@ docs/_site
 *.sublime-project
 *.sublime-workspace
 
+# VSCode
+/.vscode/
+
+# Metals
+/.bsp/
+/project/**/metals.sbt
+
 # emacs
 TAGS

build.sbt

@@ -42,7 +42,7 @@ lazy val core = crossProject(JSPlatform, JVMPlatform, NativePlatform)
     name := "paiges-core",
     moduleName := "paiges-core",
     libraryDependencies ++= Seq(
-      "org.scalatestplus" %%% "scalacheck-1-16" % "3.2.14.0" % Test,
+      "org.scalatestplus" %%% "scalacheck-1-18" % "3.2.18.0" % Test,
       "org.scalatest" %%% "scalatest-funsuite" % "3.2.18" % Test
     ),
     // TODO: 2.13 has warnings for using Stream, but scalacheck Shrink
@@ -74,9 +74,9 @@ lazy val cats = crossProject(JSPlatform, JVMPlatform, NativePlatform)
     name := "paiges-cats",
     moduleName := "paiges-cats",
     libraryDependencies ++= Seq(
-      "org.typelevel" %%% "cats-core" % "2.10.0",
-      "org.typelevel" %%% "cats-laws" % "2.10.0" % Test,
-      "org.typelevel" %%% "discipline-scalatest" % "2.2.0" % Test
+      "org.typelevel" %%% "cats-core" % "2.12.0",
+      "org.typelevel" %%% "cats-laws" % "2.12.0" % Test,
+      "org.typelevel" %%% "discipline-scalatest" % "2.3.0" % Test
     )
   )
   .disablePlugins(JmhPlugin)
@@ -131,6 +131,6 @@ lazy val commonJsSettings = Seq(
 
 lazy val commonNativeSettings = Seq(
   // Remove when native is published for the default previous versions
-  tlVersionIntroduced := List("2.12", "2.13").map(_ -> "0.4.1").toMap + ("3" -> "0.4.3"),
+  tlVersionIntroduced := List("2.12", "2.13", "3").map(_ -> "0.5.0").toMap,
   coverageEnabled := false
 )

project/plugins.sbt

@@ -1,6 +1,6 @@
 addSbtPlugin("org.portable-scala" % "sbt-scala-native-crossproject" % "1.3.2")
 addSbtPlugin("org.scala-js" % "sbt-scalajs" % "1.16.0")
-addSbtPlugin("org.scala-native" % "sbt-scala-native" % "0.4.17")
+addSbtPlugin("org.scala-native" % "sbt-scala-native" % "0.5.3")
 addSbtPlugin("org.scalameta" % "sbt-mdoc" % "2.3.8")
 addSbtPlugin("org.scalameta" % "sbt-scalafmt" % "2.5.2")
 addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.0.11")