Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[ty] Print `display` of types when a property test fails (#20720)

This commit is contained in:
Alex Waygood 2025-10-06 14:44:24 +01:00 committed by GitHub
parent 9a29f7a339
commit 70f51e9648
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
crates/ty_python_semantic/src/types/property_tests.rs
View File

@ -38,7 +38,6 @@ use type_generation::{intersection, union};
/// ///
/// where `t1`, `t2`, ..., `tn` are identifiers that represent arbitrary types, and `<property>` /// where `t1`, `t2`, ..., `tn` are identifiers that represent arbitrary types, and `<property>`
/// is an expression using these identifiers. /// is an expression using these identifiers.
///
macro_rules! type_property_test { macro_rules! type_property_test {
($test_name:ident, $db:ident, forall types $($types:ident),+ . $property:expr) => { ($test_name:ident, $db:ident, forall types $($types:ident),+ . $property:expr) => {
#[quickcheck_macros::quickcheck] #[quickcheck_macros::quickcheck]
@ -46,20 +45,34 @@ macro_rules! type_property_test {
fn $test_name($($types: crate::types::property_tests::type_generation::Ty),+) -> bool { fn $test_name($($types: crate::types::property_tests::type_generation::Ty),+) -> bool {
let $db = &crate::types::property_tests::setup::get_cached_db(); let $db = &crate::types::property_tests::setup::get_cached_db();
$(let $types = $types.into_type($db);)+ $(let $types = $types.into_type($db);)+
let result = $property;
$property if !result {
println!("\nFailing types were:");
$(println!("{}", $types.display($db));)+
}
result
} }
}; };
($test_name:ident, $db:ident, forall fully_static_types $($types:ident),+ . $property:expr) => { ($test_name:ident, $db:ident, forall fully_static_types $($types:ident),+ . $property:expr) => {
#[quickcheck_macros::quickcheck] #[quickcheck_macros::quickcheck]
#[ignore] #[ignore]
fn $test_name($($types: crate::types::property_tests::type_generation::FullyStaticTy),+) -> bool { fn $test_name($($types: crate::types::property_tests::type_generation::FullyStaticTy),+) -> bool {
let $db = &crate::types::property_tests::setup::get_cached_db(); let $db = &crate::types::property_tests::setup::get_cached_db();
$(let $types = $types.into_type($db);)+ $(let $types = $types.into_type($db);)+
let result = $property;
$property if !result {
println!("\nFailing types were:");
$(println!("{}", $types.display($db));)+
}
result
} }
}; };
// A property test with a logical implication. // A property test with a logical implication.
($name:ident, $db:ident, forall $typekind:ident $($types:ident),+ . $premise:expr => $conclusion:expr) => { ($name:ident, $db:ident, forall $typekind:ident $($types:ident),+ . $premise:expr => $conclusion:expr) => {
type_property_test!($name, $db, forall $typekind $($types),+ . !($premise) || ($conclusion)); type_property_test!($name, $db, forall $typekind $($types),+ . !($premise) || ($conclusion));