This commit is contained in:
Ayaz Hafiz 2022-04-06 17:26:18 -04:00 committed by Ayaz Hafiz
parent 66ec1b4a84
commit 884d07344e

View file

@ -775,7 +775,7 @@ fn can_annotation_help(
region: Region::across_all(clauses.iter().map(|clause| &clause.region)),
});
return Type::Erroneous(Problem::CanonicalizationProblem);
Type::Erroneous(Problem::CanonicalizationProblem)
}
Malformed(string) => {
malformed(env, region, string);