summaryrefslogtreecommitdiff
path: root/testdata/typesig.reject.out
blob: b00212a99a7e710cd174305ba108c485f010a51a (plain)
1
checkMetas inferN: \(a : V0~'X)->X