add sources

Author: xuwei-k

.github/workflows/ci.yml

@@ -0,0 +1,23 @@
+name: CI
+on:
+  pull_request:
+  push:
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - scala: 2.12.13
+          - scala: 2.13.4
+          - scala: 3.0.0-RC1
+          - scala: 3.0.0-RC2-bin-20210219-aa7c21e-NIGHTLY
+    steps:
+    - uses: actions/[email protected]
+    - uses: olafurpg/setup-scala@v10
+      with:
+        java-version: "[email protected]"
+    - uses: coursier/cache-action@v5
+    - run: sbt -v "++ ${{matrix.scala}}!" compile

LICENSE

@@ -0,0 +1,24 @@
+This is free and unencumbered software released into the public domain.
+
+Anyone is free to copy, modify, publish, use, compile, sell, or
+distribute this software, either in source code form or as a compiled
+binary, for any purpose, commercial or non-commercial, and by any
+means.
+
+In jurisdictions that recognize copyright laws, the author or authors
+of this software dedicate any and all copyright interest in the
+software to the public domain. We make this dedication for the benefit
+of the public at large and to the detriment of our heirs and
+successors. We intend this dedication to be an overt act of
+relinquishment in perpetuity of all present and future rights to this
+software under copyright law.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
+OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
+ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+OTHER DEALINGS IN THE SOFTWARE.
+
+For more information, please refer to <http://unlicense.org>

README.md

@@ -0,0 +1 @@
+scalaVersion := "3.0.0-RC1"

build.sbt

@@ -0,0 +1 @@
+sbt.version=1.4.7

project/build.properties

@@ -0,0 +1 @@
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.5.3")

project/plugins.sbt

@@ -0,0 +1,13 @@
+import static java.lang.annotation.ElementType.TYPE_USE;
+import static java.lang.annotation.RetentionPolicy.RUNTIME;
+import java.lang.annotation.Target;
+import java.lang.annotation.Retention;
+import java.util.List;
+
+@Target({ TYPE_USE })
+@Retention(RUNTIME)
+@interface NotNull {}
+
+interface A {
+  public List<@NotNull String> x();
+}

src/main/scala/A.java

@@ -0,0 +1 @@
+class B