blob: 165f0a76eaac7ed147bc6dd9d036e3f617c8da18 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
class Foo[T]
class Fix[F[_]](unfix: F[Fix[F]])
object DocTree {
type Const[T] = Foo[Int]
type FixConst = Fix[Const]
def docTree(s: Const[FixConst]): FixConst = new Fix(s)
}
|