Add suggested doc comment

odersky · odersky · commit 643c616639ad · 2019-12-14T13:49:05.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala b/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala
@@ -862,7 +862,9 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] =>
     }
   }
 
-  /** Extractor for not-null assertions */
+  /** Extractor for not-null assertions.
+   *  A not-null assertion for reference `x` has the form `x.$asInstanceOf$[x.type & T]`.
+   */
   object AssertNotNull with
     def apply(tree: tpd.Tree, tpnn: Type)(given Context): tpd.Tree =
       tree.select(defn.Any_typeCast).appliedToType(AndType(tree.tpe, tpnn))

Original file line number	Diff line number	Diff line change
`@@ -862,7 +862,9 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] =>`
`862`	`862`	`}`
`863`	`863`	`}`
`864`	`864`
`865`		`- /** Extractor for not-null assertions */`
	`865`	`+ /** Extractor for not-null assertions.`
	`866`	+ * A not-null assertion for reference `x` has the form `x.$asInstanceOf$[x.type & T]`.
	`867`	`+ */`
`866`	`868`	`object AssertNotNull with`
`867`	`869`	`def apply(tree: tpd.Tree, tpnn: Type)(given Context): tpd.Tree =`
`868`	`870`	`tree.select(defn.Any_typeCast).appliedToType(AndType(tree.tpe, tpnn))`