Merge pull request #8246 from dotty-staging/add-missing-assertion

anatoliykmetyuk · web-flow · commit abaf47e0b919 · 2020-02-07T18:58:04.000+01:00
Add missing assertion for macros
diff --git a/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala b/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala
@@ -81,6 +81,7 @@ trait QuotesAndSplices {
           if (c.owner eq c.outer.owner) markAsMacro(c.outer)
           else if (c.owner.isInlineMethod) c.owner.setFlag(Macro)
           else if (!c.outer.owner.is(Package)) markAsMacro(c.outer)
+          else assert(false) // Did not find inline def to mark as macro
         markAsMacro(ctx)
       }
       typedApply(untpd.Apply(untpd.ref(defn.InternalQuoted_exprSplice.termRef), tree.expr), pt)(spliceContext).withSpan(tree.span)

Original file line number	Diff line number	Diff line change
`@@ -81,6 +81,7 @@ trait QuotesAndSplices {`
`81`	`81`	`if (c.owner eq c.outer.owner) markAsMacro(c.outer)`
`82`	`82`	`else if (c.owner.isInlineMethod) c.owner.setFlag(Macro)`
`83`	`83`	`else if (!c.outer.owner.is(Package)) markAsMacro(c.outer)`
	`84`	`+ else assert(false) // Did not find inline def to mark as macro`
`84`	`85`	`markAsMacro(ctx)`
`85`	`86`	`}`
`86`	`87`	`typedApply(untpd.Apply(untpd.ref(defn.InternalQuoted_exprSplice.termRef), tree.expr), pt)(spliceContext).withSpan(tree.span)`