1 2 3 4 5 6 7 8 9 10
// RUN: %boogie -noVerify %s > %t // RUN: %diff %s.expect %t type C; const c1:C; const c2:C extends c1; const c0:C extends a; // error: parent of wrong type const a:int;