diff --git a/tests/test_infer.rs b/tests/test_infer.rs index 0a0fb2a6de..b37681ffec 100644 --- a/tests/test_infer.rs +++ b/tests/test_infer.rs @@ -1940,6 +1940,23 @@ mod test_infer { ); } + #[test] + fn unit_alias() { + infer_eq( + indoc!( + r#" + Unit : [ Unit ] + + unit : Unit + unit = Unit + + unit + "# + ), + "Unit", + ); + } + #[test] fn rigid_in_letnonrec() { infer_eq_without_problem(