aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools')
-rw-r--r--src/dotty/tools/dotc/core/Types.scala5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 5904160f5..3100be9a0 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -622,6 +622,10 @@ object Types {
*/
def stripTypeVar(implicit ctx: Context): Type = this
+ /** Remove all AnnotatedTypes wrapping this type.
+ */
+ def stripAnnots(implicit ctx: Context): Type = this
+
/** Widen from singleton type to its underlying non-singleton
* base type by applying one or more `underlying` dereferences,
* Also go from => T to T.
@@ -2506,6 +2510,7 @@ object Types {
else AnnotatedType(annot, tpe)
override def stripTypeVar(implicit ctx: Context): Type = tpe.stripTypeVar
+ override def stripAnnots(implicit ctx: Context): Type = tpe.stripAnnots
}
object AnnotatedType {