summaryrefslogtreecommitdiff
path: root/test/files/run/class-symbol-contravariant.check
blob: 1d95273b50f491c48cd4da1ad1a96700f6df580c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
scala> :power
** Power User mode enabled - BEEP WHIR GYVE **
** :phase has been set to 'typer'.          **
** scala.tools.nsc._ has been imported      **
** global._, definitions._ also imported    **
** Try  :help, :vals, power.<tab>           **

scala> val u = rootMirror.universe
u: $r.intp.global.type = <global>

scala> import u._, scala.reflect.internal.Flags
import u._
import scala.reflect.internal.Flags

scala> class C
defined class C

scala> val sym = u.typeOf[C].typeSymbol
sym: u.Symbol = class C

scala> sym.isContravariant
res0: Boolean = false

scala> sym setFlag Flags.INCONSTRUCTOR
res1: sym.type = class C

scala> sym.isClassLocalToConstructor
res2: Boolean = true

scala> sym.isContravariant // was true
res3: Boolean = false

scala> :quit