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