@annotation.implicitNotFound("there is no Missing!") trait Missing inline def summonMissing = compiletime.summonFrom { case m: Missing => m } inline def summonMissing2 = compiletime.summonInline[Missing] val x = summonMissing val y = summonMissing2

-- Error: ---------------------------------------------------------------------- 8 |val x = summonMissing | ^^^^^^^^^^^^^ | cannot reduce summonFrom with | patterns : case given m @ _:Missing |----------------------------------------------------------------------------- |Inline stack trace |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |This location contains code that was inlined from rs$line$1:4 4 |inline def summonMissing = compiletime.summonFrom { | ^ 5 | case m: Missing => m 6 |} ----------------------------------------------------------------------------- 1 error found

-- [E172] Type Error: ---------------------------------------------------------- 9 |val y = summonMissing2 | ^^^^^^^^^^^^^^ | there is no Missing! |----------------------------------------------------------------------------- |Inline stack trace |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |This location contains code that was inlined from rs$line$1:7 7 |inline def summonMissing2 = compiletime.summonInline[Missing] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ----------------------------------------------------------------------------- 2 errors found