Details

    • Type: Bug
    • Status: CLOSED
    • Priority: Major
    • Resolution: Won't Fix
    • Affects Version/s: macro-paradise
    • Fix Version/s: None
    • Component/s: Macros
    • Labels:
      None

      Description

      Case 1:

      def foo(x: _, y: Int) = macro impl
      def impl(c: Context)(x: c.Tree, y: c.Tree) = ...
      

      Case 2:

      def bar(x: _) = macro impl
      def impl(c: Context)(x: c.Expr[Int]) = ...
      

      In both of these cases, typer could do its best to provide better-than-nothing type-safety guarantees. This of course entails various type inference stuff, which would be too much of an effort now.

        Attachments

          Activity

            People

            • Assignee:
              burmako Eugene Burmako
              Reporter:
              burmako Eugene Burmako
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: