Add type annotations
This commit is contained in:
parent
d051b84845
commit
a8df440fdf
@ -378,16 +378,16 @@ mod tests
|
|||||||
{
|
{
|
||||||
($intermediate:ident, $formula:expr, $output:expr) =>
|
($intermediate:ident, $formula:expr, $output:expr) =>
|
||||||
{
|
{
|
||||||
let $intermediate = |f| f;
|
let $intermediate = |f: Box<Formula>| f;
|
||||||
assert!($formula, $output);
|
assert!($formula, $output);
|
||||||
|
|
||||||
let $intermediate = |f| and(vec![f]);
|
let $intermediate = |f: Box<Formula>| and(vec![f]);
|
||||||
assert!($formula, $output);
|
assert!($formula, $output);
|
||||||
|
|
||||||
let $intermediate = |f| or(vec![f]);
|
let $intermediate = |f: Box<Formula>| or(vec![f]);
|
||||||
assert!($formula, $output);
|
assert!($formula, $output);
|
||||||
|
|
||||||
let $intermediate = |f| if_and_only_if(vec![f]);
|
let $intermediate = |f: Box<Formula>| if_and_only_if(vec![f]);
|
||||||
assert!($formula, $output);
|
assert!($formula, $output);
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user