Skip to content

Commit 3560d65

Browse files
committed
Add regression test
Closes #9685
1 parent 4e41a4c commit 3560d65

File tree

3 files changed

+20
-0
lines changed

3 files changed

+20
-0
lines changed

tests/neg-macros/i9685.check

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
2+
-- [E008] Not Found Error: tests/neg-macros/i9685/Test_2.scala:3:4 -----------------------------------------------------
3+
3 | 1.asdf // error
4+
| ^^^^^^
5+
| value asdf is not a member of Int

tests/neg-macros/i9685/Macros_1.scala

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
import scala.language.implicitConversions
2+
3+
class Clue[+T](val value: T)
4+
5+
object Clue {
6+
import scala.quoted._
7+
8+
inline implicit def generate[T](value: T): Clue[T] = ${ clueImpl('value) }
9+
10+
def clueImpl[T:Type](value: Expr[T])(using Quotes): Expr[Clue[T]] = '{ new Clue($value) }
11+
}

tests/neg-macros/i9685/Test_2.scala

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
object Main {
2+
def toClue[A](a: A): Clue[A] = Clue.generate(a)
3+
1.asdf // error
4+
}

0 commit comments

Comments
 (0)