From 222e9a478f7b851582550973df6a9d141766e49a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 15 Nov 2014 12:08:28 +0100 Subject: Some fixes to override checking in RefChecks. `override` was not recognized at all on types. --- src/dotty/tools/dotc/transform/SymUtils.scala | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/dotty/tools/dotc/transform/SymUtils.scala') diff --git a/src/dotty/tools/dotc/transform/SymUtils.scala b/src/dotty/tools/dotc/transform/SymUtils.scala index 449affb9e..7d485f64c 100644 --- a/src/dotty/tools/dotc/transform/SymUtils.scala +++ b/src/dotty/tools/dotc/transform/SymUtils.scala @@ -29,6 +29,9 @@ class SymUtils(val self: Symbol) extends AnyVal { def isVolatile(implicit ctx: Context) = self.hasAnnotation(defn.VolatileAnnot) + def isAnyOverride(implicit ctx: Context) = self.is(Override) || self.is(AbsOverride) + // careful: AbsOverride is a term only flag. combining with Override would catch only terms. + /** If this is a constructor, its owner: otherwise this. */ final def skipConstructor(implicit ctx: Context): Symbol = if (self.isConstructor) self.owner else self -- cgit v1.2.3