re-add list and tuple to property tests

This commit is contained in:
Carl Meyer 2025-05-12 17:50:58 -07:00
parent f68dbfdef1
commit 381b7d0982
No known key found for this signature in database
GPG Key ID: 2D1FB7916A52E121
1 changed files with 2 additions and 0 deletions

View File

@ -220,6 +220,8 @@ fn arbitrary_core_type(g: &mut Gen) -> Ty {
Ty::KnownClassInstance(KnownClass::Str),
Ty::KnownClassInstance(KnownClass::Int),
Ty::KnownClassInstance(KnownClass::Bool),
Ty::KnownClassInstance(KnownClass::List),
Ty::KnownClassInstance(KnownClass::Tuple),
Ty::KnownClassInstance(KnownClass::FunctionType),
Ty::KnownClassInstance(KnownClass::SpecialForm),
Ty::KnownClassInstance(KnownClass::TypeVar),