blob: 75bb617841e839558ed8cc885e0393d9066114c9 (
plain)
1
2
3
4
5
6
7
8
9
|
// RUN: %boogie -noVerify "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
type T, U;
type V;
function h(T) returns (int);
function k(x:T) returns (int);
function l(x) returns (int); // resolve error
function m(x, x) returns (bool); // resolve error
|