~jojo/Carth

ref: 55fb4f948f1f3797078b584dc60b4f7dd68b37ed Carth/test/tests/bad/cast-poly.carth -rw-r--r-- 78 bytes
55fb4f94JoJo Check `cast` in Infer instead of Gen 2 months ago
                                                                                
1
2
3
4
5
;; NoClassInstance

(define: (foo a)
    (forall (a b) (Fun a b))
  (cast a))