blob: 8f0bfb9b2afd1e5d2f3d2ae822594b0d6b8697ce (
plain) (
blame)
1
2
3
4
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]]
}
|