blob: 0b2cbb7421fa46cedcf3aa392ce6692ed3a1b146 (
plain)
1
2
3
4
|
LiberalEquality.dfy(20,14): Error: arguments must have the same type (got T and U)
LiberalEquality.dfy(39,14): Error: arguments must have the same type (got Weird<T,int,V> and Weird<T,bool,V>)
LiberalEquality.dfy(54,14): Error: arguments must have the same type (got array<int> and array<bool>)
3 resolution/type errors detected in LiberalEquality.dfy
|
