mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-07-07 21:25:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

[red-knot] remove fixpoint handling from try_mro query

Browse source
This commit is contained in:
Carl Meyer 2025-04-24 18:39:43 -07:00
parent 46a1fd3b3e
commit 59dedb5d3c
No known key found for this signature in database
GPG key ID: 2D1FB7916A52E121
1 changed files with 1 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

24
crates/red_knot_python_semantic/src/types/class.rs
View file

@ -62,28 +62,6 @@ fn explicit_bases_cycle_initial<'db>(
Box::default()
}
fn try_mro_cycle_recover<'db>(
_db: &'db dyn Db,
_value: &Result<Mro<'db>, MroError<'db>>,
_count: u32,
_self: ClassLiteralType<'db>,
_specialization: Option<Specialization<'db>>,
) -> salsa::CycleRecoveryAction<Result<Mro<'db>, MroError<'db>>> {
salsa::CycleRecoveryAction::Iterate
}
#[allow(clippy::unnecessary_wraps)]
fn try_mro_cycle_initial<'db>(
db: &'db dyn Db,
self_: ClassLiteralType<'db>,
specialization: Option<Specialization<'db>>,
) -> Result<Mro<'db>, MroError<'db>> {
Ok(Mro::from_error(
db,
self_.apply_optional_specialization(db, specialization),
))
}
#[allow(clippy::ref_option, clippy::trivially_copy_pass_by_ref)]
fn inheritance_cycle_recover<'db>(
_db: &'db dyn Db,
@ -661,7 +639,7 @@ impl<'db> ClassLiteralType<'db> {
/// attribute on a class at runtime.
///
/// [method resolution order]: https://docs.python.org/3/glossary.html#term-method-resolution-order
#[salsa::tracked(return_ref, cycle_fn=try_mro_cycle_recover, cycle_initial=try_mro_cycle_initial)]
#[salsa::tracked(return_ref)]
pub(super) fn try_mro(
self,
db: &'db dyn Db,