summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks/should_compile/saks035.stdout
blob: e52a24b69a1399f362467eebecf6447680b19ad1 (plain)
1
2
C :: forall {k} (i :: k). Proxy i -> Constraint
F :: k -> Type