diff options
Diffstat (limited to 'test/files/neg/bug691.scala')
-rwxr-xr-x | test/files/neg/bug691.scala | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/files/neg/bug691.scala b/test/files/neg/bug691.scala new file mode 100755 index 0000000000..233476f658 --- /dev/null +++ b/test/files/neg/bug691.scala @@ -0,0 +1,29 @@ +trait Base { + trait AssignArrow { + type T <: Ti0; + trait Ti0; + } + abstract class Arrow extends AssignArrow; + val arrow : Arrow; +} + +trait Ext0 extends Base { + trait AssignArrow extends super.AssignArrow { + type T <: Ti1; + trait Ti1 extends super.Ti0; + } +} +trait Ext1 extends Base { + trait Arrow extends super.Arrow { + type T <: Ti2; + trait Ti2 extends super.Ti0; + trait TiXX extends Ti2; + } + val arrow : Arrow; +} +trait Composition extends Ext0 with Ext1 { + object arrow0 extends Arrow with AssignArrow { + type T = TiC + trait TiC extends super[Arrow].Ti2 with super[AssignArrow].Ti1; + } +} |