From 40f0340628c376dbc8e327de2adc58c203e16d68 Mon Sep 17 00:00:00 2001 From: Aleksandar Prokopec Date: Wed, 2 May 2012 19:12:09 +0200 Subject: Test case for si-5198. --- test/files/pos/t5198.scala | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 test/files/pos/t5198.scala (limited to 'test/files/pos') diff --git a/test/files/pos/t5198.scala b/test/files/pos/t5198.scala new file mode 100644 index 0000000000..f403f77f7d --- /dev/null +++ b/test/files/pos/t5198.scala @@ -0,0 +1,15 @@ +package gaga + + + + + +trait Sys[Self <: Sys[Self]] { + type Tx +} + + +sealed trait AssocEntry[S <: Sys[S], @specialized(Int) A] { + def value: A + def value(implicit tx: S#Tx): A +} -- cgit v1.2.3