// shouldn't result in a verify error when run...objectTestextendsdotty.runtime.LegacyApp{@annotation.tailrecfinaldeftest(meh:Boolean):Boolean={Some("a")match{casex=>xmatch{caseSome(_)=>if(meh)test(false)elsefalsecase_=>test(false)}}}println(test(true))}