We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e4b8fce commit 50c0c72Copy full SHA for 50c0c72
src/dotty/tools/dotc/core/TypeOps.scala
@@ -36,7 +36,7 @@ trait TypeOps { this: Context => // TODO: Make standalone object.
36
* Instead we produce an annotated type that marks the prefix as unsafe:
37
*
38
* (x: (C @ UnsafeNonvariant)#T)C#T
39
-
+ *
40
* We also set a global state flag `unsafeNonvariant` to the current run.
41
* When typing a Select node, typer will check that flag, and if it
42
* points to the current run will scan the result type of the select for
0 commit comments