repl tests

This commit is contained in:
Ayaz Hafiz 2022-09-14 23:01:27 -05:00
parent 10dffe8691
commit baa86e283e
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -125,6 +125,9 @@ fn unroll_newtypes_and_aliases<'a, 'env>(
content = env.subs.get_content_without_compacting(field.into_inner());
}
Content::Alias(name, _, real_var, kind) => {
if *name == Symbol::BOOL_BOOL {
return (newtype_containers, alias_content, content);
}
// We need to pass through aliases too, because their underlying types may have
// unrolled newtypes. For example,
// T : { a : Str }