Remove dead code

nicolasstucki · nicolasstucki · commit 7aeb0fd7c563 · 2020-01-10T09:30:45.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -457,8 +457,7 @@ object Checking {
         sym.setFlag(Private) // break the overriding relationship by making sym Private
       }
     if (sym.is(Erased))
-      if ctx.settings.YerasedTerms.value || sym == defn.Compiletime_erasedValue then checkApplicable(Erased, !sym.isOneOf(MutableOrLazy))
-      else fail("cannot use `erased` without " + ctx.settings.YerasedTerms.name)
+      checkApplicable(Erased, !sym.isOneOf(MutableOrLazy))
   }
 
   /** Check the type signature of the symbol `M` defined by `tree` does not refer

Original file line number	Diff line number	Diff line change
`@@ -457,8 +457,7 @@ object Checking {`
`457`	`457`	`sym.setFlag(Private) // break the overriding relationship by making sym Private`
`458`	`458`	`}`
`459`	`459`	`if (sym.is(Erased))`
`460`		`- if ctx.settings.YerasedTerms.value \|\| sym == defn.Compiletime_erasedValue then checkApplicable(Erased, !sym.isOneOf(MutableOrLazy))`
`461`		- else fail("cannot use `erased` without " + ctx.settings.YerasedTerms.name)
	`460`	`+ checkApplicable(Erased, !sym.isOneOf(MutableOrLazy))`
`462`	`461`	`}`
`463`	`462`
`464`	`463`	/** Check the type signature of the symbol `M` defined by `tree` does not refer