diff options
| -rw-r--r-- | src/dotty/tools/dotc/ast/tpd.scala | 1 | ||||
| -rw-r--r-- | src/dotty/tools/dotc/core/Symbols.scala | 10 |
2 files changed, 10 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/tpd.scala b/src/dotty/tools/dotc/ast/tpd.scala index a8da15bd7..8b9e0c12e 100644 --- a/src/dotty/tools/dotc/ast/tpd.scala +++ b/src/dotty/tools/dotc/ast/tpd.scala @@ -8,6 +8,7 @@ import SymDenotations._, Symbols._, StdNames._, Annotations._, Trees._ import CheckTrees._, Denotations._ import config.Printers._ +/** Some creators for typed trees */ object tpd extends Trees.Instance[Type] with TypedTreeInfo { def Modifiers(sym: Symbol)(implicit ctx: Context): Modifiers = Modifiers( diff --git a/src/dotty/tools/dotc/core/Symbols.scala b/src/dotty/tools/dotc/core/Symbols.scala index 4aa1ef94d..35ab8419e 100644 --- a/src/dotty/tools/dotc/core/Symbols.scala +++ b/src/dotty/tools/dotc/core/Symbols.scala @@ -203,7 +203,15 @@ trait Symbols { this: Context => stub } - /** Create the local template dummy of given class `cls`. */ + /** Create the local template dummy of given class `cls`. + * In a template + * + * trait T { val fld: Int; { val x: int = 2 }; val fld2 = { val y = 2; y }} + * + * the owner of `x` is the local dummy of the template. The owner of the local + * dummy is then the class of the template itself. By contrast, the owner of `y` + * would be `fld2`. There is a single local dummy per template. + */ def newLocalDummy(cls: Symbol, coord: Coord = NoCoord) = newSymbol(cls, nme.localDummyName(cls), EmptyFlags, NoType) |