summaryrefslogtreecommitdiff
path: root/test/files/run/t7700.scala
Commit message (Collapse)AuthorAgeFilesLines
* Emit trait method bodies in staticsJason Zaugg2016-06-281-7/+9
| | | | | | | | | | | | | | | | | | | | And use this as the target of the default methods or statically resolved super or $init calls. The call-site change is predicated on `-Yuse-trait-statics` as a stepping stone for experimentation / bootstrapping. I have performed this transformation in the backend, rather than trying to reflect this in the view from Scala symbols + ASTs. We also need to add an restriction related to invokespecial to Java parents: to support a super call to one of these to implement a super accessor, the interface must be listed as a direct parent of the class. The static method names has a trailing $ added to avoid duplicate name and signature errors in classfiles.
* SI-7700 @unspecialized, Part Deux: Now Working.Jason Zaugg2014-01-311-0/+17
This annotation was introduced to allow us to mark methods within a specialized trait as immune from specialization. In particular, this is desirable for `Function1.{andThen, compose}`. However, it seems we need to check for this in two places in the specialization code base. The feature is now backed with a test.