diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-17 17:39:55 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-05-17 17:39:55 +0200 |
commit | d5147288df4cc05ac4d761bd0e451f724c474ae1 (patch) | |
tree | b2135b22adb44929fe8f4499665c0099432b9c0b /test/test/DottyBytecodeTest.scala | |
parent | 3aa22cc24f601cb70dcff7247af95ad9fa403de5 (diff) | |
download | dotty-d5147288df4cc05ac4d761bd0e451f724c474ae1.tar.gz dotty-d5147288df4cc05ac4d761bd0e451f724c474ae1.tar.bz2 dotty-d5147288df4cc05ac4d761bd0e451f724c474ae1.zip |
Fix #1258: correct behavior for annotated values
Annotated values are encapsulated in a `ConcreteAnnotation`, as such,
the statement `tpe isRef defn.IntClass` would yield false despite the
annotated reference being an Int.
The tpe is now unwrapped if it has an annotation. If the transformation
fails despite having the annotation the compiler will warn.
Diffstat (limited to 'test/test/DottyBytecodeTest.scala')
-rw-r--r-- | test/test/DottyBytecodeTest.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test/DottyBytecodeTest.scala b/test/test/DottyBytecodeTest.scala index 3814b03bd..1acb85cbf 100644 --- a/test/test/DottyBytecodeTest.scala +++ b/test/test/DottyBytecodeTest.scala @@ -107,7 +107,7 @@ trait DottyBytecodeTest extends DottyTest { if (debug || !succ && !shouldFail || succ && shouldFail) instructions.foreach(Console.err.println) - succ + succ && !shouldFail || shouldFail && !succ } def sameBytecode(methA: MethodNode, methB: MethodNode) = { |