blob: f7778148e0b5f6e8b80c3e5c9a399ed286b8c5d3 (
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]]
}
|