summaryrefslogtreecommitdiff
path: root/tests/capture.ur
blob: 0eb3d8b50ef056dbb613bbd52f2e15baac979630 (plain)
1
2
3
4
val y = []

type foo = int
val z : list {F : foo} = y