diff options
Diffstat (limited to 'tests/untried/pos/t3582b.scala')
-rw-r--r-- | tests/untried/pos/t3582b.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/untried/pos/t3582b.scala b/tests/untried/pos/t3582b.scala new file mode 100644 index 000000000..f7778148e --- /dev/null +++ b/tests/untried/pos/t3582b.scala @@ -0,0 +1,5 @@ +object ParamScoping { + // scoping worked fine in the result type, but was wrong in body + // reason: typedTypeDef needs new context, which was set up by typed1 but not by typedDefDef and typedClassDef + def noOverlapFOwithHO[T, G[T]]: G[T] = null.asInstanceOf[G[T]] +} |