diff --git a/annotation/src/test/scala-2.12/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala b/annotation/src/test/scala-2.12/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala new file mode 100644 index 0000000..13abddb --- /dev/null +++ b/annotation/src/test/scala-2.12/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala @@ -0,0 +1,25 @@ +/* + * Copyright 2022 Typelevel + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package org.typelevel.scalaccompat.annotation + +object CustomUncheckedVarianceHelper { + trait Invariant[A] + trait Invariant2[A] + trait Invariant212[A] + trait Invariant213[+A] + trait Invariant3[+A] +} diff --git a/annotation/src/test/scala-2.13/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala b/annotation/src/test/scala-2.13/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala new file mode 100644 index 0000000..abf0a28 --- /dev/null +++ b/annotation/src/test/scala-2.13/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala @@ -0,0 +1,25 @@ +/* + * Copyright 2022 Typelevel + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package org.typelevel.scalaccompat.annotation + +object CustomUncheckedVarianceHelper { + trait Invariant[A] + trait Invariant2[A] + trait Invariant212[+A] + trait Invariant213[A] + trait Invariant3[+A] +} diff --git a/annotation/src/test/scala-3/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala b/annotation/src/test/scala-3/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala new file mode 100644 index 0000000..c4386d5 --- /dev/null +++ b/annotation/src/test/scala-3/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceHelper.scala @@ -0,0 +1,25 @@ +/* + * Copyright 2022 Typelevel + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package org.typelevel.scalaccompat.annotation + +object CustomUncheckedVarianceHelper { + trait Invariant[A] + trait Invariant2[+A] + trait Invariant212[+A] + trait Invariant213[+A] + trait Invariant3[A] +} diff --git a/annotation/src/test/scala/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceSuite.scala b/annotation/src/test/scala/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceSuite.scala new file mode 100644 index 0000000..f0188fc --- /dev/null +++ b/annotation/src/test/scala/org/typelevel/scalaccompat/annotation/CustomUncheckedVarianceSuite.scala @@ -0,0 +1,29 @@ +/* + * Copyright 2022 Typelevel + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package org.typelevel.scalaccompat.annotation + +import CustomUncheckedVarianceHelper._ + +object CustomUncheckedVarianceSuite { + + class Covariant[+A] extends Invariant[A @uncheckedVariance] + class Covariant2[+A] extends Invariant2[A @uncheckedVariance2] + class Covariant212[+A] extends Invariant212[A @uncheckedVariance212] + class Covariant213[+A] extends Invariant213[A @uncheckedVariance213] + class Covariant3[+A] extends Invariant3[A @uncheckedVariance3] + +}