make occurs return Result to use the ? operator

This commit is contained in:
Folkert 2021-08-07 13:56:16 +02:00
parent ad3d006a11
commit 7a44572ebc
4 changed files with 13 additions and 12 deletions

View file

@ -863,7 +863,7 @@ fn check_for_infinite_type(
) {
let var = loc_var.value;
while let Some((recursive, _chain)) = subs.occurs(var) {
while let Err((recursive, _chain)) = subs.occurs(var) {
let description = subs.get(recursive);
let content = description.content;